
repos
145
ecosystems
46
languages
13
commits
362
─── top repos · by commits
─── repositories
145 totalCairo is the first Turing-complete language for creating provable programs for general computation.
General purpose Blended Execution layer
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Cairo is the first Turing-complete language for creating provable programs for general computation.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Rust Bitcoin library
Optimism is Ethereum, scaled.
Fork of Foundry tailored for zkSync environment
Taiko Alethia based rollup protocol 🥁
Transports, Middleware, and Networks for the Alloy project
A based rollup template of the Taiko Alethia stack.
Optimism is Ethereum, scaled.
Transports, Middleware, and Networks for the Alloy project
Go implementation of the Ethereum protocol
L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.
A robust, high-performance execution client for Ethereum node operators.
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Nitro goes vroom and fixes everything
The Ethereum Improvement Proposal repository
Rust implementation of the Ethereum Virtual Machine.
Monorepo for OP Stack Types, Components, and Services built in Rust.
Nitro goes vroom and fixes everything
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Arbitrum Nitro extended to securely support EigenDA
Ethereum Virtual Machine written in rust that is fast and simple to use
Nitro goes vroom and fixes everything
Nitro goes vroom and fixes everything
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
Bitcoin Improvement Proposals
Celestia consensus node
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Web3Privacy Now is a research project aimed at building a culture of privacy industry in web3: the most extensive database of privacy-enhancing solutions, the framework for PEDApps ideation, use-cases database & many more. Feel free to collaborate.
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Celestia consensus node
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Optimism is Ethereum, scaled.
Libraries for finite field, elliptic curve, and polynomial arithmetic
Tooling for creating collaborative SNARKs for Circom and Noir circuits.
Rust language bindings for Bitcoin secp256k1 library.
The integrated blockchain purpose-built for finance
Specification for the Execution Layer. Tracking network upgrades.
Cryptographic primitives used in Polygon Miden rollup
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
STARK-based virtual machine
Making client-side ZK proving on mobile simple.
Rust implementation of the Agglayer.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Performance and security acceleration for zkVMs.
Zcash - Financial Privacy in Rust 🦓
ZSA version of Zcash Zebra 🦓
Private fork of risc0 with Go/TinyGo guest notes
Zcash - Financial Privacy in Rust 🦓
Zcash - Financial Privacy in Rust 🦓
STARK-based virtual machine - For Lambdaworks Prover
Specification for the Execution Layer. Tracking network upgrades.
the race to prove Ethereum in real-time
Main repository for the Linera protocol
Across Protocol Bots & Infrastructure
A simple aztec contract + test to get started.
A monorepo of reusable Noir circuits.
Every AI Agent deserves a wallet.
A modular framework for building performant networks, pushing the boundary of today in order to build the apps of tomorrow.
The Swiss Army knife to power JavaScript based client solutions ranging from Web apps/explorers over browser extensions to server-side clients like faucets/scrapers.
This is a solidity implementation of IBC v2.
Ethereum Proof-of-Stake Consensus Specifications
Magic browser/React Native JavaScript SDK is your entry-point to integrating passwordless authentication inside your application.
Ethereum infura like service to provide RPC endpoints for Conflux network.
Pure Rust implementation of Ethereum Virtual Machine
🌴 Empowering everyone to build reliable and efficient smart contracts.
Optimism Developer Docs
Compiler from Rust to Miden Assembly
A domain-specific language for writing AIR constraints for STARKs
A toolkit for polynomial IOPs (PIOPs)
🌈‒ the Ethereum wallet that lives in your pocket
Go implementation of Ethereum proof of stake
The Nexus zkVM: The zero-knowledge virtual machine
A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.
Reference client for NEAR Protocol
A fast, secure, and portable multichain light client for Ethereum
Safe allows secure management of blockchain assets.
Polkadot's ink! to write smart contracts.
An efficient re-implementation of Electrum Server in Rust
Noir is a domain specific language for zero knowledge proofs
WebAssembly Smart Contracts for the Cosmos SDK
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Official repository for core projects comprising the Celo platform
🚀 Open-source Ethereum consensus client written in Java
Inter-Blockchain Communication Protocol (IBC) implementation in Golang.
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.
Commonware Library Primitives and Examples
Reliable and high performance Starknet full node implementation
An Ethereum Node built to run in Browser, Bun, Deno, and Node.js
Basic Cosmos SDK application with WebAssembly smart contracts
Dymension Hub
A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.
TypeScript utilities built on viem for ERC-4337: Account Abstraction
Noname: a programming language to write zkapps
A Python framework and collection of test cases to generate test vectors for Ethereum execution clients
Transports, Middleware, and Networks for the OP Stack built on Alloy
libp2p implementation in Go
Zcash - Zebra Crosslink Prototype 🦓
Fast and fully open source from a16z crypto modified by NovaNet for zkML precompiles. ⚡
Reference implementation of the node for the Miden blockchain
Libraries for finite field, elliptic curve, and polynomial arithmetic
Relayer bot for across v3
Gnosis Safe allows secure management of blockchain assets.
Basic cosmos-sdk app with web assembly smart contracts
Compiler from MidenIR to Miden Assembly
WebAssembly Smart Contracts for the Cosmos SDK - This code is compiled into Wasm bytecode as part of the smart contract.
Basic cosmos-sdk app with web assembly smart contracts
▼ LUX Safe - Quantum Safe Multisig Wallet
A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.
Reference implementation of the node for the Miden blockchain
Noir is a domain specific language for zero knowledge proofs
Zcash - Financial Privacy in Rust 🦓
Reference client for NEAR Protocol
Nitro goes vroom and fixes everything
Transports, Middleware, and Networks for the Alloy project
Basic cosmos-sdk app with web assembly smart contracts
Reference implementation of the node for the Polygon Miden rollup
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.
A fast, secure, and portable multichain light client for Ethereum
A Python framework and collection of test cases to generate test vectors for Ethereum execution clients
Safe allows secure management of blockchain assets.
Everything required to run your own Base node
Noir is a domain specific language for zero knowledge proofs
(Ivan's Fork) Ethereum Consensus Specs
CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine
Go implementation of Ethereum proof of stake
─── peer developers
─── ecosystems
─── languages
- Rust73
- Go36
- TypeScript13
- Python6
- C3
- C++2
- Solidity2
- C#1
- Wikitext1
- Noir1
─── subscriber view
Unlock the full view of MozirDmitriy
- · 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.



















