Zero Knowledge cover image

Using Formal Verification on ZK Systems with Jon Stephens

Zero Knowledge

00:00

The Struggle of My Life Is Translating Based on Boogie Programs

translating based typically you're going from like a high level representation to another fairly high level representation and so it's kind of a translation problem but for example the move prover is built on top of this verifier that operates on boogie. This is what we've encountered in defi in particular people call the process of validating that source code and bytecode matches they call that verification. So oh wow no matter what we always have to clarify because it just gets too confusing I say.

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