whbjzzwjxq / ZKAP
☆19Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for ZKAP
- Automated verification of uniqueness property for ZKP circuits☆70Updated 8 months ago
- Automated verification of uniqueness property for ZKP circuits☆41Updated 5 months ago
- SMT 2023 Submission; license pending☆52Updated this week
- Reproduce ZKP vulnerabilities☆43Updated last month
- ☆46Updated last year
- A curated list of awesome security resources for ZK.☆72Updated last week
- A Symbolic Execution Tool for Cairo☆49Updated 2 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆108Updated 2 years ago
- A symbolic execution engine for EVM smart contract binaries.☆75Updated 3 weeks ago
- ☆19Updated 3 weeks ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆64Updated last year
- Write-ups submitted by CTF participants☆35Updated last year
- A fast ethereum transaction fuzzer☆25Updated 5 years ago
- Benchmark Generator for Smart-Contract Fuzzers☆124Updated 4 months ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated last year
- Cuda implementation of EVM bytecode executor☆93Updated this week
- ☆58Updated last year
- Horus, a formal verification tool for StarkNet smart contracts.☆72Updated last year
- A static analyzer and linter for the Circom zero-knowledge DSL☆234Updated 5 months ago
- Solves systems of polynomial equations.☆29Updated last year
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆31Updated last year
- Benchmarks of popular zkVMs including Jolt☆57Updated 7 months ago
- MoonMath Manual notes, exercise solution and extra comments.☆25Updated 4 months ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆95Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆63Updated 5 months ago
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆46Updated last year
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆42Updated 2 weeks ago
- ☆85Updated 3 months ago
- ☆11Updated last month
- Precise Attack Synthesis for DeFi Apps☆46Updated 2 years ago