zk-bankai / uZumaKi

Related projects ⓘ

Alternatives and complementary repositories for uZumaKi

• manuj-mishra / zkdiffpriv
  Zero knowledge proofs of differential privacy mechanisms
  ☆22Updated last year
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• scroll-tech / ceno
  Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆52Updated this week
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆57Updated 7 months ago
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆38Updated 2 months ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• iosis-tech / swiftness
  Cairo-VM STARK Verifier Rust implementation
  ☆37Updated last month
• JumpCrypto / plonky2-crypto
  Crypto Gadgets for Plonky2
  ☆71Updated 6 months ago
• summa-dev / halo2-experiments
  For practice to using halo2
  ☆22Updated last year
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆73Updated last year
• ingonyama-zk / super-sumcheck
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆35Updated last week
• lambdaclass / lambdaworks_stark_platinum
  STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…
  ☆77Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆36Updated this week
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 2 months ago
• DoHoonKim8 / stark-verifier
  ☆46Updated 8 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆59Updated 3 weeks ago
• argumentcomputer / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆59Updated 8 months ago
• arkworks-rs / sumcheck
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆55Updated last month
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated 11 months ago
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆71Updated 6 months ago
• recmo / goldilocks
  A library for fast NTTs over the Goldilocks prime field
  ☆74Updated last month
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆32Updated 11 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆63Updated 4 months ago
• vacp2p / zk-explorations
  ☆32Updated 7 months ago
• argumentcomputer / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆69Updated last week
• geometryxyz / zkhack-groth-puzzle
  https://geometryresearch.xyz/notebook/zkhack-groth-challenge
  ☆48Updated 2 years ago
• philsippl / circom-witness-rs
  ☆60Updated 8 months ago
• argumentcomputer / sphinx
  An observatory fork of SP1 (contact: @huitseeker)
  ☆49Updated this week
• yuliakot / multiplication_in_big_field
  ☆10Updated last year