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 Assurance
This 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 t
- Proposer return address:
stake_test1urrfysygca8m9x0qypxrutl5j2n9c252mev4qmwdtzwqr6g6dj7kn - Deposit: 100,000 ADA
- Submitted: epoch 228
- Expires: epoch 235