zkSnarks/

[utterances-bot]

zkSNARKs: R1CS and QAP – Risen Crypto – Cryptography

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

[XuJiandong]

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]

Please ignore.

[ddbit]

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

[RisenCrypto]

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]

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]

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/