Machine-Checked Devcon Week (Lean 4 × Ethereum online hackathon)
Registration closed · Similar hackathons still open
- Dabao Open Hardware Hackathon$5k · Due 12-15
- Agents on Open Rails Hackathon (Celo)$5k · Due 11-09
- Total Recall: Walrus x Tatum Memory Hackathon$4.5k · Due 11-10
- MozFest Developers Wilding: Online (Mozilla.ai Otari Hackathon)$1.2k · Due 11-11
- NEAR HACKATHON 2026$250k · Due 11-14
- Code for a Billion Hackathon 2026Due 11-15
Not sure which to join? Get 1:1 help →
About this hackathon
An online hackathon during Devcon week, Nov 2–7, 2026, organized by Invisible Garden, a traveling academy for Ethereum developers. You claim real tasks from the leanp2p repo, implement pieces of Ethereum's networking layer in Lean 4 and prove properties of what you build, with every proof checked by Lean's kernel. Participation is free but curated (under ten contributors); apply by Nov 1. Code closes Nov 7, 23:59 UTC; a video explaining your work is due Nov 15. Prize pool $1,000 (Invisible Garden and EthPadThai, $500 each), with more being confirmed.
- Status
- Deadline
- 2026-11-01
- Starts
- 2026-11-02
- Who
- Open to all (Any level, but you should be comfortable writing code and curious about Lean or formal methods; curated cohort of under ten)
- Level
- Advanced
- Prize
- $1k · $1,000 pool (Invisible Garden and EthPadThai, $500 each), more being confirmed; may be reduced with fewer than 7 active participants
- Size
- —
- Format
- Online · International
- Location
- Mumbai (online; placed at organizer’s city)
Browse similarOnline hackathonsWeb3 & Blockchain hackathonsOpen Source hackathonsHackathons in November 2026
Original listing (Chinese)
The full original listing below is in Chinese, as published in the Hack123 newsletter.
一句话简介：以太坊开发者游学项目 Invisible Garden 在 Devcon 周办的线上黑客松，用 Lean 4 实现以太坊网络层的模块，并为自己写的代码写出由 Lean 内核检查的证明。
看点：任务都在 leanp2p 仓库的 issue 里，依赖的 issue 合并后才能认领；评论 claim 后 8 小时内要开 PR，否则释放；组织者 12 小时内审核；得分 = 代码质量 × 有证明覆盖的比例；免费参加，但需申请，录取不到 10 人，在 Discord 公布；要交最长 10 分钟的讲解视频，否则不评
奖金：奖池 1,000 美元，更多赞助确认中
截止日期：11 月 1 日申请截止（11 月 7 日 23:59 UTC 代码截止，即北京时间 11 月 8 日 7:59；11 月 15 日交视频）
活动日期：2026年11月2日—7日（全球线上），11月30日前公布结果
Summarized from the organizer’s page and public posts. Please confirm details on the official site before registering.