Table of contents Introduction Installation & Building Quickstart Tutorials [Exp] Hacking BEGO [Exp] Hacking AES [CTF] Verilog CTF (Onchain) [CTF] Verilog CTF (Offchain) [Exp] Known Working Hacks Docs (EVM Contract) Constructor for Offchain Fuzzing Writing Invariants Detecting Common Vulns