kobigurk / zkhack-bls-pedersen

Related projects: ⓘ

• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆40Updated last week
• zkemail / halo2-regex
  Library and gadget to do regex string matches in halo2
  ☆35Updated last month
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆46Updated last year
• DelphinusLab / zkWasm-host-circuits
  ☆22Updated 2 weeks ago
• vacekj / air-fried-gyatt
  Breathe air
  ☆21Updated 4 months ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆27Updated last year
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆48Updated this week
• DanTehrani / storyform
  ☆18Updated last year
• ethereum-optimism / axos
  Portable no-std Derivation Pipeline engineered in pure Rust
  ☆26Updated 9 months ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆47Updated last year
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆16Updated last year
• privacy-scaling-explorations / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆42Updated last year
• Lev-Stambler / bulletproof-cairo
  ☆39Updated last year
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated 2 weeks ago
• DoHoonKim8 / stark-verifier
  ☆44Updated 6 months ago
• lambdaclass / lambdaworks_exercises
  Contains several examples and challenges to use Lambdaworks
  ☆15Updated last year
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• axiom-crypto / axiom-apps
  ☆33Updated last year
• NilFoundation / zkllvm-template
  Template repository for zkLLVM-based projects
  ☆19Updated 6 months ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆36Updated last year
• lyronctk / zijkstra
  Proving shortest paths with recursive SNARKs
  ☆12Updated last year
• recmo / binius
  ☆19Updated this week
• ingonyama-zk / super-sumcheck
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆34Updated 5 months ago
• summa-dev / circuits-circom
  Circuits, written in circom, for Proof Of Solvency
  ☆26Updated last year
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated last year
• iamsahu / awesome-circom
  A curated list of awesome resources for learning and programming with Circom
  ☆23Updated last year
• IrreducibleOSS / binius
  A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
  ☆39Updated this week
• anton-rs / cannon-rs
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆57Updated last month
• arnaucube / nova-study
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆43Updated last year