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
- MEV Olympics☆45Updated 2 months ago
- Cross-Contract Reentrancy Demo☆26Updated 2 years ago
- ☆28Updated 8 months ago
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆78Updated last year
- An EVM decompiler written in Rust.☆45Updated 2 years ago
- Challenges and Solutions of Blaz CTF 2023☆41Updated last year
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Solidity static analyzer☆83Updated last year
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆14Updated last year
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- reproduce kyber-elastic exploit☆71Updated last year
- ☆40Updated 2 years ago
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆49Updated last year
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated last year
- ☆58Updated last year
- EVM contract size analyzer☆17Updated last year
- ☆65Updated 2 years ago
- ☆80Updated 2 weeks ago
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆66Updated 8 months ago
- Foundry + Yul template☆94Updated last year
- Example of the whitehack for Curve exploit 30/07/23☆19Updated last year
- ☆26Updated 3 months ago
- Formally verifying consistency between Solmate and Solady using Halmos☆53Updated 6 months ago
- Beacon Chain from scratch☆44Updated 2 years ago
- List of Halmos resources.☆53Updated last week
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆56Updated 5 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago