Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies cover image

Tarun Chitra: Gauntlet – The Simulation Platform for Blockchain Protocols

Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies

00:00

Is Simulation Complementary to Audits?

simulation is complementary to both normal audits and formal verification. It's more about like, well, what's the behavior that's not if I don't have to sample every possible action? And so there are two different types of scenarios, right? One is the pure worst case, but might take infinitely long to search through this set of tests. The other is how do I kind of use the expected behavior to estimate risk in a way that is intuitive and interpretable to the non-developer? But they're very different. So we build kind of think of open AI gym or like, you know, the AlphaGo training program. What happens is people build a harness around the real piece

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