risc0 / battleship-exampleLinks
A battleship game using ZKPs
☆43Updated 2 years ago
Alternatives and similar repositories for battleship-example
Users that are interested in battleship-example are comparing it to the libraries listed below
Sorting:
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆56Updated 2 years ago
- EigenTrust - A distributed reputation system☆114Updated 2 years ago
- Cross-zk-rollup aggregation☆61Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Ze…☆85Updated 2 years ago
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆142Updated last week
- An implementation of a namespaced merkle tree in Rust.☆31Updated 6 months ago
- A toy Cairo VM implementation in Rust™☆73Updated 3 years ago
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆82Updated 2 months ago
- In-EVM Mina State Verification☆81Updated 2 years ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- An observatory fork of SP1☆75Updated 10 months ago
- Arkworks circuits for verifiable time-lock encryption☆90Updated 3 years ago
- ☆40Updated 2 years ago
- ☆41Updated 7 months ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 3 years ago
- Library of zkSNARKS circuits written in the Circom language.☆50Updated 4 years ago
- My journey learning zero knowledge proof technologies in public! Feedback, help and contributions very much welcome☆67Updated 4 years ago
- ☆46Updated 3 years ago
- Email verification circuit in halo2☆68Updated last year
- ☆32Updated 3 years ago
- Basic Noir private proof of membership☆90Updated 8 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆77Updated 10 months ago
- Starknet sequencer built with Tendermint Core☆52Updated 2 years ago
- ☆45Updated 7 months ago
- ☆22Updated 4 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆64Updated 7 months ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Updated 4 years ago
- Circom circuits used by the iden3 core protocol.☆92Updated 5 months ago