The 6th Workshop on
Coordination of Decentralized Finance
(CoDecFin) 2025
In Association with Financial Cryptography 2025
April 18, 2025
Hotel Shigira Mirage
Miyakojima, Japan
Program
Location: Convention Hall A
9:00 - 9:10 Opening
9:10 - 10:30 Session 1: Protocol design
- 9:10 - 9:30
Optimizing Liveness for Blockchain-Based Sealed-Bid Auctions in Rational Settings
Maozhou Huang, Xiangyu Su, Mario Larangeira and Keisuke Tanaka - 9:30 - 9:50
Intmax2: A ZK-rollup with Minimal Onchain Data and Computation Costs Featuring Decentralized Aggregators
Erik Rybakken, Leona Hioki, Mario Yaksetig, Denisa Diaconescu, František Silváši and Julian Sutherland - 9:50 - 10:10
Hybrid Stabilization Protocol for Cross-Chain Digital Assets Using Adaptor Signatures and AI-Driven Arbitrage
Shengwei You, Andrey Kuehlkamp and Jarek Nabrzyski - 10:10 - 10:30
Rayls: A Novel Design for CBDCs
Mario Yaksetig and Jiayu Xu
10:30 - 11:00 Coffee Break
11:00 - 12:40 Session 2: Assets, applications, and risks
- 11:00 - 11:20
Universal Blockchain Assets
Owen Vaughan - 11:20 - 11:40
Private Electronic Payments with Self-Custody and Zero-Knowledge Verified Reissuance
Daniele Friolo, Geoffrey Goodell, Dann Toliver and Hazem Danny Al Nakib - 11:40 - 12:00
Blockchain-Based Carbon Footprint Management
Umut Pekel and Oguz Yayla - 12:00 - 12:20
SCOOP: CoSt-effective COngestiOn Attacks in Payment Channel Networks
Mohammed Ababneh, Kartick Kolachala and Roopa Vishwanathan - 12:20 - 12:40
An Analysis of Financial Stability Risk Propagation through Leveraged Staking Activities
Takaya Sugino, James Angel, Shin'Ichiro Matsuo, Benjamin Kraner and Rohil Paruchuri
12:40 - 13:30: Lunch
13:30 - 17:00: Joint keynote session with WTSC 2025
- 13:30 - 15:00 WTSC Keynote
Can smart contracts make real-world assets more valuable?
Jason Teutsch, Truebit
Abstract. Tokenization has experienced a revival with estimates touting projected value of the global, tokenized real-world asset (RWA) market in trillions of dollars. The future of RWA depends on verification. Indeed, verifiable information mitigates risk, which increases asset value. Put another way, some classes of assets do not yet exist due to excessive overhead or risk for investors. From a more technical point-of-view, this is the TRU story of how I tried to divest from smart contracts and learned to love the ledger. In order to realize the economic value of smart contracts, it actually pays to strip away the economic aspects of this so-called “programmable money.” Join me on a proof-by-example adventure. - 15:30 - 17:00 CoDecFin Workshop
Interactive workshop session: Crypto-Agility and PQC migration for Blockchain
Abstract. As the importance of preparing blockchain infrastructures for the post-quantum era intensifies, discussions on migration strategies toward PQC-resistant systems have become increasingly critical. Building on the momentum of the March 3rd BGIN session—which highlighted the need for resilient migration paths for existing chains (meeting report)—this closing roundtable at CoDecFin25 will provide a forum to examine key requirements for quantum-resistant blockchains, explore practical transition mechanisms, and deliberate on future directions for standardization. The session will also serve as a natural continuation of the NIST Crypto-Agility Workshop held the previous day (agenda), reinforcing the global momentum behind cryptographic agility and PQC adoption.
15:00 - 15:30 Coffee Break
17:30 - : Farewell Cruise