D5Q3 2026In progress
Contracts Library
Design and implement standardized, reusable on- and off-chain contracts with an emphasis on DeFi, plus the library's infrastructure and website. The deliverable ships at least five ready-to-audit contracts (e.g. Vesting, Programmable Tokens, DEX, Swap, Lending). A Cardano High Assurance proposal is expected to formally prove properties of these contracts.
- DX.03Scope and architectureDue Sep 30, 2026
- DX.07Beta releaseDue Nov 30, 2026
Activity
Gathered GitHub activity for this deliverable, week by week — the same evidence that appears in the weekly updates.
Week 28 · Jul 6 – Jul 12, 2026
Weekly update ↗- Issue openedExplore: Upgradeability - Migration & Beacon Indirectioninput-output-hk/contracts-library · @rober-m
- Issue openedExplore: Config / Protocol Parameter Managementinput-output-hk/contracts-library · @rober-m
- Issue openedExplore: P2P Swaps - Distributed Order Bookinput-output-hk/contracts-library · @rober-m
- Issue openedExplore: Order-book DEX - Decentralized Limit-Order Bookinput-output-hk/contracts-library · @rober-m
- Issue openedExplore: AMM DEX - Batched Constant-Productinput-output-hk/contracts-library · @rober-m
- Issue openedTracking: Contract Candidate Catalog & Exploration Statusinput-output-hk/contracts-library · @rober-m
- Issue openedExplore: CIP-68input-output-hk/contracts-library · @rober-m
- Issue openedExplore: Crowdfundinput-output-hk/contracts-library · @rober-m
- Issue openedExplore: Auctioninput-output-hk/contracts-library · @rober-m
- Issue openedExplore: DAOinput-output-hk/contracts-library · @rober-m
- Issue openedExplore: Multisig / Smart Walletinput-output-hk/contracts-library · @rober-m
- Issue openedExplore: Oracle Feed Publishinginput-output-hk/contracts-library · @rober-m
- Issue openedExplore: Uniform Oracle Consumption APIinput-output-hk/contracts-library · @rober-m
- Issue openedExplore: Prediction Market - Parimutuel Pooledinput-output-hk/contracts-library · @rober-m
- Issue openedExplore: Prediction Market - Conditional-Token Settlementinput-output-hk/contracts-library · @rober-m
3 commits · input-output-hk/contracts-library
Week 27 · Jun 29 – Jul 5, 2026
Weekly update ↗- Issue openedExplore: Escrowinput-output-hk/contracts-library · @rober-m
- Issue openedExplore: Atomic Swapinput-output-hk/contracts-library · @rober-m
3 commits · input-output-hk/contracts-library
Week 26 · Jun 22 – Jun 28, 2026
Weekly update ↗- Issue openedFinish/Polish Linear Vesting Specs and Formal Proofsinput-output-hk/contracts-library · @rober-m
- Issue openedExplore adding CIP-113 substandardsinput-output-hk/contracts-library · @rober-m
- Issue openedExplore ways of interaction between CIP-113 programmable tokens and our/other protocolsinput-output-hk/contracts-library · @rober-m
8 commits · input-output-hk/contracts-library
Week 25 · Jun 15 – Jun 21, 2026
Weekly update ↗9 commits · input-output-hk/contracts-library
Week 24 · Jun 8 – Jun 14, 2026
Weekly update ↗7 commits · input-output-hk/contracts-library