Zero Knowledge cover image

Using Formal Verification on ZK Systems with Jon Stephens

Zero Knowledge

00:00

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

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