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
Related projects ⓘ
Alternatives and complementary repositories for source-scam-all-in-one
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- ☆76Updated 2 weeks ago
- Challenges and Solutions of Blaz CTF 2023☆40Updated 11 months ago
- ☆39Updated last year
- MEV Olympics☆44Updated 2 years ago
- ☆28Updated 5 months ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆14Updated last year
- Zero-Knowledge University☆31Updated 3 months ago
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆75Updated last year
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- ☆39Updated 6 months ago
- List of Halmos resources.☆48Updated last month
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Solidity static analyzer☆82Updated 11 months ago
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆34Updated last year
- ☆22Updated 2 weeks ago
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆50Updated 7 months ago
- ☆58Updated 9 months ago
- Simple Rust script for finding colliding 4byte function selectors☆58Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Reproduce ZKP vulnerabilities☆43Updated last month
- A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.☆38Updated last year
- ☆24Updated last year
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆63Updated 5 months ago
- An EVM decompiler written in Rust.☆45Updated last year
- To learn fork testing & on-chain broadcast☆26Updated last year
- ☆11Updated last month
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- simple zk implementations in python☆19Updated 6 months ago