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:
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆70Updated last year
- ☆31Updated last year
- PoC of KyberSwap double liquidity add exploit☆43Updated 2 years ago
- Zero-Knowledge University☆33Updated last year
- ☆87Updated this week
- Foundry + Yul template☆97Updated last year
- List of Halmos resources.☆57Updated 6 months ago
- To learn fork testing & on-chain broadcast☆28Updated last year
- Cross-Contract Reentrancy Demo☆26Updated 3 years ago
- reproduce kyber-elastic exploit☆77Updated last year
- This code accompanies the invariant testing tutorial on our website.☆20Updated 2 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆60Updated 4 years ago
- ☆16Updated 11 months ago
- Simple Rust script for finding colliding 4byte function selectors☆59Updated 2 years ago
- A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.☆40Updated 2 years ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆66Updated 8 months ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Updated last year
- DeFiVulnLabsCosmWasm☆50Updated 2 years ago
- Solidity static analyzer☆83Updated last year
- Challenges and Solutions of Blaz CTF 2023☆45Updated last year
- Identify flashloan bots in multiple chains☆34Updated 2 years ago
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…☆113Updated last week
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆52Updated last month
- ☆59Updated 2 years ago
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆37Updated 6 months ago
- Database of public audits made by ABDK Consulting☆82Updated 3 weeks ago
- MEV Olympics☆44Updated 9 months ago
- My solutions to https://ctf.paradigm.xyz/☆63Updated 2 years ago
- CTF Writeups☆36Updated last year