
repos
132
ecosystems
44
languages
13
commits
342
─── top repos · by commits
─── repositories
132 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.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Taiko Alethia based rollup protocol 🥁
L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.
A based rollup template of the Taiko Alethia stack.
Go implementation of the Ethereum protocol
Transports, Middleware, and Networks for the Alloy project
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Transports, Middleware, and Networks for the Alloy project
Fork of Foundry tailored for zkSync environment
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.
Rust Bitcoin library
The Ethereum Improvement Proposal repository
Go implementation of Ethereum proof of stake
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.
Ethereum Virtual Machine written in rust that is fast and simple to use
Private fork of risc0 with Go/TinyGo guest notes
Go implementation of Ethereum proof of stake
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Nitro goes vroom and fixes everything
Optimism is Ethereum, scaled.
Celestia consensus node
The Nexus zkVM: The zero-knowledge virtual machine
A robust, high-performance execution client for Ethereum node operators.
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Rust implementation of the Agglayer.
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
Optimism is Ethereum, scaled.
Arbitrum Nitro extended to securely support EigenDA
Celestia consensus node
Nitro goes vroom and fixes everything
Nitro goes vroom and fixes everything
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
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.
Bitcoin Improvement Proposals
Celestia Data Availability Nodes
Specification for the Execution Layer. Tracking network upgrades.
Cryptographic primitives used in Polygon Miden rollup
Python scripts for ETL (extract, transform and load) jobs for Ethereum blocks, transactions, ERC20 / ERC721 tokens, transfers, receipts, logs, contracts, internal transactions. Data is available in Google BigQuery https://goo.gl/oY5BCQ
Internet-scale Neural Networks
STARK-based virtual machine
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.
Monorepo for OP Stack Types, Components, and Services built in Rust.
Making client-side ZK proving on mobile simple.
Ethereum implementation on the efficiency frontier
Ethereum implementation on the efficiency frontier
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Zcash - Financial Privacy in Rust 🦓
ZSA version of Zcash Zebra 🦓
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
Zcash - Financial Privacy in Rust 🦓
Zcash - Financial Privacy in Rust 🦓
Zcash - Financial Privacy in Rust 🦓
Nitro goes vroom and fixes everything
STARK-based virtual machine - For Lambdaworks Prover
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.
Specification for the Execution Layer. Tracking network upgrades.
the race to prove Ethereum in real-time
Across Protocol Bots & Infrastructure
Interfaces for Relations and SNARKs for these relations
Go implementation of an Avalanche node.
The hemi network core daemons.
Rust language bindings for Bitcoin secp256k1 library.
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.
Magic browser/React Native JavaScript SDK is your entry-point to integrating passwordless authentication inside your application.
🌴 Empowering everyone to build reliable and efficient smart contracts.
A domain-specific language for writing AIR constraints for STARKs
A toolkit for polynomial IOPs (PIOPs)
Lightweight Java and Android library for integration with Ethereum clients
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
👁🗨 Rare and exotic sats
A portfolio tracking, analytics, accounting and management application that protects your privacy
Reference client for NEAR Protocol
An efficient re-implementation of Electrum Server in Rust
Noir is a domain specific language for zero knowledge proofs
JavaScript library for StarkNet
WebAssembly Smart Contracts for the Cosmos SDK
A zero-knowledge protocol for anonymous interactions.
A collection of helpful contracts and libraries for use with Forge and Foundry
Official repository for core projects comprising the Celo platform
Solidity Static Analyzer that easily integrates into your editor
Nimbus: an Ethereum Execution Client for Resource-Restricted Devices
Rust library for writing NEAR smart contracts
A flexible toolkit for building real-time blockchains
Basic Cosmos SDK application with WebAssembly smart contracts
All you need account for authentication and payments on the web.
Multi-party computation libraries written in Rust 🦀
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Noname: a programming language to write zkapps
Utilities for working with native solc and compiling projects.
A Kurtosis package that deploys a private, portable, and modular Polygon CDK devnet
Sindri Zero-Knowledge Proof CLI
Zcash - Zebra Crosslink Prototype 🦓
👁🗨 Rare and exotic sats
Relayer bot for across v3
Basic cosmos-sdk app with web assembly smart contracts
A flexible toolkit for building real-time blockchains
Utilities for working with native solc and compiling projects.
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
Noir is a domain specific language for zero knowledge proofs
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Transports, Middleware, and Networks for the Alloy project
Basic cosmos-sdk app with web assembly smart contracts
A toolkit for polynomial IOPs (PIOPs)
Everything required to run your own Base node
Noir is a domain specific language for zero knowledge proofs
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
─── peer developers
─── ecosystems
─── languages
- Rust69
- Go34
- TypeScript8
- Python5
- C++3
- Solidity3
- Shell2
- C#1
- Wikitext1
- C1
─── subscriber view
Unlock the full view of Galoretka
- · 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.



















