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
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
Future Monitors in Optimistic RollupsMay 2026 — Margarita Capretto, Martin Ceresa, Cesar SanchezFMBC '26#formalmethods#layer-two#rollups
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
Succinctly Verifiable Computation over Additively-Homomorphically Encrypted Data: Making Privacy-Preserving Blueprints PracticalMay 2026 — Scott Griffy, Markulf Kohlweiss, Anna Lysyanskaya, Meghna SenguptaPKC '26#privacy-preserving#zkproofs
UC4Free! Existing Threshold Signatures are UC SecureMay 2026 — Jan Bobolz, Elizabeth Crites, Markulf Kohlweiss, Akira TakahashiEurocrypt '26#cryptography#threshold signatures#universal composition
