risc0 / battleship-example
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
- Noir implementation of RSA-verify☆42Updated last year
- RISC-V ELF interpreter in cairo☆35Updated 3 months ago
- A port of TinySMPC into Rust.☆22Updated last year
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆70Updated this week
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆38Updated last year
- An observatory fork of SP1☆52Updated this week
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆66Updated this week
- JSON parser written in Lurk☆29Updated last year
- Cross-zk-rollup aggregation☆59Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆39Updated last week
- JWT verification with zero knowledge proofs☆48Updated last year
- ☆32Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 11 months ago
- ☆3Updated last year
- A collection of ZK light client libraries for various blockchains☆46Updated last month
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated last year
- An example Metamask Snap that manages user passwords☆33Updated last year
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆55Updated last year
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆57Updated this week
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆69Updated this week
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆95Updated 3 weeks ago
- A toy Cairo VM implementation in Rust™☆72Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Installation tooling for Noir☆24Updated 6 months ago
- EigenTrust - A distributed reputation system☆110Updated last year
- ☆109Updated 3 weeks ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆52Updated last year