Zero Knowledge

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

06.14.2023 - By Zero Knowledge PodcastPlay

Download our free app to listen on your phone

Download on the App StoreGet it on Google Play

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

More episodes from Zero Knowledge