Haseeb

But I think what we're going to see over time as these systems become more and more autonomous is that all software systems that are mission critical are going to get formally verified.

And once that happens, you can have a lot more confidence that the system is secure and does not have bugs.

To do that costs tokens.

It costs money.

And you just are not going to be able to do this and like have the same amount of like comparable spend across multiple clients.

It's really kind of a centralizing force, right?

The reason why you have multiple clients is you assume that errors are uncorrelated, that it's just really hard to have the same kind of exploit on one thing versus on another thing.

This assumption gets a lot weaker if basically there's exploits everywhere and like everything is Swiss cheese.

If everything is Swiss cheese, then probably you can find with enough time, with enough compute, with enough tokens, some way to halt the network by doing something on this thing and doing something on this other thing.

And so really what you want to do is point all your lasers at one code base and harden it like crazy with all of the compute spend of like, you know, we get five mythoses working overnight with, you know, millions of dollars in grants to just harden, harden, harden, harden, and formally verify this one thing.

You know, that's, I think, where we're going with respect to how Ethereum is going to look in the future.

And I think Justin Drake agrees with that vision of the future.

Now, today, that's not at all how Ethereum looks.

I think the multi-client architecture, it helps somewhat.

But it's very clear, like, you know, those numbers are scary.

The numbers for Mythos is that 84% of browsers and OSs successful exploits on the first try.

Okay.

Ethereum is nowhere near as battle-hearted as FFmpeg or as OpenSSL or as the Linux kernel.

I heard from Justin Drake that they are now getting one meaningful vulnerability in Geth per day from just random people, not using mythos, using just cloud code.

Right.