TokenPost·ETH
Ethereum Foundation Opens evm.fast Challenge to Bound Validator Work
The challenge measures steps in Flapjack’s 64-bit RISC-V model, including startup, and requires a Lean proof.
Every crypto headline. One feed. Updated every minute.
The challenge measures steps in Flapjack’s 64-bit RISC-V model, including startup, and requires a Lean proof.