Alternatives and similar repositories for zkoisc

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

• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• privacy-scaling-explorations / maze
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆62Updated 2 years ago
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆83Updated 4 months ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆50Updated 2 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 11 months ago
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆64Updated last year
• privacy-scaling-explorations / zkvm-ideas
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆36Updated 2 years ago
• iden3 / circom-witnesscalc
  ☆16Updated last week
• TritonVM / tasm-lang
  Writing tasm with Rust syntax
  ☆14Updated 3 months ago
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆39Updated last month
• chancehudson / ashlang
  ☆12Updated 10 months ago
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆49Updated 2 years ago
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆52Updated last year
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 3 years ago
• noir-lang / acvm-backend-barretenberg
  ☆41Updated last year
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆76Updated 2 years ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆59Updated 2 years ago
• w3f / fflonk
  ☆30Updated 4 months ago
• celestiaorg / hana
  Celestia derivation pipeline and proof crate built with kona
  ☆14Updated 2 weeks ago
• zcash / pasta
  Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo
  ☆57Updated 2 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• patrickbiel01 / Cairo_Verifier
  ☆36Updated 4 years ago
• adietrichs / kzg-sharding
  ☆19Updated 3 years ago
• philsippl / circom-witness-rs
  ☆60Updated last year
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated last year
• lurk-lab / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆18Updated 5 months ago
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆37Updated 2 years ago
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆55Updated 2 months ago