Ansgar Dietrichs

But again, this is, as I said, like the further out items have some uncertainty.

This is like one of those theoretical out there approaches, but that of course would be also really nice to have.

And I think formal verification in the age of AI will become a much bigger deal anyway.

So this might be a really nice synergy.

Oh, it's a really good question, right?

Because I think the promise here is so huge that we're all very, very excited about this.

But it is also generally a very, very big challenge.

And this is why I think it's not at all natural that we are even doing this two-step rollout with the optional proofs and then the mandatory proofs.

In principle, we could switch over

at the end of this year right and we already plan with this extra 18 months period specifically because of that like that level of certainty that we want and that we project like that will just take some more time again it also gives us the extra time to roll out these other dependencies to really make use of CK proof so it's actually quite synergistic but still right like this extra 18 months delay is specifically for that reason and

To be clear, we would always be responsible with this.

So if it turns out 18 months are not enough, of course, we would delay this full transition to mandatory proofs.

Maybe we even find some more gains we can get on the classical scaling side until then.

So maybe it wouldn't even matter.

But basically, we would always wait until we're really, really confident.

And it's not in principle harder, but it's just...

As you said, it's a bit of a reset.

So a lot of our internal expertise, both inside of the EF and across the client teams around security work, testing work, a lot of this is currently actively being restructured for this very new domain, for this very new type of operations with CK, understanding what even are the weak points here.

Also, say, on the cryptography side, we have absolutely world-class cryptographers inside of the Ethereum Foundation.

and in the ecosystem.