009.pdf
eprint.iacr.org · 9,776 words · saved by 1 readers
N/A
Algebraic Reductions of Knowledge Abhiram Kothapalli Bryan Parno Carnegie Mellon University Carnegie Mellon University akothapalli@cmu.edu parno@cmu.edu Abstract We introduce reductions of knowledge, a generalization of arguments of knowledge, which reduce checking knowledge of a witness in one relation to checking knowledge of a witness in another (simpler) relation. Reductions of knowledge unify a growing class of modern techniques as well as…
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
- 1021.pdfeprint.iacr.org
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- A Zero Knowledge Sumcheck and its Applicationsarxiv.org
- Protogalaxy: Efficient Protostar-style folding of multiple instances[0.72cm]eprint.iacr.org
- Proofs, beliefs and algorithms through the lens of Sum of Squaressumofsquares.org
- Zero-Knowledge Proofs | MIT CSAIL Theory of Computationtoc.csail.mit.edu
- Survey-SNARKs.pdfdi.ens.fr
- 浡琀栀猀昀 愀氀氀漀眀攀搀 漀渀氀礀 椀渀 洀愀琀栀 洀漀搀攀䘀䤀䌀匀 愀渀搀慴hsf allowed only in math modeFACS: Fast IOPPs and Accumulation via Code-Switchingeprint.iacr.org