source-code-scam-paper / source-scam-all-in-oneLinks
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:
- MEV Olympics☆44Updated 6 months ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- Cross-Contract Reentrancy Demo☆26Updated 3 years ago
- Example of the whitehack for Curve exploit 30/07/23☆19Updated last year
- ☆31Updated 11 months ago
- ☆41Updated 2 years ago
- A minimal based rollup implementation that is easy to understand and extend☆38Updated this week
- Identify flashloan bots in multiple chains☆34Updated 2 years ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Updated last year
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆68Updated 11 months ago
- EVM contract size analyzer☆17Updated 2 years ago
- ☆58Updated last year
- ☆17Updated 8 months ago
- This code accompanies the invariant testing tutorial on our website.☆20Updated last year
- To learn fork testing & on-chain broadcast☆28Updated last year
- Generating Inputs for OZ's MultiProof and SingleProof☆38Updated 6 months ago
- Solidity static analyzer☆82Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- reproduce kyber-elastic exploit☆73Updated last year
- A Proxy contract incorporating a Reentrancy Guard☆28Updated 2 years ago
- ☆37Updated 11 months ago
- Challenges and Solutions of Blaz CTF 2023☆44Updated last year
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated 2 years ago
- PoC of KyberSwap double liquidity add exploit☆43Updated last year
- An EVM decompiler written in Rust.☆46Updated 2 years ago
- List of Halmos resources.☆54Updated 3 months ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 4 years ago
- ☆81Updated 4 months ago
- ☆86Updated 2 months ago
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆57Updated 9 months ago