Alternatives and similar repositories for zkjson

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

• paulmillr / micro-zk-proofs
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆53Updated last week
• privacy-scaling-explorations / Trinity
  Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…
  ☆24Updated 2 weeks ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• halo2-ce / halo2
  ☆30Updated 2 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• ligeroinc / ligero-prover
  ☆46Updated 2 months ago
• bmorphism / risc0-cosmwasm-example
  CosmWasm + zkVM RISC-V EFI template
  ☆23Updated 2 years ago
• caulk-crypto / caulk
  ☆112Updated last year
• emmaguo13 / zk-blind
  JWT verification with zero knowledge proofs
  ☆50Updated last year
• geometryxyz / wgsl-poseidon
  ☆33Updated last year
• cursive-team / stuff-with-signatures
  Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures
  ☆27Updated last year
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆72Updated 2 months ago
• HerodotusDev / accumulators
  ☆11Updated last year
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆39Updated 2 years ago
• cursive-team / 2P-PSI
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆17Updated last year
• kilic / tetris
  ☆13Updated 10 months ago
• privacy-scaling-explorations / maze
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆62Updated 2 years ago
• cursive-team / babyjubjub-ecdsa
  Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures
  ☆21Updated 9 months ago
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆42Updated last week
• yetanotherco / zkRust
  ☆42Updated 10 months ago
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆73Updated last month
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆85Updated 5 months ago
• privacy-scaling-explorations / zkvm-ideas
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆36Updated 2 years ago
• privacy-scaling-explorations / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Updated 2 years ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆73Updated 6 months ago
• Dhole / polyexen
  Polynomial Expression Engine
  ☆35Updated last year
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆52Updated last year
• TaceoLabs / noir-poseidon
  ☆16Updated 3 weeks ago
• semaphore-protocol / semaphore-rs
  Semaphore v4 implemented in Rust
  ☆10Updated last month
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated last year