repos
192
ecosystems
49
languages
7
commits
12,890
─── top repos · by commits
─── repositories
192 totalGeneral purpose Blended Execution layer
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
BSC and opBNB client based on the Reth fork
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Lean Ethereum protocol specifications and test vector generation framework.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Gravity’s Performance-Optimized Reth Fork
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
parallel tx enginee based on revm
A toolkit for polynomial IOPs (PIOPs)
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Kakarot ZK EVM Ethereum RPC adapter
⚡ Cairo VM in Zig ⚡
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Transports, Middleware, and Networks for the Alloy project
Starknet library in Zig
Transports, Middleware, and Networks for the Alloy project
Transports, Middleware, and Networks for the Alloy project
Transports, Middleware, and Networks for the Alloy project
Transports, Middleware, and Networks for the Alloy project
A toolkit for polynomial IOPs (PIOPs)
Kakarot ZK EVM Ethereum RPC adapter
A fork of the Alloy project that adds the ICP blockchain as a transport layer and signer.
Transports, Middleware, and Networks for the Alloy project
Transports, Middleware, and Networks for the Alloy project
A EVM block proving backend in Cairo
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
Transports, Middleware, and Networks for the Alloy project
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
A toolkit for polynomial IOPs (PIOPs)
Libraries for finite field, elliptic curve, and polynomial arithmetic
A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
Test runner for ethereum foundation tests
Transports, Middleware, and Networks for the Alloy project
Transports, Middleware, and Networks for the Alloy project
Transports, Middleware, and Networks for the Alloy project
Ethereum zkEVM book
A SNARK using towers of binary fields, implemented in Rust
The Rust Implementation of the libp2p networking stack.
The Rust Implementation of libp2p networking stack.
The Rust Implementation of libp2p networking stack.
The Rust Implementation of the libp2p networking stack.
The Rust Implementation of libp2p networking stack.
The Rust Implementation of the libp2p networking stack.
The Rust Implementation of the libp2p networking stack.
The Rust Implementation of the libp2p networking stack.
The Rust Implementation of the libp2p networking stack.
A ZK-VM for the Brainfuck language, based on Stwo
Fiat-Shamir for the masses.
Complete Starknet library in Rust™
Complete Starknet library in Rust™
Libraries for finite field, elliptic curve, and polynomial arithmetic
Complete Starknet library in Rust™
Libraries for finite field, elliptic curve, and polynomial arithmetic
The Rust Implementation of the libp2p networking stack.
Complete Starknet library in Rust™
🐺 Starknet Rust types 🦀
🐺 Starknet Rust types 🦀
🐺 Starknet Rust types 🦀
Libraries for finite field, elliptic curve, and polynomial arithmetic
Reth Archive Node Used By DSRV DET
🐺 Starknet Rust types 🦀
Dojo is a toolchain for building provable games and applications
High-performant sequencer for Dojo
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
A toolkit for polynomial IOPs (PIOPs)
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
EVM Execution Hooks.
EVM Execution Hooks.
Dojo is a provable game engine and toolchain for building onchain games and autonomous worlds with Cairo
EVM Execution Hooks.
EVM Execution Hooks.
EVM Execution Hooks.
EVM Execution Hooks.
EVM Execution Hooks.
Rust implementation of the Ethereum Virtual Machine.
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Ethereum Virtual Machine written in rust that is fast and simple to use
Ethereum Virtual Machine written in rust that is fast and simple to use
A collection of libraries related to polynomial IOPs (PIOPs)
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Rust implementation of the Ethereum Virtual Machine.
Ethereum Virtual Machine written in rust that is fast and simple to use
Rust implementation of the Ethereum Virtual Machine.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Ethereum Virtual Machine written in rust that is fast and simple to use
[Work in Progress] revm-oo (revm oblivious opcodes) with all the opcodes rewritten with a data-independent cpu trace. Meant to provide strong side channel privacy guarantees inside of TEE's (Trusted Execution Environments).
Rust implementation of the Ethereum Virtual Machine.
Ethereum Virtual Machine written in rust that is fast and simple to use
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.
Rust Uint crate using const-generics
Rust Uint crate using const-generics
Ethereum Virtual Machine written in rust that is fast and simple to use
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Rust Uint crate using const-generics
Proof system backends for OpenVM.
Rust implementation of the Ethereum Virtual Machine by bluealloy.
A library to generate bindings from Cairo ABI.
Specification for the Execution Layer. Tracking network upgrades.
Cairo is the first Turing-complete language for creating provable programs for general computation.
A list of awesome Reth-related resources
Transports, Middleware, and Networks for the OP Stack built on Alloy
Composable rust types and interfaces specific to the OP Stack. Built on Alloy.
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Fork of REVM implementing the SabVM
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas
Transports, Middleware, and Networks for the OP Stack built on Alloy
Ethereum end-to-end test harness
Cairo is the first Turing-complete language for creating provable programs for general computation.
Specification for the Execution Layer. Tracking network upgrades.
Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas
Rust implementation of the OP protocol
Cairo is the first Turing-complete language for creating provable programs for general computation.
Specification for the Execution Layer. Tracking network upgrades.
Transports, Middleware, and Networks for Optimism built with Alloy
Ethereum Virtual Machine written in rust that is fast and simple to use
Specification for the Execution Layer. Tracking network upgrades.
Specification for the Execution Layer. Tracking network upgrades.
Fast implementation of Ethereum RLP serialization
Bech32 format encoding and decoding
StarkWare's next gen prover
A Python implementation of the Ethereum Virtual Machine
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
High-performance, well-tested & documented core libraries for Ethereum, in Rust
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
The Cairo Language Server
A typescript implementation of the Cairo VM
Automatic indexer for Dojo.
ingo accelerated stwo
High-performance, well-tested & documented core libraries for Ethereum, in Rust
Revm suited for suave needs
Implementation of Circle Plonk + Poseidon31
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Ethereum Virtual Machine written in rust that is fast and simple to use
Seismic's fork of alloy-rs/core: High-performance, well-tested & documented core libraries for Ethereum, in Rust
Cryptographic signature algorithms: DSA, ECDSA, Ed25519
Bech32 format encoding and decoding
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Cryptographic signature algorithms: DSA, ECDSA, Ed25519
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Cryptographic signature algorithms: DSA, ECDSA, Ed25519
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
High-performance, well-tested & documented core libraries for Ethereum, in Rust
A Python implementation of the Ethereum Virtual Machine
─── peer developers
─── ecosystems
─── languages
- Rust130
- Python6
- Cairo4
- TypeScript3
- Go3
- Zig2
- HTML1
─── subscriber view
Unlock the full view of tcoratger
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.