Loading...
Loading...
Auditing and securing smart contracts — finding vulnerabilities, formal verification, and best practices.
103
Builders
8
Courses
8
Hackathons
6
Events
72
Projects
UPCOMING
RECORDED
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.
Mathematically prove your smart contracts are correct — before they hold millions in value. This course teaches practical formal verification using tools like Certora, Halmos, and symbolic execution. You'll learn to write specifications, reason about invariants, and verify complex DeFi protocols. By the end, you'll be able to provide mathematical guarantees about contract behavior that no amount of testing alone can achieve.
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.
Mathematically prove your smart contracts are correct — before they hold millions in value. This course teaches practical formal verification using tools like Certora, Halmos, and symbolic execution. You'll learn to write specifications, reason about invariants, and verify complex DeFi protocols. By the end, you'll be able to provide mathematical guarantees about contract behavior that no amount of testing alone can achieve.
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.
Mathematically prove your smart contracts are correct — before they hold millions in value. This course teaches practical formal verification using tools like Certora, Halmos, and symbolic execution. You'll learn to write specifications, reason about invariants, and verify complex DeFi protocols. By the end, you'll be able to provide mathematical guarantees about contract behavior that no amount of testing alone can achieve.
UPCOMING
The inaugural ETH Tbilisi hackathon. 7 weeks of building real products on Ethereum.
Building privacy and security tools for the Ethereum ecosystem.
Find bugs, earn bounties, and make Ethereum safer.
Research and build solutions for MEV detection, mitigation, and fair ordering on Ethereum.
PAST
UPCOMING
Comprehensive workshop on NFT standards and their evolving use cases. We'll go beyond basic ERC-721 to explore ERC-6551 token-bound accounts, dynamic metadata, and on-chain generative art. Participants will build and deploy an advanced NFT collection with custom rendering logic. Perfect for artists and developers interested in the creative side of Ethereum.
Career and ecosystem panel discussion: 'Making a Living in Web3.' Hear from full-time protocol developers, grant recipients, freelance auditors, and DAO contributors about their career paths in Ethereum. We'll cover salary expectations, remote work dynamics, grant application tips, and how to build a reputation in the ecosystem. Q&A and networking session follows.
Hands-on hackathon prep session and team formation event. If you're planning to participate in upcoming hackathons, this is where you find teammates, refine ideas, and get mentorship from experienced hackathon winners. We'll cover hackathon strategy, rapid prototyping techniques, and how to build a compelling demo in 48 hours.
Ethereum client diversity workshop and validator setup guide. Learn about Ethereum's consensus and execution clients, why client diversity matters for network health, and set up your own validator on testnet. We'll cover the hardware requirements, staking economics, and operational best practices for running a reliable validator. Hands-on support available throughout.
PAST
Deep dive into MEV (Maximal Extractable Value), how it affects users, and the Flashbots ecosystem. We covered sandwich attacks, frontrunning, and strategies for MEV protection.
★ PASTMaster smart contract testing using Foundry. We covered unit tests, fuzz testing, invariant testing, and best practices for ensuring contract security through comprehensive testing.
9 courses · 6 projects
13 courses · 6 projects
11 courses · 9 projects
11 courses · 6 projects
9 courses · 6 projects
10 courses · 12 projects
13 courses · 4 projects
8 courses · 11 projects
7 courses · 9 projects
12 courses · 6 projects
8 courses · 4 projects
9 courses · 3 projects
8 courses · 5 projects
9 courses · 5 projects
9 courses · 7 projects
11 courses · 9 projects
12 courses · 11 projects
10 courses · 3 projects
10 courses · 7 projects
8 courses · 5 projects