0xPARC
0xparc.org · 2,983 words · saved by 1 readers
Supporting application R&D on Ethereum and decentralized platforms.
Recursive zkSNARKs: Exploring New Territory By Nalin. This was joint work with Jonathan Wang, Yi Sun, Vincent Huang -- the circom-pairing team. In this blog post, we present circuits for recursive groth16 SNARK verification in Circom, building off of previous work by the circom-pairing team. More interestingly, we introduce properties uniquely enabled by recursive zkSNARKs, and share some of our own projects that utilise these properties. If you'd prefer a video summarisation of this blog post, check out my talk from the Applied ZK Workshop at the Science of Blockchain Conference!…
related reading
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- 0xPARC0xparc.org
- Collaborative zkSNARKseprint.iacr.org
- Zero Knowledge Canon, part 1 & 2 - a16z cryptoa16zcrypto.com
- 370.pdfeprint.iacr.org
- A zkSNARK Syllabusbrianczhang.com
- 0xPARC0xparc.org
- ZK-Friendly Hash Functions | Zellic — Researchzellic.io
- Explaining Halo 2 - Electric Coin Companyelectriccoin.co
- Intern Breakdown #4: Zero-Knowledge Proofsinternbreakdowns.substack.com
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Succinct: deep dive — a base layer for zero-knowledgemedium.com