repos
128
ecosystems
42
languages
10
commits
342
─── top repos · by commits
─── repositories
128 totalGeneral 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.
L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Rust Bitcoin library
Transports, Middleware, and Networks for the Alloy project
Transports, Middleware, and Networks for the Alloy project
Taiko Alethia based rollup protocol 🥁
Go implementation of the Ethereum protocol
A robust, high-performance execution client for Ethereum node operators.
A based rollup template of the Taiko Alethia stack.
The Ethereum Improvement Proposal repository
Fork of Foundry tailored for zkSync environment
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Optimism is Ethereum, scaled.
Monorepo for OP Stack Types, Components, and Services built in Rust.
Optimism is Ethereum, scaled.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Optimism is Ethereum, scaled.
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.
Nitro goes vroom and fixes everything
Celestia consensus node
Rust implementation of the Ethereum Virtual Machine.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
STARK-based virtual machine
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
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
Celestia consensus node
Nitro goes vroom and fixes everything
Nitro goes vroom and fixes everything
Private fork of risc0 with Go/TinyGo guest notes
Transports, Middleware, and Networks for the Alloy project
STARK-based virtual machine - For Lambdaworks Prover
OpenZeppelin Contracts is a library for secure smart contract development.
Bitcoin Improvement Proposals
Celestia Data Availability Nodes
The Nexus zkVM: The zero-knowledge virtual machine
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
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.
Rust library for writing NEAR smart contracts
Noname: a programming language to write zkapps
An Ethereum L1 Blockspace Underwriting Protocol
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
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.
CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine
Across Protocol Bots & Infrastructure
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.
Ethereum Proof-of-Stake Consensus Specifications
Specification for the Execution Layer. Tracking network upgrades.
Magic browser/React Native JavaScript SDK is your entry-point to integrating passwordless authentication inside your application.
Cryptographic primitives used in Polygon Miden rollup
Compiler from Rust to Miden Assembly
A domain-specific language for writing AIR constraints for STARKs
Client library that facilitates interaction with the Miden blockchain
A toolkit for polynomial IOPs (PIOPs)
Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Reference client for NEAR Protocol
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
Polkadot's ink! to write smart contracts.
Noir is a domain specific language for zero knowledge proofs
WebAssembly Smart Contracts for the Cosmos SDK
A zero-knowledge protocol for anonymous interactions.
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Official repository for core projects comprising the Celo platform
Minimal Anti-Collusion Infrastructure (MACI)
Commonware Library Primitives and Examples
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.
A flexible toolkit for building real-time blockchains
Basic Cosmos SDK application with WebAssembly smart contracts
Dymension Hub
A Solana Framework for JS Clients.
Making client-side ZK proving on mobile simple.
Hyli is a confidential yet verifiable financial settlement infrastructure for European regulated actors. It enables regulated institutions to settle, tokenize, and comply without exposing sensitive data.
Rust implementation of the Agglayer.
Balancer frontend apps and packages. Includes the official Balancer web application.
The PSE website
Collection of cryptographic hash functions written in pure Rust
Multilingual BLS12-381 signature library
Zcash - Financial Privacy in Rust 🦓
Zcash - Zebra Crosslink Prototype 🦓
solana svm
Fast and fully open source from a16z crypto modified by NovaNet for zkML precompiles. ⚡
Reference implementation of the node for the Miden blockchain
Core components of the Miden protocol
Zkash User Universe
Relayer bot for across v3
Basic cosmos-sdk app with web assembly smart contracts
A flexible toolkit for building real-time blockchains
ZSA version of Zcash Zebra 🦓
Compiler from MidenIR to Miden Assembly
Basic cosmos-sdk app with web assembly smart contracts
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
Reference implementation of the node for the Miden blockchain
Core components of the Miden protocol
Noir is a domain specific language for zero knowledge proofs
Zcash - Financial Privacy in Rust 🦓
Zcash - Financial Privacy in Rust 🦓
Zcash - Financial Privacy in Rust 🦓
Reference client for NEAR Protocol
Nitro goes vroom and fixes everything
Reference implementation of the node for the Polygon Miden rollup
Specification for the Execution Layer. Tracking network upgrades.
Noir is a domain specific language for zero knowledge proofs
(Ivan's Fork) Ethereum Consensus Specs
Staging fork for Fidelity's contributions upstream. Please do not open PRs against this repo. All contributions should be directed upstream.
the race to prove Ethereum in real-time
─── peer developers
─── ecosystems
─── languages
- Rust71
- Go27
- TypeScript12
- Python4
- C++3
- Solidity3
- C#1
- Wikitext1
- C1
- Assembly1
─── subscriber view
Unlock the full view of radik878
- · 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.