Alternatives and similar repositories for ZKML-Benchmark

Users that are interested in ZKML-Benchmark are comparing it to the libraries listed below

• whbjzzwjxq / ZKAP
  ☆25Updated last year
• jvhs0706 / zkllm-ccs2024
  ☆83Updated 6 months ago
• tiktok-privacy-innovation / trustless-attestation-verification
  ☆62Updated 2 months ago
• Troublor / Nyx
  Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
  ☆21Updated last year
• timimm / awesome-zero-knowledge-proofs-security
  ☆35Updated last month
• Koukyosyumei / zkFuzz
  ZK Circuit Fuzzer (IEEE S&P'26)
  ☆36Updated 2 months ago
• Pr0pertyGPT / PropertyGPT
  ☆63Updated last year
• iczc / rwctf-3rd-billboard
  RealWorld CTF 3rd billboard challenge & writeup
  ☆27Updated 3 years ago
• chainflag / ctf-blockchain-challenges
  Blockchain Challenges Collection
  ☆59Updated 2 years ago
• eth-sri / zapper
  ☆21Updated 3 years ago
• cryptosubtlety / 00
  Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award
  ☆70Updated 2 years ago
• trailofbits / circomspect
  A static analyzer and linter for the Circom zero-knowledge DSL
  ☆260Updated last year
• snuspl / fluffy
  Ethereum VM fuzzer
  ☆63Updated 4 years ago
• TAMUCrypto / zkCNN
  A GKR-based zero-knowledge proof protocol for CNN model inference.
  ☆87Updated 2 years ago
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆131Updated 7 months ago
• z2o-k7e / halo2-step-by-step
  halo2-step-by-step
  ☆28Updated 2 years ago
• shw9453 / my-ctf-challenges
  shw's CTF challenges
  ☆27Updated 4 years ago
• ConsensusFuzz / LOKI
  A blockchain consensus protocol fuzzing framework
  ☆19Updated 2 years ago
• uiuc-kang-lab / zkml
  SysX
  ☆34Updated last year
• ucsb-seclab / greed
  A symbolic execution engine for EVM smart contract binaries.
  ☆118Updated last month
• chainflag / solidctf
  SolidCTF is an infrastructure solution that simplifies the build of Solidity CTF challenges.
  ☆155Updated 2 years ago
• fireblocks-labs / mpc-ecdsa-attacks-23
  ☆17Updated 2 years ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆45Updated last year
• OSUSecLab / TxSpector
  ☆63Updated 3 years ago
• SafeAILab / zkDL
  zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA
  ☆49Updated 2 years ago
• coset-io / zkp-academy
  A month-long zkp study group, one topic at a time.
  ☆183Updated 6 months ago
• wtdcode / verite
  Smart Contract Fuzzing Towards Profitable Vulnerabilities
  ☆59Updated 6 months ago
• zkFHE / FHE-in-TEE
  A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …
  ☆49Updated 3 years ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆57Updated last year
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago