Starred repositories
BLS12-381 arithmetic, G1 encoding/decoding, subgroup and pairing-product checks in Rust, proved equivalent to EthLib via Aeneas/Lean and cross-checked against arkworks.
A partial stateful Ethereum node. Sync the state you use in minutes and transact through your own local RPC, every value proven.
Specially crafted .tar.gz with embedded chapter boundary information
A formal, executable specification of the Ethereum Virtual Machine, written in Sail.
Experiments in visualizing Ethereum network upgrades
Distributed proving infrastructure for OpenVM
Overview of the formal verification projects in the Ethereum ecosystem.
Minimalist, performant and auditable verifiable RISC-V vm written in Rust
NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.
Zinc+ is a performance-oriented SNARK framework designed to handle computations across multiple mathematical domains without the "witness inflation" overhead typical of traditional arithmetization.
a projected filesystem that turns APIs, services, and data sources into local files and directories
Verified arithmetic circuit simplifier: Lean 4 proof + Rust FFI
Collect precompile call data from Ethereum mainnet for gas repricing analysis. Supports Geth and Reth.
Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.
Collab with OpenAI. A benchmark and harness for finding and exploiting smart contract bugs
~vibehouse~ is a community-driven Ethereum consensus client. Same rock-solid Lighthouse core, but we ship faster, break things sometimes, and accept feature requests from literally anyone.