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
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.
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