search

RisenCrypto / RisenCrypto.github.io

Write ups on Mathematical Cryptography
https://risencrypto.github.io/
MIT License
2 stars 3 forks source link

zkSnarks/ #4

Open utterances-bot opened 1 year ago

utterances-bot commented 1 year ago

zkSNARKs: R1CS and QAP – Risen Crypto – Cryptography

https://risencrypto.github.io/zkSnarks/

XuJiandong commented 1 year ago

In gate 1 section, the c is expected to be [0, 0, 1, 0, ...] instead of [0, 0, 0, 1, 0 ...]?

This the output of the multiplication gate. Every element of the vector is 0 except the one corresponding to var1 which is the output of the gate
XuJiandong commented 1 year ago

Please ignore.

ddbit commented 1 year ago

Great writeup, the best I found so far on the topic. Is there a follow up?

RisenCrypto commented 1 year ago

Great writeup, the best I found so far on the topic.

Thank you :-)

Is there a follow up?

Yeah, there is going to be follow up but will probably take a month or two.

RisenCrypto commented 1 year ago

Great writeup, the best I found so far on the topic. Is there a follow up?

I have written an updated version of this here - https://risencrypto.github.io/R1CSQAP/

RisenCrypto commented 21 hours ago

Great writeup, the best I found so far on the topic. Is there a follow up?

I have written a full post on Groth16 - https://risencrypto.github.io/Groth16/