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:
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆55Updated 2 years ago
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆77Updated 3 weeks ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Circom circuits used by the iden3 core protocol.☆89Updated last week
- ☆45Updated 2 months ago
- A port of TinySMPC into Rust.☆23Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Email verification circuit in halo2☆67Updated last year
- An observatory fork of SP1☆71Updated 5 months ago
- EigenTrust - A distributed reputation system☆112Updated last year
- This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Ze…☆84Updated 2 years ago
- Arkworks circuits for verifiable time-lock encryption☆89Updated 2 years ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆74Updated last year
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- Library of zkSNARKS circuits written in the Circom language.☆50Updated 3 years ago
- Verifiable RPC for Ethereum state, in-browser, no node☆45Updated 2 years ago
- An example Metamask Snap that manages user passwords☆32Updated 2 years ago
- A system for managing privacy-preserving groups.☆77Updated 3 months ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆52Updated 2 months ago
- A verifiable supercomputer☆73Updated 3 weeks ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 10 months ago
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆139Updated this week
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 3 years ago
- RISC-V interactive fault proof tech☆103Updated 2 months ago
- ☆72Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- Batch ECDSA in circom☆34Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- ☆32Updated 2 years ago