Alternatives and similar repositories for fraudproofs-prototype

Users that are interested in fraudproofs-prototype are comparing it to the libraries listed below

• Sovereign-Labs / Jupiter
  A research-only integration of Sovereign with Celestia
  ☆20Updated 2 years ago
• AztecProtocol / Oliver
  Huff implementation of the BabyJubJub curve
  ☆13Updated 5 years ago
• ZenGo-X / zengo-will
  ☆15Updated 4 years ago
• barryWhiteHat / zkvm
  a sketch of what a zkvm could look like
  ☆26Updated 4 years ago
• celestiaorg / celestia-node-client-rs
  🦀 celestia-node REST client in Rust.
  ☆18Updated 2 years ago
• privacy-scaling-explorations / rln
  ☆18Updated 2 years ago
• trepca / multi-party-ecdsa
  Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).
  ☆10Updated 6 years ago
• ethresearch / Shuffle_SSLE
  ☆15Updated 4 years ago
• thehubbleproject / contracts
  Smart contracts for OPRHub protocol ✌🏻
  ☆13Updated 4 years ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated 2 years ago
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• celestiaorg / hana
  Celestia derivation pipeline and proof crate built with kona
  ☆14Updated last month
• Rate-Limiting-Nullifier / rln-contract
  Foundry project for the RLN
  ☆17Updated last year
• 0xPolygonZero / r1cs-workshop
  Notes for the R1CS programming workshop at ZK0x04
  ☆31Updated 5 years ago
• decanus / go-rln
  RLN wrappers and implementation in Go
  ☆11Updated 3 years ago
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• kariy / starkmint
  ☆13Updated 2 years ago
• AztecProtocol / plonk-with-lookups
  ☆18Updated 5 years ago
• nalinbhardwaj / eddy255
  Eddy255 elliptic curve parameters and implementation (embedding Ed25519)
  ☆11Updated 2 years ago
• matter-labs / pairing
  Pairing-friendly elliptic curve library
  ☆24Updated 10 months ago
• celestiaorg / celestia-zkevm-ibc-demo
  ☆19Updated 3 weeks ago
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆28Updated last year
• arnaucube / go-bellman-verifier
  Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing
  ☆13Updated 5 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• adietrichs / kzg-sharding
  ☆19Updated 2 years ago
• EspressoSystems / op-leader-election
  Leader election support in Optimism. Optimism is Ethereum, scaled.
  ☆10Updated 10 months ago
• scrtlabs / SecretStablePools
  A Curve-like AMM for Secret Network
  ☆16Updated 3 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated last year
• protolambda / macula
  Experimental python optimistic rollup fraud-proof generation
  ☆29Updated 2 years ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated 2 weeks ago