Alternatives and similar repositories for ignition-verification:

Users that are interested in ignition-verification are comparing it to the libraries listed below

• AztecProtocol / Oliver
  Huff implementation of the BabyJubJub curve
  ☆13Updated 5 years ago
• adietrichs / kzg-sharding
  ☆19Updated 2 years ago
• thehubbleproject / contracts
  Smart contracts for OPRHub protocol ✌🏻
  ☆12Updated 4 years ago
• 0xPolygonZero / r1cs-workshop
  Notes for the R1CS programming workshop at ZK0x04
  ☆30Updated 5 years ago
• cowprotocol / cow-amm
  An automated market maker running on top of CoW Protocol
  ☆17Updated 5 months ago
• rainbreak / crop
  ☆13Updated 4 years ago
• 0xProject / VDF
  A Solidity implementation of a VDF verifier contract
  ☆16Updated last year
• ChainSafe / das-prototype
  Research prototypes of Data Availability Sampling for Ethereum (WIP)
  ☆16Updated 2 years ago
• privacy-scaling-explorations / rln
  ☆18Updated 2 years ago
• protolambda / macula
  Experimental python optimistic rollup fraud-proof generation
  ☆29Updated 2 years ago
• noir-lang / noirup
  Installation tooling for Noir
  ☆25Updated 3 weeks ago
• kilic / rln
  ☆30Updated 2 years ago
• noir-lang / book
  ☆15Updated last year
• protolambda / rollup-node-experiments
  rollup node experiments
  ☆15Updated 3 years ago
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆30Updated 2 years ago
• kobigurk / darkforeset-planet-finder
  ☆10Updated 4 years ago
• Sovereign-Labs / Jupiter
  A research-only integration of Sovereign with Celestia
  ☆20Updated last year
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆28Updated last year
• protolambda / zcli
  Eth2 CLI debugging tool
  ☆37Updated last month
• roynalnaruto / range_proof
  PoC implementation of polynomial commitment scheme based Range Proofs
  ☆12Updated last year
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• kevinz917 / zksnarks-library
  Library of zkSNARKS circuits written in the Circom language.
  ☆50Updated 3 years ago
• Rari-Capital / optimistic-wrapped-withdraws
  🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁
  ☆17Updated 3 years ago
• vincenthuang75025 / zkxzk
  Demo of optimal Ate pairing implemented inside a zk-snark
  ☆12Updated 2 years ago
• arnaucube / go-bellman-verifier
  Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing
  ☆13Updated 4 years ago
• ralexstokes / deposit-verifier
  A smart contract to enhance the user experience of the `eth2` deposit contract.
  ☆23Updated 7 months ago
• omni / trustless-bridge-demo
  ☆21Updated 2 years ago
• shresthagrawal / poc-superlight-client
  POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games
  ☆38Updated last year
• umbracle / geth-data-layer
  Go library to access the blockchain state of Go-ethereum
  ☆16Updated 2 years ago
• transmissions11 / muldiv-battle
  Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.
  ☆18Updated 3 years ago