#
Lists (16)
Starred repositories
A month-long zkp study group, one topic at a time.
List of awesome blogs and podcasts about web3 security and more
A curated list of Cosmos ecosystem links, focusing on the security aspect of it
Tornado Cash as a foundry project, using latest versions of tools such as Circom, snarkJS, etc.
A detailed write-up of a solo critical vulnerability discovered during the Immunefi Attackathon, before the mainnet launch
Collection of past CTFs to play and practice locally.
Titanoboa-based vyper smart contract development framework
A curated list of awesome security resources for ZK.
Challenges for the ONLYPWNER CTF Platform
Vyper Internals Challenge in HITCON CTF 2024 Quals
A Solidity code search tool with built-in static analysis detection
Interactive formal verification tool for Yul programs
Paymaster contracts used in resue zkSync airdrop from exploited wallets.
POC of Certik hack on the Kracken exchange
DeFi Security Breaches: Comprehensive Root Cause Analysis
Collection of legal threats against good faith Security Researchers; vulnerability disclosure gone wrong. A continuation of work started by @attritionorg
A high-frequency trading and market-making backtesting and trading bot in Python and Rust, which accounts for limit orders, queue positions, and latencies, utilizing full tick data for trades and o…