Binyi Chen's guest appearances

Binyi Chen

Zero Knowledge

OwlTail

Benedikt Bünz

In this week’s episode, Anna Rose dives back into accumulation schemes with Benedikt Bünz and Binyi Chen from Espresso Systems. They discuss ProtoStar and how it compares to works such as Nova and HyperNova, as well as explore some definitions for commonly used terms in the accumulation literature.  Here’s some additional links for this episode:  Espresso Systems CAPE  Espresso Sequencer  Bulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Poelstra, Wuille and Maxwell  Verifiable Delay Functions by Boneh, Bonneau, Bünz and Fisch  HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates by Chen, Bünz, Boneh and Zhang  Protostar: Generic Efficient Accumulation/Folding for Special-sound Protocols by Bünz and Chen  Proof-Carrying Data without Succinct Arguments by Bünz, Chiesa, Lin, Mishra and Spooner  Proof-Carrying Data from Accumulation Schemes by Bünz, Chiesa, Mishra, and Spooner  Multivariate lookups based on logarithmic derivatives by Haböck  Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments by Boneh, Drake, Fisch, Gabizon  Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency by Valiant  Recursive Proof Composition without a Trusted Setup by Bowe, Grigg, and Hopwood  Episode 40: Benedikt Bünz on Bulletproofs and Verifiable Delay Functions Episode 277: Nova and Beyond with Srinath Setty   Check out the ZK Jobs Board here: ZK Jobs. Find your next job working in ZK! Aztec Network is building a next-generation encrypted blockchain powered by Ethereum.  The team is proud to announce Noir - the world's first universal zk-language. Noir makes it safe and intuitive to write zk circuits and encrypted smart contracts, enabling novel use-cases like encrypted DeFi, private governance, and zk gaming. As a universal language, Noir is domain-specific, but blockchain agnostic. Build powerful zk applications compatible with multiple proving systems and verify your program on any EVM chain. Get started with Noir today at docs.aztec.network/noir  If you like what we do:  Find all our links here! @ZeroKnowledge | Linktree  Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube

In this week’s episode, <a href="https://twitter.com/annarrose" rel="nofollow" target="_blank">Anna Rose</a> dives back into accumulation schemes with <a href="https://twitter.com/benediktbuenz" rel="nofollow" target="_blank">Benedikt Bünz</a> and <a href="https://twitter.com/Charles_Chen533" rel="nofollow" target="_blank">Binyi Chen</a> from <a href="https://espressosys.com/" rel="nofollow" target="_blank">Espresso Systems</a>. They discuss ProtoStar and how it compares to works such as Nova and HyperNova, as well as explore some definitions for commonly used terms in the accumulation literature. Here’s some additional links for this episode: <ul> <li><a href="https://docs.espressosys.com/cape" rel="nofollow" target="_blank">Espresso Systems CAPE</a> </li> <li><a href="https://hackmd.io/@EspressoSystems/EspressoSequencer" rel="nofollow" target="_blank">Espresso Sequencer</a> </li> <li><a href="https://eprint.iacr.org/2017/1066.pdf" rel="nofollow" target="_blank">Bulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Poelstra, Wuille and Maxwell</a> </li> <li><a href="https://eprint.iacr.org/2018/601.pdf" rel="nofollow" target="_blank">Verifiable Delay Functions by Boneh, Bonneau, Bünz and Fisch</a> </li> <li><a href="https://eprint.iacr.org/2022/1355" rel="nofollow" target="_blank">HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates by Chen, Bünz, Boneh and Zhang</a> </li> <li><a href="https://eprint.iacr.org/2023/620.pdf" rel="nofollow" target="_blank">Protostar: Generic Efficient Accumulation/Folding for Special-sound Protocols by Bünz and Chen</a> </li> <li><a href="https://eprint.iacr.org/2020/1618.pdf" rel="nofollow" target="_blank">Proof-Carrying Data without Succinct Arguments by Bünz, Chiesa, Lin, Mishra and Spooner</a> </li> <li><a href="https://eprint.iacr.org/2020/499" rel="nofollow" target="_blank">Proof-Carrying Data from Accumulation Schemes by Bünz, Chiesa, Mishra, and Spooner</a> </li> <li><a href="https://eprint.iacr.org/2022/1530.pdf" rel="nofollow" target="_blank">Multivariate lookups based on logarithmic derivatives by Haböck</a> </li> <li><a href="https://eprint.iacr.org/2020/1536.pdf" rel="nofollow" target="_blank">Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments by Boneh, Drake, Fisch, Gabizon</a> </li> <li><a href="https://www.cs.purdue.edu/homes/pvaliant/uniqueCS.pdf" rel="nofollow" target="_blank">Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency by Valiant</a> </li> <li><a href="https://eprint.iacr.org/2019/1021.pdf" rel="nofollow" target="_blank">Recursive Proof Composition without a Trusted Setup by Bowe, Grigg, and Hopwood</a> </li> <li><a href="https://zeroknowledge.fm/40-2/" rel="nofollow" target="_blank">Episode 40: Benedikt Bünz on Bulletproofs and Verifiable Delay Functions</a></li> <li><a href="https://zeroknowledge.fm/277-2/" rel="nofollow" target="_blank">Episode 277: Nova and Beyond with Srinath Setty</a> </li> </ul> Check out the ZK Jobs Board here: <a href="https://jobsboard.zeroknowledge.fm/" rel="nofollow" target="_blank">ZK Jobs</a>. Find your next job working in ZK! <a href="https://aztec.network/" rel="nofollow" target="_blank">Aztec Network</a> is building a next-generation encrypted blockchain powered by Ethereum. The team is proud to announce <a href="https://aztec.network/noir" rel="nofollow" target="_blank">Noir</a> - the world's first universal zk-language. Noir makes it safe and intuitive to write zk circuits and encrypted smart contracts, enabling novel use-cases like encrypted DeFi, private governance, and zk gaming. As a universal language, Noir is domain-specific, but blockchain agnostic. Build powerful zk applications compatible with multiple proving systems and verify your program on any EVM chain. Get started with Noir today at <a href="https://docs.aztec.network/noir" rel="nofollow" target="_blank">docs.aztec.network/noir</a> If you like what we do: <ul> <li>Find all our links here! <a href="https://linktr.ee/zeroknowledge" rel="nofollow" target="_blank">@ZeroKnowledge | Linktree</a> </li> <li>Subscribe to our <a href="https://zeroknowledge.substack.com" rel="nofollow" target="_blank">podcast newsletter</a></li> <li>Follow us on Twitter <a href="https://twitter.com/zeroknowledgefm" rel="nofollow" target="_blank">@zeroknowledgefm</a></li> <li>Join us on <a href="https://zeroknowledge.fm/telegram" rel="nofollow" target="_blank">Telegram</a></li> <li>Catch us on <a href="https://zeroknowledge.fm/" rel="nofollow" target="_blank">YouTube</a></li></ul>