On-chain governance action (Treasury Withdrawals).
This treasury withdrawal funds 2025 Input Output Engineering Core Development Proposal which will provide the following services:- Automatic Formal Verification (Plutus High Assurance)- Property Based Testing Tool (Plutus High Assurance)- Static Analyzer (Plutus High Assurance)- Ouroboros Leios Implementation- Cardano Node Architecture Refresh (Acropolis)- Hydra Development- Minotaur AVS- Mithril Development- KES Agent- Ledger-HD- Log-Structured Merge (LSM) including UTXO-HD- Revised Stake Pool Incentive Scheme- Nested Transactions (Babel Fees)- Plutus Core Roadmap- Tiered Pricing Models (Plutus High Assurance)- Transaction Monitoring System (Plutus High Assurance)- Maintenance and Support- Audit & Security AssuranceThis Treasury Withdrawal is submitted by Intersect on behalf of the vendor. The following sections; Abstract, Motivation, Rationale and Vendor Profile have been sourced from the approved proposal submitted by the Vendor as part of the Intersect budget process.This treas
- Proposer return address:
stake1uyvjdz9rxsfsmv44rtk75k2rqyqskrga96dgdfrqjvjjpwsefcjnp - Deposit: 100,000 ADA
- Submitted: epoch 570
- Expires: epoch 577