Cardano Treasury

IO: Cardano High Assurance Technical Collaboration (2of2)

IO: Cardano High Assurance Technical Collaboration (2of2): $0 paid of $943K from Cardano's treasury, through Intersect Treasury Contracts 2, in 9 payments. The next payment unlocks 15 Dec 2026.

Approved by IO: Cardano High Assurance Technical Collaboration.

About the project

This Statement of Work delivers the Cardano High Assurance (HA) across 2 workstreams. 1. Automated formal verification toolkit, gives devs and auditors the means to: formally verify their smart contract development, reuse a library of generic properties according to the type of DApp being developed, verify semantic equivalence between smart contract codes.

Includes 2 versions of a Visual Studio Code extension for Blaster, and integration of Blaster into 4 surface language developer environments: Aiken, Futura, Pebble, and Scalus. Delivered with named ecosystem partners (Harmonic Labs, Lantr, Midgard Labs, No.Witness Labs, SAIB, and TxPipe). 2. A Container-Based Development Environment provides a complete containerised HA development environment for Plinth: the Aiken, Plutarch and Plinth compilers, static analysis tools, Property-based testing frameworks, and an automated formal reasoning tool (Blaster), released to the community as a stable version 1.0

Payments

  1. m-0: M3.1 Milestone 7 - Solution Design (Container Environment) — $149K, Scheduled, unlocks 15 Dec 2026
  2. m-1: M3.2.1 Milestone 8a - Integration of Blaster, Aiken tool suite — $69K, Scheduled, unlocks 29 Jul 2027
  3. m-2: M3.2.2 Milestone 8b - Integration of Blaster, Pebble tool suite — $69K, Scheduled, unlocks 29 Jul 2027
  4. m-3: M3.2.3 Milestone 8c - Integration of Blaster, Scalus tool suite — $69K, Scheduled, unlocks 29 Jul 2027
  5. m-4: M3.2.4 Milestone 8d - Integration of Blaster, Futura tool suite — $69K, Scheduled, unlocks 29 Jul 2027
  6. m-5: M3.3 Milestone 9 - Environment set up and tool integration — $121K, Scheduled, unlocks 28 Feb 2027
  7. m-6: M3.4 Milestone 10 - Pilot Launch & End user feedback — $121K, Scheduled, unlocks 29 May 2027
  8. m-7: M3.5 Milestone 11 - Version 1.0 community release — $121K, Scheduled, unlocks 29 Jul 2027
  9. m-8: M1.2 Milestone 12 - KPI & Proposal Outcome Achievement — $155K, Scheduled, unlocks 29 Aug 2027