GovernanceCrypto

Exposing an ISA for post-quantum proofs on Ethereum

Read full article at source ↗

Based on a feed excerpt; full article content has not been acquired. Source evidence retrieved 08/10/2026, 15:43:26 UTC.

Briefings

This briefing details a proposed Ethereum upgrade (EIP-8288) to enable post-quantum security in privacy applications by allowing transactions to depend on external proofs verified outside the Ethereum Virtual Machine. The system uses STARK proofs to verify dependencies and a single recursive proof per block, ensuring quantum resistance. Key candidates include the EVM, RISC-V, and a new Ethereum-specific ISA (eISA), with efficiency trade-offs depending on the underlying zkVM implementation. The proposal currently identifies computation via verification key hashes, with plans to later expose specific program instructions and ISA versions to prevent future protocol breaks.

Key points

• EIP-8288 enables transactions to depend on post-quantum signatures (leanSPHINCS) and STARK proofs verified outside the EVM, with nodes checking proofs before forwarding transactions.
• The system uses a single recursive STARK proof per block to verify all dependencies, while the pool contract only checks that transactions depend on proofs for their own circuits with expected public inputs.

Context and limitations

The proposal currently identifies computations via verification key hashes; the specific program instructions and ISA versions to be exposed remain to be determined by Ethereum's decision on future proof system updates.

Generated by Bittrees-hosted qwen35-2b sha256:aaf42c8b7c3c on 08/10/2026, 15:44:42 UTC. Based on publisher-provided feed evidence; may not cover the full original article. Check the source for details.

View archived briefing on IPFS
bafybeicpw3fgqzq2wbadxunrdro7ah45747x7isxcpuunfnmkrw4wn4xxe