risc0 / battleship-exampleLinks
A battleship game using ZKPs
☆43Updated last year
Alternatives and similar repositories for battleship-example
Users that are interested in battleship-example are comparing it to the libraries listed below
Sorting:
- EigenTrust - A distributed reputation system☆113Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated 2 years ago
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆56Updated 2 years ago
- 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
- An implementation of a namespaced merkle tree in Rust.☆31Updated 4 months ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 3 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Updated 3 years ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆83Updated 2 years ago
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆56Updated last month
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆81Updated last month
- A port of TinySMPC into Rust.☆22Updated last week
- Email verification circuit in halo2☆68Updated last year
- ☆40Updated 6 months ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 3 years ago
- ☆32Updated 3 years ago
- ☆22Updated 3 months ago
- ☆45Updated 5 months ago
- Library of zkSNARKS circuits written in the Circom language.☆50Updated 3 years ago
- CosmWasm + zkVM RISC-V EFI template☆23Updated 3 years ago
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆142Updated last week
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60Updated 2 years ago
- Tendermint in Solidity☆61Updated 3 years ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- In-EVM Mina State Verification☆82Updated last year
- An observatory fork of SP1☆75Updated 8 months ago
- ☆42Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆77Updated 9 months ago
- examples and utilities of Dstack applications☆18Updated this week