I find it very concerning that before our latest major rework of Ethereum’s VM, there are already proposals for replacing it. EOF was even touted as “better for zk proving” when pitched to ACD.
The same will be said for EVM. We have to maintain backwards compatibility in this way, because we have a made a strong guarantee that contracts today will continue working. However, if proving is 100x more expensive and EVM is charged proportionally, it is a de facto deprecation.
Not that this is bad, and not that I don’t think we shouldn’t move to RISC-V – I simply want us to have more confidence in the technical projects we embark on. The userspace is more delicate than system-facing protocol features. There is substantial downstream tooling that is being disregarded.
What we do today should align with our long term goals. We all agree real time ZKPs of mainnet blocks is where we want to go. If we think there is a better path to that than EOF, we should immediately pull EOF from Osaka. There is still a lot work to get EOF ready from clients, compilers, dapps, devs, FV tooling, etc. Going forward with it, knowing we need some different for real time ZKP is a major strategic misstep.