Zero Knowledge cover image

Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography

Zero Knowledge

CHAPTER

Standardization and Interoperability of Circuit Expression

The speakers discuss the need for standardization and interoperability in circuit expression, emphasizing the importance of implementing specific functionalities in circuit languages. They share their experience with writing Bellman as a toolkit for building circuits securely and discuss the need for new tools and DSLs for writing ZK snark circuits. They also discuss the potential of Starks to replace snarks in cryptographic systems and express excitement about developments in zk-proof systems.

00:00
Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner