New post: Exposing an ISA for post-quantum proofs on Ethereum
tldr: With EIP-8288, users can prove private, post-quantum transactions on their own devices, and Ethereum nodes verify those proofs outside the EVM.
Each proof should show that an app's program ran correctly, so Ethereum has to pick the instruction set (ISA) those programs run on and support it for as long as smart contracts depend on it.
The choice comes down to tradeoffs between proving speed, developer tooling, time to ship, and protocol complexity.
Which ISA should Ethereum pick?