0xPolygonMiden / air-script

Related projects ⓘ

Alternatives and complementary repositories for air-script

• argumentcomputer / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆80Updated 2 weeks ago
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆158Updated 8 months ago
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆121Updated last year
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆131Updated this week
• microsoft / Spartan2
  High-speed zkSNARKs
  ☆87Updated last week
• VictorColomb / stark-snark-recursive-proofs
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆102Updated last year
• 0xPolygonZero / zk_evm
  ☆86Updated this week
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆120Updated 11 months ago
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆156Updated 2 years ago
• privacy-scaling-explorations / greco
  ☆71Updated 3 months ago
• axiom-crypto / halo2-scaffold
  Basic scaffolding for setting up and writing a Halo2 ZK circuit
  ☆109Updated 10 months ago
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆33Updated last year
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆55Updated this week
• aszepieniec / stark-brainfuck
  Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…
  ☆48Updated 3 months ago
• 0xPolygonHermez / pilcom
  Polynomials Identity Language
  ☆67Updated 8 months ago
• geometryxyz / protostar
  ☆49Updated last year
• WizardOfMenlo / stir
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆53Updated 2 weeks ago
• philsippl / circom-witness-rs
  ☆60Updated 8 months ago
• tangle-network / zero-knowledge-gadgets
  Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
  ☆91Updated last year
• privacy-scaling-explorations / snark-verifier
  ☆147Updated 8 months ago
• privacy-scaling-explorations / halo2wrong
  ☆117Updated 2 months ago
• privacy-scaling-explorations / sonobe
  Experimental folding schemes library
  ☆204Updated this week
• Neptune-Crypto / twenty-first
  Collection of mathematics routines and cryptography for the twenty-first century
  ☆74Updated 3 weeks ago
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆73Updated last year
• arkworks-rs / r1cs-std
  R1CS constraints for bits, fields, and elliptic curves
  ☆140Updated 3 weeks ago
• privacy-scaling-explorations / halo2curves
  ☆173Updated 3 weeks ago
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆81Updated 11 months ago
• han0110 / plonkish
  ☆101Updated 7 months ago
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom circuits.
  ☆101Updated this week