Tag
1 repositories
Formal verification framework for zkEVM circuits using Lean 4 — 7 EVM arithmetic opcodes with ~119 proven theorems
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.