Alternatives and similar repositories for battleship-example:

Users that are interested in battleship-example are comparing it to the libraries listed below

• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆22Updated last year
• risc0 / risc0-rust-examples
  These RISC Zero examples have been moved to the main risc0/risc0 repository
  ☆55Updated 2 years ago
• pnyda / zkjson
  JSON parser written in Lurk
  ☆29Updated last year
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆49Updated last year
• emmaguo13 / zk-blind
  JWT verification with zero knowledge proofs
  ☆49Updated last year
• vezenovm / mastermind-noir
  ☆32Updated 2 years ago
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆39Updated last year
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆34Updated 3 weeks ago
• kobigurk / stardrop
  Anonymous rewards on StarkNet
  ☆35Updated 3 years ago
• paulmillr / micro-zk-proofs
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆47Updated 2 weeks ago
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆41Updated 4 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 10 months ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• guberti / witness-encryption-demos
  World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.
  ☆33Updated 3 years ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆48Updated 2 weeks ago
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 6 months ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆83Updated 2 months ago
• spartucus / nistp256-cairo
  A Cairo implementation of NIST P-256 (aka Secp256r1).
  ☆34Updated 3 years ago
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆72Updated 3 months ago
• entropyxyz / synedrion
  Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme
  ☆75Updated last week
• NebraZKP / upa
  UPA is the proof aggregation engine built by NEBRA team.
  ☆30Updated 2 weeks ago
• lita-xyz / valida-releases
  Public releases for the Valida toolchain
  ☆19Updated 2 months ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆68Updated 2 months ago
• noir-lang / noirup
  Installation tooling for Noir
  ☆25Updated 2 months ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆59Updated last year
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆28Updated 2 months ago
• massalabs / riscairo
  RISC-V ELF interpreter in cairo
  ☆36Updated 6 months ago
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆39Updated last year