Always secure and safer than ever, thanks to next-level smart contract verification on CardanoOctober 14 2025
Enhancing Plutus: making Cardano smart contracts cheaper, safer, and easier to buildMay 18 2026 — Ziyang Liu
Developer experience initiative: a six-month sprint to make Cardano easier to build onMay 18 2026 — Robertino Martinez
Cardano High Assurance: formal verification, available to every developerMay 15 2026 — Stefano Leone, Romain Soulat
Three Cardano capabilities, one delivery plan: what the Cardano upgrades proposal enablesMay 15 2026 — Michael Smolenski
Adaptively Secure Fast Settlement with Dynamic Participation and Self-HealingMay 2026 — Christian Badertscher, Sandro Coretti, Peter Gaži, Prof Aggelos Kiayias, Prof Alexander RussellTo appear in: SCN '26#settlement
Grassroots Federation: Fair Democratic Governance at ScaleMay 2026 — Nimrod Talmon, Ehud ShapiroTo appear in: AAMAS '26#governance#social-choice#sortition
Peregrine: a middle-end for code generation from proof assistantsMay 2026 — Eske Hoy Nielsen, Simon Dima, Lucas Escot, Orestis Melkonian, Hugo Segoufin-Cholet, James Chapman, Yannick Forster, Matthieu Sozeau, Bas SpittersTypes '26#agda#formalmethods
UC4Free! Existing Threshold Signatures are UC SecureMay 2026 — Jan Bobolz, Elizabeth Crites, Markulf Kohlweiss, Akira TakahashiEurocrypt '26#cryptography#threshold signatures#universal composition
Incentivizing Geographic Diversity for Decentralized SystemsMarch 2026 — Marc Roeschlin, Evangelos Markakis, Raghav Bhaskar, Prof Aggelos KiayiasFinancial Cryptography 2026#game-theory#incentives
On Sybil-proofness in Restaking NetworksMarch 2026 — Tarun Chitra, Paolo Penna, Manvir SchneiderDeFi '26#game-theory#sybilproofness
