eth-sri / zapper

Related projects: ⓘ

• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆47Updated last year
• Xscope-Tool / Cross-Chain-Attacks
  Xscope: Hunting for Cross-Chain Bridge Attacks
  ☆12Updated 2 years ago
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆105Updated 6 months ago
• yi-sun / circom-pairing
  ☆188Updated 9 months ago
• Antalpha-Labs / zk-insights
  ☆39Updated this week
• eth-sri / zkay
  A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…
  ☆81Updated 8 months ago
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆60Updated 3 months ago
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆101Updated 2 years ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆69Updated 6 months ago
• rdi-berkeley / zkp-course-lecture3-code
  ☆58Updated last year
• didnet / Hades
  ☆9Updated last year
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆65Updated 6 months ago
• rdi-berkeley / zkp-mooc-lab
  ☆81Updated last year
• kupl / VeriSmart-benchmarks
  ☆60Updated 2 years ago
• RUB-SysSec / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆92Updated last year
• socathie / circomlib-ml
  Circom Circuits Library for Machine Learning
  ☆161Updated 3 months ago
• Electron-Labs / ed25519-circom
  ED25519 implementation in Circom
  ☆106Updated last year
• jeffchen006 / OpenTracer
  An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer
  ☆23Updated 3 weeks ago
• TAMUCrypto / zkCNN
  A GKR-based zero-knowledge proof protocol for CNN model inference.
  ☆69Updated last year
• jvhs0706 / zkllm-ccs2024
  ☆36Updated 2 weeks ago
• OSUSecLab / TxSpector
  ☆58Updated last year
• sunblaze-ucb / Virgo
  ☆54Updated 2 years ago
• montekki / thaler-study
  Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'
  ☆13Updated 2 weeks ago
• rozbb / zkcreds-rs
  ☆55Updated last year
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆109Updated 6 months ago
• ucsb-seclab / sailfish
  Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
  ☆50Updated 2 years ago
• sunblaze-ucb / Orion
  ☆23Updated 2 years ago
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆117Updated this week
• 0xZKML / zk-mnist
  Demo of ML for MNIST classification in a zero knowledge proof
  ☆115Updated last year
• dreamATD / pianist-gnark
  The implementation of Pianist (a distributed variant of Plonk) based on gnark.
  ☆28Updated last year