Nova: Recursive Zero-Knowledge Arguments from Folding Schemes - Srinath Setty - YouTube

Srinath Setty, Principal Researcher @ Microsoft Research, joins us to present "Nova: Recursive Zero-Knowledge Arguments from Folding Schemes", a new zero-kn...

Srinath Setty, Principal Researcher @ Microsoft Research, joins us to present "Nova: Recursive Zero-Knowledge Arguments from Folding Schemes", a new zero-knowledge proof system for incremental computations. Srinath's research interests center around systems, security, privacy, and cryptography. Specific topics of Setty's (recent) research include cryptographic proof systems for real-world cloud services to produce proofs of integrity and freshness guarantees, high-speed zero-knowledge proofs and SNARKs, Byzantine consensus, fault-tolerance in cloud services, formal verification of…

related reading

• 370.pdfeprint.iacr.org
• An incomplete guide to Folding: Nova, Sangria, SuperNova, HyperN… — Taiko Labstaiko.mirror.xyz
• Hardware Acceleration for Zero Knowledge Proofs - Paradigmparadigm.xyz
• Towards a Nova-based ZK VM - General - zk researchzkresear.ch
• Collaborative zkSNARKseprint.iacr.org
• ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
• 0xPARC0xparc.org
• Lecture 14: Zero knowledge proofsboazbarak.org
• Advances in the Efficiency of Succinct Proofs - Ying Tongyoutube.com
• Spartaneprint.iacr.org
• 1021.pdfeprint.iacr.org
• ZKML Research Initiatives - HackMDhackmd.io