Episode 280: ProtoStar with Benedikt Bünz and Binyi Chen

Zero Knowledge - A podcast by Zero Knowledge Podcast - Wednesdays

Categories:

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