AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
4min chapter
Episode 284: Using Formal Verification on ZK Systems with Jon Stephens
Zero Knowledge
The Role of Languages in Auditing
You can always reuse the interactive theorem pervert because that part is general and so really at that point it comes down to the translation process. For example if we have a translator that works on CIRCOM for example even if we move to a different language that will generate R1CS we would have to create a new translator right. So generally for that reason it makes more sense to target a proving system like or at least the language for proving system so something like R1CS or Plonk or something like thatThat way you can then support multiple languages. Are you familiar with some of the newer languages coming out like there are languages like Noire which are kind of especially designed for some
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