Zero Knowledge cover image

Using Formal Verification on ZK Systems with Jon Stephens

Zero Knowledge

00:00

How Verdes Got Started

I use a lot of tools that are available for auditors formal verifiers aren't used very frequently because they require a little bit of expertise. So the most commonly what's used by I would say auditors now are in this particular domain are fuzzers and static analyzers. A fuzzer is going to randomly generate inputs to whatever your program is if it’s a smart contract it will randomly generate transactions and inputs to those transactions then feed them to your program. Fuzzers can find very interesting and deep logical violations or violations within your program which people don't usually think about but could happen in the wild.

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