Provably safe EVM optimizations that compilers won't do

May 12, 2026

evm-smith: smart contracts in EVM bytecode + Lean proofs, without a compiler

May 4, 2026

Giving RISC-V 1024 registers for zkVMs

April 17, 2026

What is the best ISA for Ethereum?

June 6, 2025

R55

June 2, 2024