Zero Knowledge cover image

Expanding Computation on Ethereum with Axiom

Zero Knowledge

00:00

ZK Circuits: A DSL for CIRCOM

I've been thinking about how do we incentivize more of the white hat stuff and disclosures. There's definitely a bunch of work that people in running bug bounty programs or platforms like Immunify have done in smart contract space. And we're hopeful that they can be applied to ZK as well. One line of work that I think is really interesting in ZK, but quite early is formal verification Of ZK circuits.

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