AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
2min chapter
Episode 284: Using Formal Verification on ZK Systems with Jon Stephens
Zero Knowledge
CIRCOM vs. Nova: A Comparison of Proving Systems
CIRCOM is just because most of the audits that we've gotten have been for CIRCOM but really a lot of our tooling actually targets R1CS. Different proving systems obviously have different shaped constraints and then on top of that when it comes to some of these systems like Plump now you also have to deal with recursion. So there's quite a lot of setup work for each one of these things it's not like out of the box and it's going to understand different circuits in the same language.Yeah so the hope is that and I mean this is what everyone works on is they start getting more and more circuits in a particular language then they work on automated translators
00:00
Transcript
Episode notes
Get the Snipd
podcast app
Unlock the knowledge in podcasts with the podcast player of the future.
AI-powered
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode
Save any
moment
Hear something you like? Tap your headphones to save it with AI-generated key takeaways
Share
& Export
Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more
AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode