Ryan Sean Adams

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.

Ethereum has had this history of very big forks, hard forks that have upgraded Ethereum from this early primitive proof of concept where it started in 2015 to what it is today.

which is fundamental infrastructure, the backbone of internet money and internet finance.

We had the Merge, which did proof of work to proof of stake.

We had EIP-1559 that upgraded Ether economics and transaction user experience.

There's also 4844, which just enabled Ethereum's roll-up environment to become its best self.

With each of these forks, they all represented this rallying cry for the Ethereum community.