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.
☆19Updated 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
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- ☆28Updated 9 months ago
- ☆15Updated 5 months ago
- Cross-Contract Reentrancy Demo☆26Updated 3 years ago
- MEV Olympics☆45Updated 3 months ago
- ☆80Updated last month
- reproduce kyber-elastic exploit☆72Updated last year
- ☆58Updated last year
- Challenges and Solutions of Blaz CTF 2023☆44Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- List of Halmos resources.☆53Updated last month
- ☆40Updated 2 years ago
- To learn fork testing & on-chain broadcast☆28Updated last year
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated last year
- A document designed to explain fault proof from multiple perspectives, aimed at quickly bringing newcomers up to speed on the mechanisms …☆32Updated 6 months ago
- PoC of KyberSwap double liquidity add exploit☆42Updated last year
- Solidity static analyzer☆83Updated last year
- Foundry + Yul template☆95Updated last year
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆66Updated 9 months ago
- A curated list of awesome ton security resources☆30Updated 3 months ago
- Repository containing past audit reports☆53Updated last year
- Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.☆31Updated last month
- EVM contract size analyzer☆17Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- simple zk implementations in python☆24Updated 10 months ago
- The most gas optimized ERC-4337 account - written in Huff☆43Updated last year
- ☆43Updated 11 months ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆67Updated 3 months ago