repos
82
ecosystems
34
languages
4
commits
229
─── top repos · by commits
─── repositories
82 totalA Rust zkVM with a Modular Proof System
DEPRECATED in favor of https://github.com/taikoxyz/raiko! Taiko's fork of the PSE's ZK-EVM
This is a mirror of zkevm-circuits(https://github.com/scroll-tech/zkevm-circuits).
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡
Fast and fully open source from a16z crypto modified by NovaNet for zkML precompiles. ⚡
Unified zkVM Interface & Toolkit
Eigen zkVM's Proving Service
Movement is building the ecosystem that empowers talented builders to create the future of finance through the Move language - the safest, most expressive language for building the next generation of apps
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
Indexer for ferum events
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
We made some changes to the move cli to support witness generation for move code.
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
Cairo is the first Turing-complete language for creating provable programs for general computation.
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
Technical specifications for the libp2p networking stack
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.
Technical specifications for the libp2p networking stack
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.
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.
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.
storedata starknet cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
zkSync era
Move compiler targeting llvm supported backends
Collect libraries and packages about blockchain/cryptography in Rust
A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Fiat-Shamir for the masses.
The Cairo Language Server
Documentation site for the libp2p project.
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
Creative coding with Cairo
This is a modified MoveVM fork for the use of MoveVM in the pallet-move Substrate repo. Please check the pallet-move repository to learn more about this project.
Move compiler targeting PolkaVM
Movement's fork of the Move language.
ZkThunder implementation (by Salus)
zkSync era
zkSync era
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
zkSync era
zkSync era
zkSync era
zksync-era
Move to EVM compiler - Inlined Reference Monitor
zkSync era
zkSync era
zkSync era
─── peer developers
─── ecosystems
─── languages
- Rust64
- Shell1
- HTML1
- Cairo1
─── subscriber view
Unlock the full view of SuccinctPaul
- · 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.