risc0 / risc0-rust-examples

Related projects: ⓘ

• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆71Updated 2 years ago
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated 9 months ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆40Updated last week
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆51Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆68Updated 11 months ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆23Updated 10 months ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆47Updated last year
• succinctlabs / plonky3
  ☆23Updated 5 months ago
• PopcornPaws / fde
  ☆27Updated 5 months ago
• clvv / rcc
  ☆24Updated 11 months ago
• meoawtistic / ruff
  ☆37Updated 2 years ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆76Updated this week
• fe-lang / sonatina
  ☆36Updated this week
• personaelabs / shockwave-plus
  ☆72Updated 11 months ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆48Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆89Updated last month
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆41Updated 9 months ago
• summa-dev / halo2-experiments
  For practice to using halo2
  ☆23Updated last year
• emmaguo13 / zk-blind
  JWT verification with zero knowledge proofs
  ☆43Updated 9 months ago
• rkdud007 / xxfunc
  Serverless function on Reth
  ☆65Updated 3 weeks ago
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆31Updated last year
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆46Updated last year
• privacy-scaling-explorations / maze
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆61Updated last year
• hashcloak / stoffelMPC
  ☆38Updated 9 months ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆78Updated 11 months ago
• recmo / goldilocks
  A library for fast NTTs over the Goldilocks prime field
  ☆71Updated 2 months ago
• alexander-camuto / rs-gkr
  ☆19Updated last year