repos
298
ecosystems
78
languages
14
commits
426
─── top repos · by commits
─── repositories
298 totalAtropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse environments
General 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
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.
dApp for Node Operators, consumers and delegators interact with SubQuery Network
Cairo is the first Turing-complete language for creating provable programs for general computation.
The Nouns DAO monorepo
RISC-V prover system
Cairo is the first Turing-complete language for creating provable programs for general computation.
Bitcoin Liquid Staking
Dubhe Engine is a Open-source, high-performance engine for real-time Fully On-Chain Move apps.
Go implementation of an Avalanche node.
Open source software that helps you create and deploy high-frequency crypto trading bots
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Hummingbot is open source software that helps you build trading bots that run on any exchange or blockchain
Consolidated documentation for the Miden rollup
Open source software that helps you create and deploy high-frequency crypto trading bots
A performant, 100% open-source, contributor-friendly zkVM.
ETH NYC Hackathon - Atropos WordHunt Smart Contract Integration
Open source software that helps you create and deploy high-frequency crypto trading bots
Open source software that helps you create and deploy high-frequency crypto trading bots
Optimism is Ethereum, scaled.
Rust language bindings for Bitcoin secp256k1 library.
SQL views for Dune
Open source agentic operating system
Compiler from Rust to Miden Assembly
Rust implementation of the Ethereum Virtual Machine.
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
Web based transaction debugger and simulator for the EVM. Open source and self-hostable.
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Optimism is Ethereum, scaled.
Ethereum Virtual Machine written in rust that is fast and simple to use
A performant, 100% open-source, contributor-friendly zkVM.
Compiler from MidenIR to Miden Assembly
The fastest, most feature-complete zkVM for developers.
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Main repository for the Linera protocol
The ZK Compression Protocol For Solana
Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation
node of the decentralized oracle network, bridging present and future computation
Nitro goes vroom and fixes everything
A Rust zkVM with a Modular Proof System
Technical Documentation
Libraries for finite field, elliptic curve, and polynomial arithmetic
A Rust implementation of the Groth16 zkSNARK
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Monorepo of halo2 crates
op-stack state(less) transition in an AWS Nitro enclave
AWS Nitro enclave attestation verifier in Solidity, used by:
Implementation of the Farcaster Hub specification and supporting libraries for building applications on Farcaster
Nexus by Biconomy: ERC-7579 Modular Smart Account for Enhanced Account Abstraction
Jade hardware wallet
The hemi network core daemons.
Rust Bitcoin library
A modular framework for building performant networks, pushing the boundary of today in order to build the apps of tomorrow.
Celestia consensus node
Celestia Documentation Site
Prove your self
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.
Initia chains metadata central repository
Linea documentation
The integrated blockchain purpose-built for finance
A distributed, proof of stake blockchain designed for the financial services industry.
Golang implementation of the EthStorage node.
The Optimism monorepo
Magic browser/React Native JavaScript SDK is your entry-point to integrating passwordless authentication inside your application.
Ethereum and EVM compatibility layer for Polkadot and Substrate.
core protocol repo for mainnet launch
🌴 Empowering everyone to build reliable and efficient smart contracts.
A collection of Safe singleton deployments
A EVM block proving backend in Cairo
Optimism Developer Docs
The backend framework for crypto apps
Cryptographic primitives used in Polygon Miden rollup
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
📓 Uniswap docs website
A toolkit for polynomial IOPs (PIOPs)
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A Decentralized Operating System for ZK Applications
Taiko Alethia based rollup protocol 🥁
Main TON monorepo
A portfolio tracking, analytics, accounting and management application that protects your privacy
A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
The Nexus zkVM: The zero-knowledge virtual machine
Reference client for NEAR Protocol
A fast, secure, and portable multichain light client for Ethereum
Safe allows secure management of blockchain assets.
An open protocol that lets users connect their mobile wallets to your DApp
connect any ai agents to solana protocols
Polkadot's ink! to write smart contracts.
Internet-scale Neural Networks
Noir is a domain specific language for zero knowledge proofs
JavaScript library for StarkNet
Transports, Middleware, and Networks for the Alloy project
A zkVM for Decentralized Private Computations (DPC)
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.
Developer documentation for MetaMask
🚀 Open-source Ethereum consensus client written in Java
STARK-based virtual machine
L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.
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.
Cosmos Hub
Commonware Library Primitives and Examples
Merkleized IAVL+ Tree implementation in Go
Basic Cosmos SDK application with WebAssembly smart contracts
Subspace Protocol reference implementation
Solarity Solidity Library
Dymension Hub
A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.
Extend the functionality of MetaMask using Snaps
Monorepo for OP Stack Types, Components, and Services built in Rust.
Jumper - Multi-Chain Bridging & Swapping
Making client-side ZK proving on mobile simple.
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
Lean Ethereum protocol specifications and test vector generation framework.
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.
Bitcoin ZK client written in Cairo.
Rust implementation of the Agglayer.
The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the Prover in charge of generating ZK proofs, the Coordinator responsible for multiple orchestrations, and the Postman to execute bridge messages
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm
Initia L1 source code
High-performance, Composable framework for Fully On Chain Games and Autonomous Worlds
Fabric is an experimental protocol for exchanging information.
Suite of tools for Monitoring OP Stack Chains 🔴 Offers real-time detection and Incident response capabilities ✨
A ZK-VM for the Brainfuck language, based on Stwo
Ethereum compatibility layer for Substrate.
Nitro goes vroom and fixes everything
Node management integration tools in purpose of maximizing node's uptime for any protocols
Decentralized Identity Issuance Contracts
A based rollup template of the Taiko Alethia stack.
Open framework for confidential AI
Phala's SDK to deploy any app to TEE
Phala Network 1.0 Monorepo
libp2p implementation in Go
The Rust Implementation of the libp2p networking stack.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
The Rust Implementation of libp2p networking stack.
Rarime is a MetaMask Snap that safely holds any of your credentials and allows you to prove your identity without revealing any personal data. Powered by Rarimo Protocol and Zero-Knowledge Proof technology.
An Ethereum L1 Blockspace Underwriting Protocol
Arbitrum Nitro extended to securely support EigenDA
Modular AI runtime for robots
Performance and security acceleration for zkVMs.
Main TON monorepo
The reference Hyperware runtime
Concrete: TFHE Compiler that converts python programs into FHE equivalent
Zcash - Financial Privacy in Rust 🦓
Zcash - Zebra Crosslink Prototype 🦓
Celestia consensus node
Main TON monorepo
Reference implementation of the node for the Miden blockchain
Core components of the Miden protocol
Optimism is Ethereum, scaled.
A collection of Safe singleton deployments
Implementing attestation-based user feedback on articles, for the 2025 Consensys Hackathon
Ethereum compatibility layer for Substrate.
Main TON monorepo
Main TON monorepo
A collection of Safe singleton deployments
A performant and modular zkVM framework built for customization and extensibility.
Cosmos Hub
Ethereum compatibility layer for Substrate.
Ethereum compatibility layer for Substrate.
Gnosis Safe allows secure management of blockchain assets.
Fork of https://github.com/ZcashFoundation/frost to implement nested FROST signing for Spark
Ethereum compatibility layer for Substrate.
Basic cosmos-sdk app with web assembly smart contracts
An autonomous self-improving fine tuning agent framework integrated with Virtuals GAME and Hyperbolic
ZSA version of Zcash Zebra 🦓
Main TON monorepo
Main TON monorepo
A performant and modular zkVM framework built for customization and extensibility.
Reference client for NEAR Protocol
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
The Rust Implementation of the libp2p networking stack.
Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation
Nitro goes vroom and fixes everything
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Nitro goes vroom and fixes everything
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Basic cosmos-sdk app with web assembly smart contracts
The Rust Implementation of libp2p networking stack.
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
▼ LUX Safe - Quantum Safe Multisig Wallet
A collection of Safe singleton deployments
A toolkit for polynomial IOPs (PIOPs)
Nexis AI Chain - Blockchain Node
A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.
Core components of the Miden protocol
Reference implementation of the node for the Miden blockchain
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.
Noir is a domain specific language for zero knowledge proofs
Starknet Indexer
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
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.
Zcash - Financial Privacy in Rust 🦓
Zcash - Financial Privacy in Rust 🦓
Zcash - Financial Privacy in Rust 🦓
Main TON monorepo
An open protocol that lets users connect their mobile wallets to your DApp
Ethereum compatibility layer for Substrate.
Reference client for NEAR Protocol
Reference client for NEAR Protocol
Nitro goes vroom and fixes everything
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Transports, Middleware, and Networks for the Alloy project
Transports, Middleware, and Networks for the Alloy project
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Basic cosmos-sdk app with web assembly smart contracts
An observatory fork of the Linera protocol
A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
Java Implementation of the Ethereum 2.0 Beacon Chain
A fast, secure, and portable multichain light client for Ethereum
STARK-based virtual machine - For Lambdaworks Prover
Reference implementation of the node for the Polygon Miden rollup
SkyPilot: Run AI and batch jobs on any infra (Kubernetes or 16+ clouds). Get unified execution, cost savings, and high GPU availability via a simple interface.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
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 toolkit for polynomial IOPs (PIOPs)
A fast, secure, and portable multichain light client for Ethereum
Fork of https://github.com/risc0/risc0-ethereum
Optimism is Ethereum, scaled.
The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the prover in charge of generating ZK proofs, the coordinator responsible for multiple orchestrations, and the postman to execute bridge messages.
The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the prover in charge of generating ZK proofs, the coordinator responsible for multiple orchestrations, and the postman to execute bridge messages.
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
[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).
Safe allows secure management of blockchain assets.
A collection of Safe singleton deployments
Optimism Developer Docs
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Noir is a domain specific language for zero knowledge proofs
📓 ETCswap Docs Website for ETCswapV3 + ETCswapV2 protocols
Ethereum compatibility layer for Substrate.
A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine
A fast, secure, and portable multichain light client for Ethereum
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
─── peer developers
─── ecosystems
─── languages
- Rust127
- Go50
- TypeScript46
- Python19
- C++11
- Solidity7
- C4
- MDX4
- JavaScript3
- Cairo3
─── subscriber view
Unlock the full view of crStiv
- · 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.