
Lists (1)
Sort Name ascending (A-Z)
Starred repositories
The implementation of Stateless Ethereum client based on Reth
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
taikoxyz / gwyneth
Forked from paradigmxyz/rethModular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
A collection of learning materials on the Beam chain and Ream client.
Ethereum Proof-of-Stake Consensus Specifications
A performant and modular zkVM framework built for customization and extensibility.
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
ethrex: Ethereum Rust Execution L1 and L2 client.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
NethermindEth / rollup-geth
Forked from ethereum/go-ethereumFork of go-ethereum tailored for L2 Rollups
Spartan: High-speed zkSNARKs without trusted setup
Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
A blazing fast and easy to configure neovim statusline plugin written in pure lua.
A fast, clean, responsive Hugo theme.