Zero Knowledge cover image

Through the Wormhole with Jump Crypto

Zero Knowledge

00:00

Block Chain Development

Formal verification across a lot of these things. There are still limitations, cause there's bugs you can't imagine testing for. You no sort of prove the correctness of your programme. In i think it'll become more and more important especially for finding smart contract bugs. It's really like proving protocal level security rates.

Play episode from 47:21
Transcript

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