Zero Knowledge cover image

Using Formal Verification on ZK Systems with Jon Stephens

Zero Knowledge

00:00

Security in the Ecosystem

You are primarily working and exploring I assume projects that you are auditing for. Do you in the training of these tools do you also look at other circuits, other code that isn't your clients? Yeah. So basically we use our tools to help with our client code because essentially the more code that we can expose our tools to the more confident that we have not you know introduced bugs into our own code.

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