repos
70
ecosystems
25
languages
8
commits
133
─── top repos · by commits
─── repositories
70 totalCairo 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.
Celestia consensus node
L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.
A brand-new multi-scenarios smart contract compiler framework
Nitro goes vroom and fixes everything
The Ethereum Improvement Proposal repository
Taiko Alethia based rollup protocol 🥁
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
General purpose Blended Execution layer
A based rollup template of the Taiko Alethia stack.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Nitro goes vroom and fixes everything
Nitro goes vroom and fixes everything
Private fork of risc0 with Go/TinyGo guest notes
Optimism is Ethereum, scaled.
Rust Bitcoin library
Fork of Foundry tailored for zkSync environment
Rust implementation of the Ethereum Virtual Machine.
A collection of helpful contracts and libraries for use with Forge and Foundry
BOB is building the Gateway to Bitcoin DeFi, unlocking real utility for the world’s most important asset.
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
Command line interface for supplying proofs to the Nexus network.
Ethereum Virtual Machine written in rust that is fast and simple to use
Citrea repository
Sequencing Engine for Dymension RollApps
Across Protocol Bots & Infrastructure
The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across different cloud service providers, and generate Risc0 and SP1 ZK Proofs which can be verified on-chain. Powered by Automata
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.
Ethereum infura like service to provide RPC endpoints for Conflux network.
zk-SNARK library
SubQuery is an Open, Flexible, Fast and Universal data indexing framework for web3. Our mission is to help developers create the decentralised products of the future.
A toolkit for polynomial IOPs (PIOPs)
Go implementation of Ethereum proof of stake
The Nexus zkVM: The zero-knowledge virtual machine
A robust, high-performance execution client for Ethereum node operators.
Polkadot's ink! to write smart contracts.
Solidity library for advanced fixed-point math
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Best in class web3 SDKs for Browser, Node and Mobile apps
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.
https://docs.chain.link The Chainlink developer documentation website for Smart Contract Devs and Node Operators
A flexible toolkit for building real-time blockchains
Dymension Hub
Monorepo for OP Stack Types, Components, and Services built in Rust.
Rust implementation of the Agglayer.
The proof systems used by Mina
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
A repository containing succinct SP1 programs and prover service for proving zk evm chains on celestia
Celestia consensus node
Relayer bot for across v3
Solidity library for advanced fixed-point math
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
Nitro goes vroom and fixes everything
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.
Everything required to run your own Base node
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
- Rust32
- Go20
- TypeScript9
- Solidity3
- C++2
- Shell1
- C#1
- MDX1
─── subscriber view
Unlock the full view of sashaodessa
- · 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.