StarZero All shows Try the podcast clipper →

formal verification

2 statements across 2 episodes · 2 bullish · 0 bearish · 2 people on the record · first statement Jan 2, 2019 by Juan Benet · across every show →

Everything said about formal verification, oldest first

Jan 2, 2019 positive
Prediction Not checkable as stated
Benet: Formal verification will soon eliminate costly smart contract bugs
“I would say, in the short term, things like formal verification coming to smart contracts, so we don't have single line bugs that lock up hundreds of millions of dollars.”
Juan Benet Jan 2, 2019 ▶ 20:14 a16z Podcast | Trends in Cryptocurrencies
Jul 28, 2025 positive
Assertion Supported
Balaji Srinivasan: Formal verification is commercially viable for smart contracts
“Right now, now formal, formal verification, at least for a subset of programs has become commercially viable for smart contracts because they're so high value and they're so small that they actually are, it's worth doing that on.”
Balaji Srinivasan Jul 28, 2025 ▶ 36:40 Balaji Srinivasan: How AI Will Change Politics, War, and Money
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 1,000 episodes transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.

Try the podcast clipper Learn more