DelphinusLab / zkWasm
☆485Updated this week
Related projects ⓘ
Alternatives and complementary repositories for zkWasm
- The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡☆676Updated this week
- A toolkit for polynomial IOPs (PIOPs)☆469Updated this week
- ☆777Updated this week
- A modular stack for zkVMs, with a focus on productivity, security and performance.☆408Updated this week
- Zero-Knowledge Proof Systems Circuit Compiler☆292Updated 2 weeks ago
- ☆334Updated 4 months ago
- A Rust Implementation of the PLONK ZKP System and Extensions☆401Updated this week
- ☆207Updated this week
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆372Updated this week
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk team☆548Updated 3 weeks ago
- A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain☆374Updated 2 weeks ago
- ☆817Updated 4 months ago
- A Rust implementation of the Groth16 zkSNARK☆252Updated last week
- A STARK-based VM focused on code reuse, performance, and modularity☆286Updated 3 months ago
- Monorepo of halo2 crates☆238Updated 2 months ago
- A pure Rust PLONK implementation using arkworks as a backend.☆294Updated last year
- A hardware acceleration library for compute intensive cryptography☆337Updated this week
- Narwhal & Tusk are a high throughput mempool & consensus, used in the Sui smart contract platform☆156Updated 2 years ago
- STARK-based virtual machine☆630Updated this week
- ☆297Updated 2 months ago
- Common cryptographic library used in software at Mysten Labs.☆245Updated this week
- lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…☆618Updated this week
- Noir is a domain specific language for zero knowledge proofs☆887Updated this week
- ☆224Updated last year
- A curated list of awesome things related to plonk proof system☆227Updated 2 months ago
- Big integer arithmetic and secp256k1 ECC operations in circom☆310Updated last year
- ☆260Updated last month
- The Halo2 zero-knowledge proving system☆737Updated 2 months ago
- zkEVM prover in C++☆224Updated this week
- Papyrus is a StarkNet full node written in Rust.☆315Updated 3 weeks ago