risc0 / battleship-example

Related projects: ⓘ

• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆59Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆68Updated 11 months ago
• emmaguo13 / zk-blind
  JWT verification with zero knowledge proofs
  ☆43Updated 9 months ago
• entropyxyz / synedrion
  Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme
  ☆62Updated last week
• zkjargon / zkjargon.github.io
  A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
  ☆88Updated 2 weeks ago
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆37Updated last year
• personaelabs / shockwave-plus
  ☆72Updated 11 months ago
• risc0 / risc0-rust-examples
  These RISC Zero examples have been moved to the main risc0/risc0 repository
  ☆54Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• chokermaxx / zkjson
  JSON parser written in Lurk
  ☆29Updated last year
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆71Updated 2 years ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆23Updated 10 months ago
• privacy-scaling-explorations / zk-eigentrust
  EigenTrust - A distributed reputation system
  ☆109Updated 9 months ago
• argumentcomputer / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆67Updated last month
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆60Updated 6 months ago
• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆17Updated last year
• personaelabs / efficient-zk-ecdsa
  Lowering client-side proving cost for private ZK signatures in circom
  ☆106Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated 9 months ago
• demox-labs / webgpu-crypto
  ☆28Updated 9 months ago
• topology-foundation / rs-topology
  (currently not usable) The official Rust implementation of Topology Protocol
  ☆23Updated last month
• cryptonerdcn / wasm-cairo
  A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.
  ☆53Updated last month
• fabrizio-m / TyPLONK
  Rust PLONK implementation
  ☆37Updated 2 weeks ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆85Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆62Updated 2 months ago
• noir-lang / acvm
  ☆46Updated last year
• vocdoni / keccak256-circom
  keccak256 hash implementation in Circom
  ☆75Updated 2 years ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated last month
• patrickbiel01 / Cairo_Verifier
  ☆37Updated 3 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆49Updated last year
• iden3 / circuits
  Circom circuits used by the iden3 core protocol.
  ☆81Updated last month