zk_prover

Learn to think like an attacker and defend like an auditor. This course provides a systematic approach to smart contract security, covering the full taxonomy of vulnerabilities from reentrancy and flash loan attacks to subtle logic bugs and oracle manipulation. You'll practice with real-world exploit case studies, learn formal verification with Certora, and participate in a live audit workshop using production contracts.

Design governance systems that actually work. This course covers the complete landscape of DAO governance — from token-weighted voting and quadratic voting to delegation, timelock controllers, and treasury management. You'll analyze the governance failures and successes of major DAOs, implement a full governance stack using OpenZeppelin Governor, and design mechanisms that resist plutocracy and voter apathy.