EPISODE · May 18, 2026 · 34 MIN
Zoe Paraskevopoulou - Can You Trust Your Smart Contracts 100%?
from Honest Majority by Common Prefix · host Common Prefix
(00:00) Intro(01:39) Journey into Blockchain(04:09) Why Formal Verification for Smart Contracts(08:39) ACT Framework(12:37) State Transition Systems & Mathematical Models(21:37) Practical Application(28:10) LLMs & The Future of Formal Verification(31:29) Vision
Embed this episode
Ready to play
Zoe Paraskevopoulou - Can You Trust Your Smart Contracts 100%?
0:00
34:11
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.
Frequently Asked Questions
How long is this episode of Honest Majority by Common Prefix?
This episode is 34 minutes long.
When was this Honest Majority by Common Prefix episode published?
This episode was published on May 18, 2026.
Can I download this Honest Majority by Common Prefix episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!