Filling-in The Details of Vitalik’s Excellent zk-SNARKs Article For QAP Processing
Published in
12 min readDec 26, 2019
The demo for R1CS and QAP is given here.
zk-SNARKs is used in blockchain and cryptography applications to provide zero-knowledge proofs — these are fairly easy to create and then are quick to check. We can use them to prove that Bob has enough cryptocurrency to pay Alice, without revealing any of the details of his…