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☆44Updated last month
- ☆28Updated 7 months ago
- ☆24Updated 2 months ago
- Cross-Contract Reentrancy Demo☆26Updated 2 years ago
- A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.☆38Updated last year
- ☆58Updated 11 months ago
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆78Updated last year
- To learn fork testing & on-chain broadcast☆27Updated last year
- Mutation testing tool for circom☆16Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Foundry + Yul template☆94Updated last year
- Challenges and Solutions of Blaz CTF 2023☆41Updated last year
- This code accompanies the invariant testing tutorial on our website.☆19Updated last year
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- Identify flashloan bots in multiple chains☆33Updated 2 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- List of Halmos resources.☆50Updated 3 months ago
- Solidity static analyzer☆82Updated last year
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- ☆79Updated 2 months ago
- ☆65Updated 2 years ago
- Database of public audits made by ABDK Consulting☆56Updated last month
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆82Updated last year
- An EVM decompiler written in Rust.☆45Updated 2 years ago
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆66Updated 7 months ago
- ☆76Updated 2 years ago
- Foundry template for the Optimizor Club SQRT challenge☆57Updated 2 years ago
- Eclectic notes on static analysis and compilers☆47Updated 2 years ago