Ryan Sean Adams

We like his analysis, and that's why you hear him on the Bankless podcast about once a month.

And the DeFi Report is giving Bankless listeners one free month of access to the DeFi Reports.

So if you're looking for some sharp data-driven analysis to make better informed decisions around your portfolio, you can learn why and how Michael called the top and what he's doing next all in the DeFi Report Pro.

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.