source-code-scam-paper / source-scam-all-in-one
This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.
☆20Updated last year
Alternatives and similar repositories for source-scam-all-in-one
Users that are interested in source-scam-all-in-one are comparing it to the libraries listed below
Sorting:
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- ☆16Updated 7 months ago
- PoC of KyberSwap double liquidity add exploit☆43Updated last year
- Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.☆41Updated 3 months ago
- Zero-Knowledge University☆33Updated 9 months ago
- Challenges and Solutions of Blaz CTF 2023☆44Updated last year
- MEV Olympics☆45Updated 5 months ago
- ☆81Updated 3 months ago
- List of Halmos resources.☆54Updated 3 months ago
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆67Updated 11 months ago
- This code accompanies the invariant testing tutorial on our website.☆20Updated last year
- ☆28Updated 11 months ago
- Solidity static analyzer☆82Updated last year
- ☆40Updated 2 years ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- ☆111Updated last month
- Repository containing past audit reports☆54Updated last year
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 4 years ago
- Cross-Contract Reentrancy Demo☆26Updated 3 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- Foundry + Yul template☆96Updated last year
- ☆58Updated last year
- Generating Inputs for OZ's MultiProof and SingleProof☆37Updated 5 months ago
- Identify flashloan bots in multiple chains☆34Updated 2 years ago
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆82Updated last year
- An EVM decompiler written in Rust.☆46Updated 2 years ago
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- ☆87Updated 2 months ago
- ☆54Updated last year