repos
18
ecosystems
8
languages
5
commits
51
─── top repos · by commits
─── repositories
18 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.
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.
A robust, high-performance execution client for Ethereum node operators.
SQL views for Dune
Fork of Foundry tailored for zkSync environment
The Nexus zkVM: The zero-knowledge virtual machine
OpenZeppelin Contracts is a library for secure smart contract development.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
STARK-based virtual machine
Rust implementation of the Agglayer.
Reference implementation of the node for the Miden blockchain
Core components of the Miden protocol
Reference implementation of the node for the Miden blockchain
Core components of the Miden protocol
Private fork of risc0 with Go/TinyGo guest notes
STARK-based virtual machine - For Lambdaworks Prover
Reference implementation of the node for the Polygon Miden rollup
─── peer developers
─── ecosystems
─── languages
- Rust10
- C++2
- C#1
- Python1
- Solidity1
─── subscriber view
Unlock the full view of PivasDesant
- · 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.