Alternatives and similar repositories for uZumaKi:

Users that are interested in uZumaKi are comparing it to the libraries listed below

• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆45Updated 4 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆42Updated last year
• nulltea / hyper-greco
  Verifiable FHE with GKR
  ☆25Updated 3 months ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆58Updated 9 months ago
• DoHoonKim8 / stark-verifier
  ☆48Updated 10 months ago
• ingonyama-zk / super-sumcheck
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆34Updated 2 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆46Updated last month
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆77Updated this week
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆71Updated 8 months ago
• manuj-mishra / zkdiffpriv
  Zero knowledge proofs of differential privacy mechanisms
  ☆22Updated last year
• developeruche / cryptography-n-zk-research
  A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…
  ☆29Updated last month
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆69Updated this week
• summa-dev / halo2-experiments
  For practice to using halo2
  ☆22Updated last year
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• dmpierre / nova-browser-ecdsa
  In-browser ECDSA aggregation using Nova over secp/secq
  ☆33Updated last year
• privacy-scaling-explorations / nova-ml
  ☆24Updated last year
• IrreducibleOSS / binius
  A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
  ☆77Updated this week
• philsippl / circom-witness-rs
  ☆60Updated 10 months ago
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 4 months ago
• recmo / goldilocks
  A library for fast NTTs over the Goldilocks prime field
  ☆75Updated 3 months ago
• vacp2p / zk-explorations
  ☆31Updated 9 months ago
• geometryxyz / protostar
  ☆48Updated last year
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆42Updated 5 months ago
• zkMIPS / zkm-project-template
  ZKM Development Template/Framework
  ☆23Updated last week
• kurtpan666 / awesome-circlestark
  A curated list of awesome things related to learning Circle STARK.
  ☆26Updated 3 months ago
• namnc / circom-2-arithc
  Circom interpreter to arithmetic circuit description
  ☆50Updated 4 months ago
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆31Updated last year
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆21Updated 4 months ago
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆60Updated 10 months ago
• compsec-epfl / space-efficient-sumcheck
  ☆31Updated 2 months ago