Ryan Sean Adams
👤 SpeakerAppearances Over Time
Podcast Appearances
Check it out.
There is a link in the show notes.
Ethereum's aspiration is to formally verify its entire end-to-end tech stack in the fullness of time.
First, we have to get the beam chain.
We have to do all the hard work to get there.
But ultimately, we want to do a formal verification of the entire Ethereum tech stack.
AI-based formal verification.
Is that a real thing?
How does AI capabilities work its way into the conversation of formal verification?
Yeah.
There's a section in the paper of the EVM Bench paper called Future Directions.
What does EVM Bench V2 look like?
How does this, you call it a project?
How does this project grow from here?
Bankless Nation, I'm here with Ansgar Dietrichs.
He's a researcher at the Ethereum Foundation.
We're going to talk about the ZK EVM today on the show.
Ansgar, welcome to Bankless.
Hey, great to be here again.
Pretty ambitious subject, Ansgar.