
repos
74
ecosystems
21
languages
7
commits
692
─── top repos · by commits
─── repositories
74 totalMinimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Yul precompile library to speedup elliptic curves operations.
Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
Arkworks made simple for us: the non cryptographer software plumbers
A Noir's backend implementation using Gnark
Useful tools for developing on Ethereum powered by Ethrex
Based OP stack
CLI tool for ZKsync, built using zksync-ethers-rs SDK
The simplest, safest way for AI agents to use Ethereum or any EVM chain. Send, swap, and bridge stablecoins in one line of code with spending limits and human approval flows built in.
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
zkSync era
Bitcoin L2 (based on ZK Stack)
Cronos zkEVM is a Layer2 blockchain network using ZK Stack, launched in a partnership between Cronos Labs and engineering teams from Matter Labs (the team behind ZKsync), Crypto.com, VVS Finance, Fulcrom Finance and Veno Finance.
zkSync era
ZkThunder implementation (by Salus)
zkSync era
zkSync era
zkSync era
zkSync era
zksync-era
zkSync era
zkSync era
zkSync era
Conway's Game of Life in Rust and WebAssembly
Optimism is Ethereum, scaled.
Seaport implementation on zkSync Era. Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.
Noir is a domain specific language for zero knowledge proofs
Formal verification tool for Noir programs using the Rocq system
Proof of Concept of what a zkSync Era's L3 would look like
Tools for ZKsync's Data Collection for Prover Market Design
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Collection of APIs provided by Ethereum execution layer clients
STARK 101 Workshop in Rust 🐺🦀
Smart Contract Submodule For zkSync Era
A zkVM for Decentralized Private Computations (DPC)
Unified zkVM Interface & Toolkit
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
A Virtual Machine for Zero-Knowledge Executions
zkSync era
Noir is a domain specific language for zero knowledge proofs
Smart Contract Submodule For zkSync Era
Smart Contract Submodule For zkSync Era
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
Smart Contract Submodule For zkSync Era
Consensus algorithms simulations written in Julia
Smart Contract Submodule For zkSync Era
zkSync era
A Virtual Machine for Zero-Knowledge Executions
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
A Virtual Machine for Zero-Knowledge Executions
─── peer developers
─── ecosystems
─── languages
- Rust47
- Solidity8
- Go3
- TypeScript3
- MDX1
- Jupyter Notebook1
- LLVM1
─── subscriber view
Unlock the full view of ilitteri
- · 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.



















