Alternatives and similar repositories for battleship-example:

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

• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆65Updated last week
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• pnyda / zkjson
  JSON parser written in Lurk
  ☆29Updated last year
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆81Updated this week
• entropyxyz / synedrion
  Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme
  ☆69Updated this week
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆67Updated 7 months ago
• bmorphism / risc0-cosmwasm-example
  CosmWasm + zkVM RISC-V EFI template
  ☆22Updated 2 years ago
• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆22Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆48Updated 2 months ago
• guberti / witness-encryption-demos
  World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.
  ☆32Updated 3 years ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆53Updated last year
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆59Updated 2 years ago
• emmaguo13 / zk-blind
  JWT verification with zero knowledge proofs
  ☆48Updated last year
• NebraZKP / upa
  UPA is the proof aggregation engine built by NEBRA team.
  ☆30Updated last month
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆50Updated 3 weeks ago
• risc0 / bonsai-starter-template
  ☆3Updated last year
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆47Updated 2 months ago
• privacy-scaling-explorations / zk-eigentrust
  EigenTrust - A distributed reputation system
  ☆111Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated last year
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆30Updated last year
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆58Updated last year
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆31Updated this week
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 2 years ago
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆120Updated last year
• privacy-scaling-explorations / maze
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆62Updated last year
• Sovereign-Labs / sov-rollup-starter
  ☆17Updated 7 months ago
• kobigurk / stardrop
  Anonymous rewards on StarkNet
  ☆35Updated 3 years ago
• arkworks-rs / nimue
  Fiat-Shamir for the masses.
  ☆52Updated 2 weeks ago
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆27Updated 2 weeks ago