1021.pdf
eprint.iacr.org · 8,583 words · saved by 1 readers
N/A
Recursive Proof Composition without a Trusted Setup Sean Bowe1 , Jack Grigg1 , and Daira Hopwood1 1 Electric Coin Company {sean,jack,daira}@electriccoin.co https://electriccoin.co/ Abstract. Non-interactive arguments of knowledge are powerful cryp- tographic tools that can be used to demonstrate the faithful execution of arbitrary computations with publicly verifiable proofs. Increasingly efficient protocols have been…
related reading
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- 370.pdfeprint.iacr.org
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Lecture 14: Zero knowledge proofsboazbarak.org
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- 1482.pdfeprint.iacr.org
- Halo and more: exploring incremental verification and SNARKs without pairingsvitalik.eth.limo
- Zero Knowledge Canon, part 1 & 2 - a16z cryptoa16zcrypto.com
- Bulletproofs: Short Proofs for Confidential Transactions and Moreeprint.iacr.org
- Doubly-efficient zkSNARKs without trusted setupeprint.iacr.org
- Zero-Knowledge Proofs | MIT CSAIL Theory of Computationtoc.csail.mit.edu
- Explaining Halo 2 - Electric Coin Companyelectriccoin.co