이 제안은 다음 서비스를 제공함:

- 자동 형식 검증 (Plutus High Assurance)
- 속성 기반 테스트 도구 (Plutus High Assurance)
- 정적 분석기 (Plutus High Assurance)
- Ouroboros Leios 구현
- Cardano 노드 아키텍처 리프레시 (Acropolis)
- Hydra 개발
- Minotaur AVS
- Mithril 개발
- KES 에이전트
- Ledger-HD
- 로그 구조 병합(LSM) 및 UTXO-HD 포함
- 수정된 스테이크 풀 인센티브 스킴
- 중첩 트랜잭션 (Babel Fees)
- Plutus Core 로드맵
- 계층형 가격 모델 (Plutus High Assurance)
- 트랜잭션 모니터링 시스템 (Plutus High Assurance)
- 유지보수 및 지원
- 감사 및 보안 보증

이 재무 출금은 Intersect가 벤더를 대신해 제출했음. 요약, 동기, 근거, 벤더 프로필은 벤더가 Intersect 예산 과정의 일부로 제출한 승인된 제안서에서 가져왔음.

총 ₳275,269,340 규모의 예산 집행을 위한 39개 제안 중 하나이며, Intersect가 gov_action1u9x73kwufaxa70lfy59g4ynwyrcsaxdcd0gxzzmh67s9fxq4j8hqqk2phgh를 통해 관리함.

이 정보는 헌법적 요구사항에 따라 재무 출금 정보 액션의 취지를 충족시키기 위해 제안된 솔루션 세부사항, 예산 정렬, 출금 금액을 제공함[2][3][5].

**자동 형식 검증 (Plutus High Assurance):** Plinth/Cardano DApps에 대한 자동 형식 검증 도구 개발.

**속성 기반 테스트 도구 (Plutus High Assurance):** 다양한 입력 및 동작을 자동 생성하는 Plinth PBT 도구 개발.

**정적 분석기 (Plutus High Assurance):** Plinth 스마트 계약에 대해 "원클릭" 정적 분석 도구 개발.

**Ouroboros Leios 구현:** Leios L1 합의 프로토콜 핵심 구현 시작.

**Cardano 노드 아키텍처 개편 (Acropolis):** Cardano 노드를 모듈화된 모델로 재설계.

**Hydra 개발:** Cardano의 L2 상태 채널 솔루션인 Hydra v1.0 메인넷 완성 및 전면 감사.

**Minotaur AVS:** Cardano L1 보안을 활용하는 Actively Validated Service(AVS)인 Minotaur 출시.

**Mithril 개발:** 동기화 속도 향상 및 라이트 클라이언트 지원을 위한 Mithril 프로토콜 강화.

**KES 에이전트:** SPO KES 키 저장 및 관리 보안 강화 구현.

**Ledger-HD:** 메모리에서 디스크로 원장 상태 테이블 이전(LSM 기술 적용)하여 RAM 사용량 감소.

**Log-Structured Merge (LSM) 및 UTXO-HD:** 디스크 상태 관리를 위한 맞춤형 Well-Typed LSM-tree 백엔드 통합.

**스테이크 풀 인센티브 제도 개편:** SPO 인센티브 제도 조정 가능성 조사.

**중첩 트랜잭션 (Babel Fees):** 트랜잭션 배칭을 가능하게 하는 중첩 트랜잭션 원장 기능 구현. Babel Fees 지원.

**Plutus Core 로드맵:** 핵심 신규 원시 기능 제공을 위한 Plutus Core 로드맵 실행.

**계층형 가격 모델 (Plutus High Assurance):** 혼잡 시 예측 가능성 향상을 위한 트랜잭션 우선순위 메커니즘 도입.

**트랜잭션 모니터링 시스템 (Plutus High Assurance):** 사기 및 이상 징후 탐지를 위한 트랜잭션 모니터링 시스템 개발.

**유지보수 및 지원:** 기존 코드베이스 유지보수 및 테스트·추적 환경 운영 비용 포함 지속 지원.

**감사 및 보안 보증:** 독립 감사 및 보안 보증 수행.

이 제안은 Cardano가 직면한 다음과 같은 핵심 문제를 다룸.

- **확장성 한계:** 현재 L1 인프라는 높은 수요 시 처리량 제한으로 사용자 경험과 애플리케이션 잠재력 저해. L1 및 L2 차원에서 대규모 확장 솔루션 필요.

- **노드 아키텍처 및 성능:** 기존 노드 설계는 모듈성, 확장성, 성능(특히 RAM 사용), 다양한 개발팀 기여 용이성에 한계 존재.

- **스마트 계약 보증 및 개발자 경험:** 스마트 계약의 보안, 정확성, 효율성 보장을 위한 향상된 도구 필요. Plinth/Aiken/Plutarch 생태계 개선과 강력한 테스트·검증 도구 제공 필수.

- **SPO 운영 안정성 및 보안:** 스테이크 풀 운영자의 보안 확보와 인센티브 제도의 공정성·지속 가능성 검토가 네트워크 건강과 탈중앙화에 중요.

- **사용자 경험 및 채택 장벽:** ADA 수수료 의무 지불, 혼잡 시 트랜잭션 포함 예측 불가 등 마찰 요소 개선 필요.

- **생태계 경쟁력:** Actively Validated Services(AVS) 등 신흥 블록체인 패러다임 통합으로 경쟁력 유지 및 다양한 기능 제공 필요.

- **핵심 유지보수 및 지식 이전:** 기초 코드베이스의 지속적 유지보수, 현대화, 기술 부채 감소, 체계적 지식 공유로 안정성 확보 및 커뮤니티 참여 확대 필요.

이 내용은 2025년 Cardano 개발 로드맵의 주요 방향과도 일치하며, Hydra L2 솔루션, Leios 합의 프로토콜, Mithril 경량 인증, Babel Fees, AVS, 모듈형 노드 아키텍처 등 확장성과 보안, 사용자 경험 개선에 집중하고 있음[1][2][3][4].

---

**주석**

- Plinth: Cardano 스마트 계약 개발을 위한 고급 언어 및 도구 모음.

- LSM (Log-Structured Merge): 디스크 기반 데이터 저장 최적화 기술.

- SPO: Stake Pool Operator, Cardano 네트워크에서 블록 생성 및 운영을 담당하는 주체.

- Babel Fees: ADA 없이도 트랜잭션 수수료를 지불할 수 있게 하는 기능.

- AVS (Actively Validated Service): Cardano L1 보안을 활용하는 활성 검증 서비스.

- Mithril: 경량 인증 프로토콜로, 전체 노드 없이도 거래 검증 가능.

이 계획의 구현은 Cardano 커뮤니티 전반에 걸쳐 다음과 같은 주요 이점을 제공함:

- **생태계 측면:**
- Leios를 통한 대규모 L1 처리량 증가
- Hydra, Mithril을 통한 강력한 L2 확장성
- Minotaur를 통한 AVS(Adaptive Virtual Staking) 등 신규 분야에서 경쟁력 확보
- Acropolis의 모듈형 아키텍처와 지식 공유로 공급자 다양성 촉진
- 네트워크 용량, 유용성, 매력도 증가로 채택과 가치 상승 기대됨

- **최종 사용자 측면:**
- Leios로 네트워크 혼잡 감소 및 빠른 거래 처리
- Hydra를 통한 특정 애플리케이션의 거의 즉각적인 거래 확정
- 네이티브 토큰으로 수수료 지불 가능(Babel Fees, Nested Transactions)
- Tiered Pricing으로 거래 포함 예측 가능성 향상
- 강화된 보안으로 사용자 신뢰 증대

- **개발자 및 dApp 빌더 측면:**
- Plutus High Assurance suite, Plutus Core 개선으로 더 안전하고 효율적인 스마트 계약 개발 가능
- Acropolis를 통한 확장 가능하고 접근성 높은 노드 아키텍처
- Hydra, Mithril과의 쉬운 통합 및 Nested Transactions로 향상된 거래 기능
- 개발 장벽 감소 및 고도화된 애플리케이션 개발 지원

- **스테이크 풀 운영자(SPO) 측면:**
- Ledger-HD, LSM/UTXO-HD로 노드 운영 비용 대폭 절감(메모리 요구량 감소)
- KES Agent로 운영 보안 강화
- 네트워크 성능 개선 및 Minotaur AVS로 신규 수익원 가능성
- 인센티브 구조 개선(Revised Scheme 조사)
- Mithril 개선으로 노드 동기화 속도 향상

Input Output (IO)는 Cardano의 비전을 연구 중심, 단계적 개발 방식으로 실현했으며,
Proof-of-Stake, Ouroboros 합의, Plutus 스마트 계약, 네이티브 토큰, Hydra, Mithril 같은 핵심 기술을 개발했음.
IOE와 파트너들은 Cardano 전 기간에 걸쳐 활발히 개발과 지원을 이어가고 있으며, 2025년과 2026년까지 이 노력을 지속할 예정임.

계약 관리는 법적 오프체인 계약으로 CDH(Cardano Development Holdings)와 벤더 간에 체결되며, Intersect가 관리함.
프로젝트 일정, 분쟁 해결 등 세부 내용이 포함됨.

프로젝트 진행은 Intersect가 CDH를 대신해 벤더와 합의한 마일스톤, 수락 기준, 지급 금액, 납기일에 따라 이루어짐.
마일스톤 완료 시 벤더가 커뮤니티, Intersect 또는 제3자 검증자에게 제출 및 인증함.
Intersect의 전달 보증 기능으로 프로젝트 진행 상황이 모니터링되고 커뮤니티에 공유됨.
제3자 검증자가 각 마일스톤 산출물을 검토하고 승인하는 역할을 하며, 이 비용은 재무 출금 일부에서 충당됨.

재무 관리는 Sundae Labs가 개발한 온체인 재무 관리 스마트 계약 프레임워크를 Intersect가 사용함.
이 스마트 계약은 TxPipe, MLabs의 감사를 포함해 광범위한 테스트를 거쳤음.
Intersect는 단일 Treasury Reserve Smart Contract(TRSC)와 다수의 Project-Specific Smart Contracts(PSSC)를 관리하며,
관리 권한은 Intersect의 관리자 3명, 리더십 2명과 외부 독립 5개 기관(감독 위원회)이 분산하여 행사함.
감독 위원회는 Sundae Labs, Cardano Foundation, Dquadrant, Xerberus, NMKR로 구성되어 있으며,
주요 행정 조치를 독립적으로 검증해 오류와 독단적 통제를 방지함.

재무 출금은 TRSC의 스테이크 계정으로 이루어지며, SPO에 위임되지 않고 자동 기권 DRep에 위임됨.
법적 계약 준비 및 벤더 준비 완료 후, 자금은 PSSC로 이체되어 마일스톤별 메타데이터와 함께 관리됨.
커뮤니티는 대시보드를 통해 TRSC와 PSSC를 감사하고, 출금된 ₳(에이다) 관련 지표를 온체인에서 불변 검증 가능함.

이상의 계약 관리, 프로젝트 전달, 예산 관리 도구는 Cardano 헌법 제4조 4, 5항의 요구사항을 충족함.

---

**주석**
- L1: Layer 1, 기본 블록체인 레이어
- L2: Layer 2, 확장성 향상을 위한 보조 레이어
- AVS: Adaptive Virtual Staking, 적응형 가상 스테이킹
- SPO: Stake Pool Operator, 스테이크 풀 운영자
- TRSC: Treasury Reserve Smart Contract, 재무 예비 스마트 계약
- PSSC: Project-Specific Smart Contract, 프로젝트별 스마트 계약
- DRep: Delegated Representative, 위임 대표
- KES Agent: 키 진화 서명 에이전트
- LSM: Log-Structured Merge tree, 로그 구조 병합 트리
- UTXO: Unspent Transaction Output, 미사용 거래 출력

- 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 the Intersect budget process.

This treasury withdrawal funds one of 39 proposals to give effect to the approved budget info action for ₳275,269,340, administered by Intersect via gov_action1u9x73kwufaxa70lfy59g4ynwyrcsaxdcd0gxzzmh67s9fxq4j8hqqk2phgh. The information provided herein is intended to fulfill the spirit of the constitutional requirement for a treasury withdrawal info action by also providing the details of the proposed solution, alignment to the budget, and amount to be withdrawn from the Cardano Treasury.

**Automatic Formal Verification (Plutus High Assurance):** Develop automated formal verification tool for Plinth/Cardano DApps

**Property Based Testing Tool (Plutus High Assurance):** Develop Plinth PBT Tool to automatically generate diverse inputs/actions

**Static Analyzer (Plutus High Assurance):** Develop "one-click" static analysis tool for Plinth contracts

**Ouroboros Leios Implementation:** Begin core implementation of Leios L1 consensus protocol

**Cardano Node Architecture Refresh (Acropolis):** Re-architect the Cardano node into a modular model (Acropolis)

**Hydra Development:** Complete Hydra v1.0 mainnet and full audit, Cardano's L2 state channel solution

**Minotaur AVS:** Launch Minotaur, Actively Validated Service (AVS) leverage Cardano L1 security

**Mithril Development:** Enhance Mithril protocol for secure, efficient access. Speeds up sync, enables light clients

**KES Agent:** Implement security enhancement for SPO KES key storage and management

**Ledger-HD:** Move ledger state tables from memory to disk (LSM tech) to reduce RAM

**Log-Structured Merge (LSM) including UTXO-HD:** Integrate bespoke Well-Typed LSM-tree backend for managing on-disk state

**Revised Stake Pool Incentive Scheme:** Investigate potential adjustments to SPO incentive scheme

**Nested Transactions (Babel Fees):** Implement Nested Transactions ledger feature enabling tx batching. Facilitates Babel Fees

**Plutus Core Roadmap:** Execute roadmap for Plutus Core delivering key new primitives

**Tiered Pricing Models (Plutus High Assurance):** Introduce transaction prioritization mechanism to improve predictability during congestion

**Transaction Monitoring System (Plutus High Assurance):** Develop system to monitor transactions, detect potential fraud/anomalies

**Maintenance and Support:** Maintenance of existing code base, ongoing support. Includes cost of running Test & Tracing setup

**Audit & Security Assurance:** Engage independent audits and security assurance. Consolidated item

This proposal addresses several critical challenges and opportunities within the Cardano ecosystem necessary for its continued growth, competitiveness, and decentralization. Key problems include:

* **Scalability Limitations:** The current L1 infrastructure faces throughput constraints during high demand, hindering user experience and application potential. There's a need for significant scaling solutions at both Layer 1 (consensus) and Layer 2.

* **Node Architecture & Performance:** The existing node design presents limitations in terms of modularity, extensibility, performance (especially RAM usage), and ease of contribution from diverse development teams.

* **Smart Contract Assurance & Developer Experience:** Developers require enhanced tools for ensuring the security, correctness, and efficiency of smart contracts to build trust and reduce risks. Improving the Plinth/Aiken/Plutarch ecosystem and providing robust testing/verification tools is essential.

* **SPO Viability & Security:** Ensuring the operational security of Stake Pool Operators (SPOs) and investigating the fairness and sustainability of the incentive mechanism is vital for network health and decentralization.

* **User Experience & Adoption Barriers:** Friction points like mandatory ADA fee payments and unpredictable transaction inclusion during congestion need addressing to improve usability and attract broader adoption.

* **Ecosystem Competitiveness:** Cardano needs to integrate emerging blockchain paradigms like Actively Validated Services (AVS) to remain competitive and offer diverse functionalities.

* **Core Maintenance & Knowledge Transfer:** The foundational codebase requires ongoing maintenance, modernization, technical debt reduction, and structured knowledge sharing to ensure stability and enable broader community participation in core development.

In this proposal, IOE and its collaborators outline key core Cardano platform developments aimed at substantially improving network scalability, security, performance, and usability, while enhancing developer support.

Implementation of these initiatives offers substantial benefits across the Cardano community, which collectively, enhance Cardano's technical foundations, enabling it to support a larger, more complex, and more active ecosystem:

* **For the Ecosystem:** Delivers massive L1 throughput increase (Leios), robust L2 scaling (Hydra, Mithril), and positions Cardano competitively in new areas like AVS (Minotaur). Enhances overall network security, resilience, and decentralization. Fosters supplier diversity through knowledge sharing and modular architecture (Acropolis). The ROI stems from increased network capacity, utility, and attractiveness, driving adoption and value.

* **For End Users:** Experience significantly reduced network congestion and faster transaction processing (Leios), near-instant finality for specific applications (Hydra), the convenience of paying fees with native tokens (Nested Transactions/Babel Fees), and potentially more predictable transaction inclusion (Tiered Pricing). Enhanced security measures build user trust.

* **For Developers & dApp Builders:** Gain access to advanced tools for building more secure and efficient smart contracts (Plutus High Assurance suite, Plutus Core enhancements). Benefit from a more extensible and accessible node architecture (Acropolis), easier integration with L2s and light clients (Hydra, Mithril), and improved transaction capabilities (Nested Transactions). This lowers development barriers and enables more sophisticated applications.

* **For Stake Pool Operators (SPOs):** Benefit from significantly reduced node operational costs (lower RAM requirements via Ledger-HD, LSM/UTXO-HD), enhanced operational security (KES Agent), improved network performance, potential new revenue streams (Minotaur AVS), and a potentially fairer incentive structure (Revised Scheme investigation). Mithril improvements speed up node synchronization.

### Vendor Profile

Input Output (IO) realized Cardano's vision for a secure, scalable, decentralized platform through a research-driven, phased delivery (Byron to Voltaire). Leveraging formal methods, functional programming, and rigorous engineering, IO produced key achievements including Proof-of-Stake, Ouroboros consensus, Plutus smart contracts, native tokens, and scaling solutions like Hydra and Mithril.

IOE and its partners' involvement spans the entire existence of Cardano, and is demonstrated daily by its active development, support, and maintenance. Key personnel essential to this long-standing contribution are retained to continue this effort through 2025 and into 2026.

IO remains committed to furthering Cardano's technical development, research and community engagement.

### Contract Management

A written off-chain Legal Contract will be created between the Vendor and the Cardano Development Holdings (CDH), as mandated by the constitution, and will be administered by Intersect. This will include details of the project delivery schedule and dispute resolution.

### Project Delivery

All milestones, acceptance criteria, payment amounts and expected delivery dates will be agreed between the Vendor and Intersect, acting on behalf of the CDH. The vendor will deliver according to the agreed-upon project schedule within the Legal Contract, of which the necessary information will be made public via the budget management platform via transaction metadata.

Defined by the milestones within a Legal Contract, the vendor will submit and attest milestone acceptance to the community, Intersect or 3rd Party Assurer.

Project progress will be monitored via Intersect's delivery assurance function which will be communicated to the community.

Acceptance of the above work is expected to be supported by a 3rd Party Assurer, who will be responsible for reviewing and signing off the work completed at each project milestone against the corresponding milestone deliverables detailed within the Legal Contract. This work is funded from a portion of this treasury withdrawal.

### Budget Management Tooling

To administrate treasury funds on-chain, Intersect will utilize the treasury management smart contract framework developed by Sundae Labs. The smart contracts have been [extensively tested](https://github.com/SundaeSwap-finance/treasury-contracts/tree/main/offchain/tests) including audits from TxPipe and MLabs. Examples of the usage of these contracts can be seen across mainnet described across Intersect authored [Blog 1](https://www.intersectmbo.org/news/smart-contract-mainnet-demo-a-step-toward-on-chain-treasury-withdrawals), [Blog 2](https://www.intersectmbo.org/news/smart-contract-mainnet-demo-day-two-update) and [Blog 3](https://www.intersectmbo.org/news/smart-contract-mainnet-demo-day-three-update).

Final mainnet validation test can be seen via the Disburse action within transaction: 0f591dc544ae14102dbb4a74d5311a6acffc1772b163d8b7a9656b9525950b17

With the confirmed treasury reserve contract address being: stake17xzc8pt7fgf0lc0x7eq6z7z6puhsxmzktna7dluahrj6g6ghh5qjr

#### Specifics

Intersect will utilize a single Treasury Reserve Smart Contract (TRSC), with many Project-Specific Smart Contracts (PSSC), managed by Intersect. Intersect's management consists of three 'admin' and two Intersect 'leadership' roles. An Oversight Committee consisting of five external, independent third-party entities will provide checks and balances on Intersect, and safeguard against errors and unilateral control. The administration of both TRSC and PSSCs will be managed by Intersect, with external oversight on certain actions from the Oversight Committee.

The Oversight Committee consists of Sundae Labs, Cardano Foundation, Dquadrant, Xerberus and NMKR. Their role is to independently verify key administrative actions using on-chain logic, ensuring accuracy and consistency without exercising discretion over governance decisions.

For all details on Intersect's configuration please see the **[Smart Contract Guide](https://docs.intersectmbo.org/cardano-facilitation-services/cardano-budget/intersect-administration-services/smart-contracts-as-part-of-our-administration)** on the knowledgebase.

The high level permissions are as follows:

- TRSC Fund and PSSC Modify

- Two of the three Intersect admins, two of the five trusted entities and one of the two Intersect leadership sign-off must authorize

- TRSC Disperse

- Two of three Intersect admins, three of five trusted entities and two of two Intersect leadership sign-off must authorize

- TRSC Pause and Resume

- Two of three Intersect admins, and one of two Intersect leadership sign-off must authorize

- TRSC Sweep

- One of three Intersect admins, and one of two Intersect leadership sign-off must authorize

- TRSC Reorganize

- Two of three Intersect admins and three of five trusted entities must authorize

#### Processes

Upon enactment of this governance action, funding for this project will be directed into the TRSC's stake account. All instances of TRSC and PSSC can not be staked with a SPO and will be delegated to the auto-abstain predefined DRep. From here funds will be withdrawn into a UTxO remaining at the TRSC.

When the Legal contract is prepared and the vendor is ready, funding for this project will be transferred using the Fund action to a PSSC. All milestones will be outlined within the metadata.

A dashboard will be available for the community to audit the TRSC or PSSC and track metrics related to this withdrawn ada as well as being immutably verifiable on chain.

The subsections; Contract Management, Project Delivery, and Budget Management Tooling described above cover the constitutional requirements specified in Article IV section 4 and 5.