Guy1m0 / ZKML-BenchmarkLinks
☆25Updated last year
Alternatives and similar repositories for ZKML-Benchmark
Users that are interested in ZKML-Benchmark are comparing it to the libraries listed below
Sorting:
- ☆24Updated 11 months ago
- Blockchain Challenges Collection(WIP)☆57Updated 2 years ago
- ☆82Updated 2 weeks ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆82Updated 2 years ago
- ☆20Updated 2 years ago
- ☆59Updated 3 years ago
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆50Updated 2 years ago
- ☆62Updated 2 years ago
- Ethereum VM fuzzer☆59Updated 4 years ago
- shw's CTF challenges☆27Updated 4 years ago
- Xscope: Hunting for Cross-Chain Bridge Attacks☆15Updated 2 years ago
- Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts☆18Updated last year
- Libra zero knowledge proof system☆52Updated 2 years ago
- zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA☆44Updated last year
- ☆81Updated 7 months ago
- Indexing three datasets for GPTScan☆60Updated last year
- ZK Circuit Fuzzer☆21Updated last week
- A symbolic execution engine for EVM smart contract binaries.☆110Updated 3 months ago
- SolidCTF is an infrastructure solution that simplifies the build of Solidity CTF challenges.☆147Updated last year
- Efficient and Interactive Zero-Knowledge Proofs☆96Updated last year
- ☆30Updated 4 months ago
- SysX☆22Updated last year
- Presentations by rkm0959☆26Updated last year
- A month-long zkp study group, one topic at a time.☆161Updated this week
- This repository is dedicated to the smart contract auditing using our FTSmartAudit tool☆19Updated 3 months ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆68Updated 2 years ago
- ☆46Updated last year
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆17Updated 2 years ago
- halo2-step-by-step☆26Updated last year
- SMT 2023 Submission; license pending☆56Updated 8 months ago