Zero Knowledge cover image

Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography

Zero Knowledge

00:00

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.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app