From Zero To Hero — With a Bit More Detail
Published in
12 min readApr 29, 2023
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 transactions.