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
• adietrichs / kzg-sharding
  ☆19Updated 3 years ago
• dknopik / towers-of-pau
  ETHPrague
  ☆31Updated 2 years ago
• celestiaorg / celestia-zkevm-ibc-demo
  ☆22Updated 2 months ago
• abdk-consulting / abdk-libraries-circom
  Open-Source Libraries for Circom by ABDK Consulting
  ☆19Updated 5 years ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated last year
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆39Updated 6 years ago
• iden3 / circom-witnesscalc
  ☆18Updated this week
• ChorusOne / tendermint-sol
  Tendermint in Solidity
  ☆61Updated 3 years ago
• privacy-ethereum / zkvm-ideas
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆36Updated 2 years ago
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆42Updated last year
• noir-lang / noirup
  Installation tooling for Noir
  ☆30Updated 4 months ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• DelphinusLab / zkWasm-prover
  ☆20Updated 3 months ago
• liamzebedee / tendermint-rs
  A minimal reimplementation of Tendermint in Rust
  ☆25Updated 4 months ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆50Updated 2 years 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…
  ☆38Updated 2 years ago
• kilic / rln
  ☆30Updated 3 years ago
• patrickbiel01 / Cairo_Verifier
  ☆36Updated 4 years ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• protolambda / macula
  Experimental python optimistic rollup fraud-proof generation
  ☆29Updated 3 years ago
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆27Updated 2 years ago
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆82Updated last year
• khovratovich / Kate
  ☆27Updated 2 years ago
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated 2 years ago
• privacy-ethereum / maze
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆62Updated 2 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• arnaucube / go-bellman-verifier
  Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing
  ☆13Updated 5 years ago
• nikkolasg / halo2-circuits
  ☆28Updated 3 years ago
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 3 years ago