repos
83
ecosystems
33
languages
7
commits
472
─── top repos · by commits
─── repositories
83 totalNoir is a domain specific language for zero knowledge proofs
Formal verification tool for Noir programs using the Rocq system
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
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. ⚡
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Mozak RISC-V Virtual Machine
Rust-based zkSNARK Proving&Verifying tool for noir-lang
Fork of aztec-packages containing bb_rs to create bindings to Barretenberg
linear-time sumcheck protocol for multilinear polynomials and related addends
Spartan on Arkworks
Monorepo of halo2 crates
Rust implementation of the Ethereum Virtual Machine.
A curated list of resources around BitVM
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Ethereum Virtual Machine written in rust that is fast and simple to use
Aztec docs site
Fork of REVM implementing the SabVM
Implement BLS Signature for BN254
Revm suited for suave needs
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
The lookup singularity, built on Arkworks
Ethereum Virtual Machine written in rust that is fast and simple to use
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
Ethereum Virtual Machine written in rust that is fast and simple to use
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Ethereum Virtual Machine written in rust that is fast and simple to use
linear-time sumcheck protocol for multilinear polynomials and related addends
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Monorepo of halo2 crates
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Monorepo of halo2 crates
Rust implementation of the Ethereum Virtual Machine.
Ethereum Virtual Machine written in rust that is fast and simple to use
Rust implementation of the Ethereum Virtual Machine.
Axiom monorepo of halo2 crates
Monorepo of halo2 crates
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Spartan: High-speed zkSNARKs without trusted setup (with Parallelism)
Monorepo of halo2 crates
Ethereum Virtual Machine written in rust that is fast and simple to use
Ethereum Virtual Machine written in rust that is fast and simple to use
[Work in Progress] revm-oo (revm oblivious opcodes) with all the opcodes rewritten with a data-independent cpu trace. Meant to provide strong side channel privacy guarantees inside of TEE's (Trusted Execution Environments).
Rust implementation of the Ethereum Virtual Machine.
Ethereum Virtual Machine written in rust that is fast and simple to use
good burger
─── peer developers
─── ecosystems
─── languages
- Rust53
- C++7
- MDX2
- TypeScript1
- Python1
- HTML1
- JavaScript1
─── subscriber view
Unlock the full view of Ethan-000
- · 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.