Cardano 17 May 2026
Cardano at the Open Source Summit
The Cardano Foundation is at the Linux Foundation's Open Source Summit this week to show how Cardano operates as an open-source project. Quietly, that's the whole point.
Cardano
3 posts in this category
All Posts
Cardano Cardano Community Cardano Governance Cardano Updates Development Interesting Links Midnight Midnight Updates Musings Site Announcements
Cardano 13 May 2026
Daedalus 11.0.0
Daedalus 11.0.0 is out with Van Rossem (PV11) hard fork support. If you manage your ADAvault delegation in Daedalus, update before the fork.
Cardano 13 May 2026
Formal verification, push-button
IOG has released open-source Lean 4 tooling that formally verifies Cardano smart contracts and finds exploits on its own — it caught a double-satisfaction bug in a public CTF contract.