Always secure and safer than ever, thanks to next-level smart contract verification on CardanoOctober 14 2025
Preparing the Constitution for Dijkstra: upcoming parameter updatesJuly 10 2026 — Carlos Lopez de Lara
Introducing the CANS protocol: unlocking Bitcoin liquidity for Cardano DeFiJuly 07 2026 — Edmund Judge
A Decentralized Sequencer and Data Availability Committee for Rollups Using Set ConsensusJune 2026 — Margarita Capretto, Martin Ceresa, Antonio Fernandez Anta, Pedro Moreno-Sanchez, Cesar SanchezICBC '26#layer-two#rollups
Equilibrium: Preventing Arbitrage Attacks in Optimistic RollupsJune 2026 — Margarita Capretto, Martin Ceresa, Hannes Kallwies, Cesar SanchezICBC '26#AMM#layer-two#rollups
The Fuzzy Threshold Voting System for Cryptocurrency GovernanceJune 2026 — Lyudmila Kovalchuk, Rodinko, Mariia, Dmytro Kaidalov, Andrii Nastenko, Oleksiy Shevtsov, Prof Roman OliynykovJournal of Systems Science and Information#governance#voting
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 ShapiroAAMAS '26#governance#social-choice#sortition
