whbjzzwjxq / ZKAP
☆19Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for ZKAP
- Automated verification of uniqueness property for ZKP circuits☆41Updated 5 months ago
- Automated verification of uniqueness property for ZKP circuits☆70Updated 7 months ago
- SMT 2023 Submission; license pending☆52Updated last month
- Reproduce ZKP vulnerabilities☆43Updated 3 weeks ago
- A curated list of awesome security resources for ZK.☆64Updated 2 weeks ago
- ☆46Updated last year
- A symbolic execution engine for EVM smart contract binaries.☆75Updated 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
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆46Updated last year
- ☆19Updated 2 weeks ago
- Cuda implementation of EVM bytecode executor☆88Updated this week
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆51Updated 2 years ago
- ethpwn - the Swiss Army Knife for Smart Contract Hacking☆45Updated this week
- Precise Attack Synthesis for DeFi Apps☆46Updated 2 years ago
- Smart contract front-running vulnerability benchmark☆20Updated 11 months ago
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆33Updated last year
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆94Updated last year
- Write-ups submitted by CTF participants☆35Updated last year
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆64Updated last year
- ☆17Updated 3 weeks ago
- Horus, a formal verification tool for StarkNet smart contracts.☆72Updated last year
- StarkNet smart contract fuzzer☆76Updated 2 years ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated last year
- A fast ethereum transaction fuzzer☆25Updated 5 years ago
- Solves systems of polynomial equations.☆29Updated last year
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆34Updated last year
- MoonMath Manual notes, exercise solution and extra comments.☆25Updated 4 months ago
- ☆61Updated 2 years ago
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆31Updated last year