risc0 / battleship-example

Related projects ⓘ

Alternatives and complementary repositories for battleship-example

• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆21Updated last year
• entropyxyz / synedrion
  Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme
  ☆63Updated this week
• argumentcomputer / sphinx
  An observatory fork of SP1 (contact: @huitseeker)
  ☆48Updated this week
• privacy-scaling-explorations / zk-eigentrust
  EigenTrust - A distributed reputation system
  ☆109Updated 11 months ago
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆37Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆50Updated this week
• risc0 / risc0-rust-examples
  These RISC Zero examples have been moved to the main risc0/risc0 repository
  ☆55Updated last year
• ritave / snap-passwordManager
  An example Metamask Snap that manages user passwords
  ☆33Updated last year
• emmaguo13 / zk-blind
  JWT verification with zero knowledge proofs
  ☆45Updated 11 months ago
• pnyda / zkjson
  JSON parser written in Lurk
  ☆29Updated last year
• gausslabs / phantom-zone
  ☆86Updated last week
• fabrizio-m / TyPLONK
  Rust PLONK implementation
  ☆38Updated 2 months ago
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 2 years ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆39Updated last week
• zkp-gravity / 0g
  ☆40Updated last year
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 2 months ago
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆25Updated 2 months ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆59Updated last year
• bmorphism / risc0-cosmwasm-example
  CosmWasm + zkVM RISC-V EFI template
  ☆21Updated 2 years ago
• zkwebauthn / webauthn-halo2
  ☆94Updated 11 months ago
• ChorusOne / tendermint-sol
  Tendermint in Solidity
  ☆60Updated 2 years ago
• plume-sig / zk-nullifier-sig
  Implementation of PLUME: nullifier friendly signature scheme on ECDSA
  ☆134Updated last week
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆41Updated 11 months ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆71Updated 2 years ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆63Updated 4 months ago
• outsider-analytics / ZK-Circuit-Performance-and-Security-Data
  To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …
  ☆60Updated last year
• patrickbiel01 / Cairo_Verifier
  ☆36Updated 3 years ago
• risc0 / risc0-foundry-template
  Template for integrating RISC Zero and Ethereum using Foundry
  ☆103Updated 2 weeks ago