Cross-zk-rollup aggregation
☆61Feb 17, 2023Updated 3 years ago
Alternatives and similar repositories for zkos
Users that are interested in zkos are comparing it to the libraries listed below
Sorting:
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- A Rust implementation of Starknet execution logic☆170Jul 22, 2024Updated last year
- 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs☆377Nov 19, 2024Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- ☆13Dec 3, 2022Updated 3 years ago
- Old, obsolete version of the Valida compiler; its replacement will become public later☆52Aug 31, 2023Updated 2 years ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- The Slush SDK allows you to spin up L3s on Starknet☆68Feb 20, 2023Updated 3 years ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Sep 12, 2023Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 3 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆157Aug 25, 2022Updated 3 years ago
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆16Oct 30, 2023Updated 2 years ago
- ☆17Feb 13, 2023Updated 3 years ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- ☆36Aug 22, 2021Updated 4 years ago
- A STARK-based VM focused on code reuse, performance, and modularity☆342Jul 31, 2025Updated 7 months ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆122Feb 25, 2023Updated 3 years ago
- Rust based Virtual Machine on Avalanche that implements Bulletproof ZK Proofs.☆14Dec 29, 2022Updated 3 years ago
- ☆16Feb 22, 2023Updated 3 years ago
- snarkpack for arkwork☆22Jun 11, 2023Updated 2 years ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Mar 24, 2023Updated 2 years ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆217Dec 5, 2023Updated 2 years ago
- A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle☆118Jan 29, 2025Updated last year
- Playing with zero-knowledge proof languages☆107Jan 26, 2023Updated 3 years ago
- A tool for single Ethereum archival block state proofs.☆35Oct 19, 2023Updated 2 years ago
- Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…☆272Updated this week
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- Crypto Gadgets for Plonky2☆77May 16, 2024Updated last year
- ☆18Nov 1, 2023Updated 2 years ago
- repository for machine learning algorithms and systems on emergent runtimes☆21Jan 31, 2023Updated 3 years ago
- Middleware to compile Circom circuits to Nova prover☆244Mar 1, 2024Updated 2 years ago