Plutarch는 Cardano 스마트 계약 개발에 널리 사용되는 생산 등급 eDSL임.

이 자금은 버그 수정, 하드포크 호환성 업데이트 등 유지보수와 커뮤니티 요청(GitHub 이슈 등)에 따른 신규 기능 구현을 지원함.

이를 통해 Plutarch가 안정적이고 강력하며 최신 상태로 유지되어 개발자와 생태계를 지속적으로 지원할 수 있음.

이 인출안은 Intersect가 벤더를 대신해 제출했으며, 제안서(초록, 동기, 근거, 벤더 프로필)는 Intersect 예산 심사 과정에서 승인된 내용을 반영함.

이 인출안은 총 ₳275,269,340(약 275M 에이다) 규모의 승인된 예산을 집행하기 위한 39개 제안 중 하나임.

인출 자금은 Cardano Treasury에서 지급되며, 이 문서는 재무부 인출 정보 요건을 충족하기 위해 솔루션 상세, 예산 정합성, 인출 금액 등을 명시함.

---

**주석**
eDSL: Embedded Domain-Specific Language(임베디드 도메인 특화 언어)
Plutarch: Cardano 스마트 계약 개발을 위한 하스켈 기반 eDSL
Plutus: Cardano의 네이티브 스마트 계약 언어
하드포크: 블록체인 프로토콜의 비호환성 업그레이드
Treasury: Cardano의 재무부(자금 관리 시스템)
Intersect: Cardano 생태계의 공식 기구(이전에는 IOG, CF 등)
GitHub 이슈: 오픈소스 프로젝트의 기능 요청/버그 보고 시스템
₳: ADA(에이다) 토큰의 통화 기호

Plutarch는 Haskell 기반의 eDSL로, Cardano 온체인 스크립트를 작성하는 데 사용됨. 이를 통해 Plutus Core 스크립트를 효율적으로 생성하며, PlutusTx 대비 실행 비용이 크게 절감되는 검증기를 작성할 수 있음[3].

Cardano 네트워크 성장과 예정된 하드포크에 맞춰 Plutarch를 꾸준히 개선하지 않으면, 도구가 구식이 되어 개발자 생산성 저하와 생태계 약화로 이어질 위험이 있음.

따라서 이 제안은 Plutarch의 **내구성 유지, 기능 추가, 지속적인 호환성 보장**을 위해 전용 자금을 확보함으로써 개발자 지원과 생태계 강화를 도모함.

Plutarch는 eDSL 특성상 Haskell과 긴밀히 통합되어 있으며, 이는 오프체인 코드와의 원활한 연동과 기존 도구 재사용을 가능하게 함. 반면, 새로운 스마트 계약 언어들과 비교해 가장 표현력이 뛰어난 타입 시스템을 제공함[4].

요약하면, Plutarch는 Cardano 스마트 계약 개발에 필수적인 도구로서, 네트워크 변화에 맞춰 지속적이고 체계적인 유지보수가 필요하며, 이를 위한 전용 자금 지원이 없으면 도구의 노후화와 개발 생산성 저하가 우려됨[3][4].

---

**주석**
- eDSL: embedded Domain Specific Language, 특정 도메인에 특화된 내장형 언어
- Plutus Core: Cardano의 EUTXO 모델을 구현하는 스크립트 언어
- UPLC: Untyped Plutus Core, Plutus Core의 무타입 람다 계산법 버전
- 하드포크: 블록체인 프로토콜의 주요 변경 사항 적용 과정

Plutarch는 카르다노 개발자와 dApp 프로젝트가 의존하는 핵심 도구임.
이 제안은 Plutarch가 강력하고 최신 상태로 유지되도록 지원함.
개발 환경이 더 안정적이고 효율적으로 개선되어 혁신을 촉진함.
투자 대비 효과(ROI)는 개발자 생산성 증가, dApp 품질 향상, 생태계 전반의 건강 증진임.
Plutarch의 광범위한 채택이 그 가치를 입증함[1].

## 벤더 프로필 요약

MLabs LTD는 Cardano.nix의 주요 개발자이자 유지보수 담당자임.
팀은 Nix, 카르다노 인프라 배포, 복잡한 빌드 시스템 유지보수에 대한 깊은 전문성을 보유함.
Cardano.nix의 성공적 제공 및 주요 생태계 주체의 사용이 이를 증명함.

## 계약 관리 요약

벤더와 Cardano Development Holdings(CDH) 사이에 오프체인 법적 계약이 작성됨.
이 계약은 Intersect가 관리하며, 프로젝트 일정과 분쟁 해결 절차가 포함됨.
이 과정은 헌법(Constitution)에 따라 의무적으로 진행됨.

## 프로젝트 납품 요약

모든 마일스톤, 수락 기준, 지급 금액, 예상 납품일은 벤더와 Intersect(CDH 대리) 간에 합의됨.
벤더는 법적 계약에 명시된 일정에 따라 납품함.
필요한 정보는 예산 관리 플랫폼을 통해 트랜잭션 메타데이터로 공개됨.
마일스톤별로 벤더는 커뮤니티, Intersect 또는 제3자 인증자에게 납품 사실을 제출 및 증명함.
프로젝트 진행 상황은 Intersect의 납품 보증 기능을 통해 모니터링되며, 커뮤니티에 공지됨.
각 마일스톤의 작업 완료는 제3자 인증자가 검토 및 승인함.
이 인증 작업 비용은 이번 재무부 인출액의 일부로 조달됨.

## 예산 관리 도구 요약

재무부 자금 관리를 위해 Intersect는 Sundae Labs가 개발한 트레저리 관리 스마트 계약 프레임워크를 사용함.
이 스마트 계약은 TxPipe와 MLabs의 감사를 포함해 광범위하게 테스트됨.
실제 메인넷 사용 사례는 Intersect의 블로그에서 확인 가능함.
최종 메인넷 검증 테스트는 트랜잭션(0f591dc544ae14102dbb4a74d5311a6acffc1772b163d8b7a9656b9525950b17) 내 Disburse 액션에서 확인됨.
확인된 트레저리 리저브 계약 주소는 stake17xzc8pt7fgf0lc0x7eq6z7z6puhsxmzktna7dluahrj6g6ghh5qjr임.

## 세부 사항 요약

Intersect는 단일 Treasury Reserve Smart Contract(TRSC)와 다수의 Project-Specific Smart Contract(PSSC)를 운영함.
관리는 Intersect의 3명의 'admin'과 2명의 'leadership' 역할로 구성됨.
5개의 외부 독립 기관으로 구성된 감독 위원회(Oversight Committee)가 Intersect에 대한 견제와 균형을 제공함.
TRSC와 PSSC의 운영은 Intersect가 담당하며, 주요 행위에는 감독 위원회의 외부 감독이 적용됨.
감독 위원회는 Sundae Labs, Cardano Foundation, Dquadrant, Xerberus, NMKR로 구성됨.
이들의 역할은 거버넌스 결정에 대한 재량권 없이, 주요 행정 조치의 정확성과 일관성을 온체인 로직으로 검증하는 것임.
자세한 구성은 Intersect의 Smart Contract Guide에서 확인 가능함.

## 권한 구조 요약

- **TRSC Fund 및 PSSC Modify**: Intersect admin 2/3, 신뢰 기관 2/5, leadership 1/2 서명 필요
- **TRSC Disperse**: Intersect admin 2/3, 신뢰 기관 3/5, leadership 2/2 서명 필요
- **TRSC Pause 및 Resume**: Intersect admin 2/3, leadership 1/2 서명 필요
- **TRSC Sweep**: Intersect admin 1/3, leadership 1/2 서명 필요
- **TRSC Reorganize**: Intersect admin 2/3, 신뢰 기관 3/5 서명 필요

## 프로세스 요약

거버넌스 액션이 시행되면 프로젝트 자금이 TRSC의 스테이크 계정으로 이동함.
TRSC와 PSSC는 SPO에게 위임되지 않고 auto-abstain DRep에 위임됨.
자금은 TRSC에 남은 UTxO로 인출됨.
법적 계약이 준비되고 벤더가 준비되면 Fund 액션을 통해 PSSC로 자금이 이체됨.
모든 마일스톤은 메타데이터에 명시됨.
커뮤니티는 대시보드를 통해 TRSC 및 PSSC를 감사하고, 인출된 에이다 관련 지표를 추적할 수 있음.
이 모든 과정은 온체인에서 불변적으로 검증 가능함.

## 헌법 준수 요약

계약 관리, 프로젝트 납품, 예산 관리 도구에 관한 상기 내용은 헌법 제4조 4항 및 5항의 요건을 충족함.

---

### 전문 용어 주석

- **Plutarch**: 카르다노 블록체인용 고급 스마트 계약 개발 eDSL(임베디드 도메인 특화 언어), Haskell 기반임[1][4].
- **eDSL**: Embedded Domain-Specific Language, 호스트 언어(예: Haskell) 내에 내장된 도메인 특화 언어임[3].
- **TRSC**: Treasury Reserve Smart Contract, 재무부 예비 스마트 계약임.
- **PSSC**: Project-Specific Smart Contract, 프로젝트별 스마트 계약임.
- **DRep**: Delegated Representative, 위임된 대표자임.
- **UTxO**: Unspent Transaction Output, 미사용 트랜잭션 출력임.
- **SPO**: Stake Pool Operator, 스테이크 풀 운영자임.
- **Nix**: 선언적 패키지 관리 및 배포 시스템임.
- **Cardano.nix**: 카르다노 인프라 배포 및 빌드 자동화를 위한 Nix 기반 도구임.
- **Intersect**: 카르다노 생태계 거버넌스 및 자금 관리 기관임.
- **CDH**: Cardano Development Holdings, 카르다노 개발 자금 관리 주체임.

This proposal seeks funding for the ongoing annual maintenance and feature enhancement of Plutarch, a production-grade eDSL in Haskell for creating Cardano smart contracts. As a core tool widely adopted within the ecosystem, Plutarch requires consistent upkeep. Funding covers maintenance (bug fixes, compatibility updates for hardforks) and new feature implementation based on community needs (e.g., via GitHub issues). This ensures Plutarch remains resilient, powerful, and up-to-date, supporting developers and the ecosystem.

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.

As a core production-grade tool for Cardano smart contracts, Plutarch requires consistent upkeep and enhancements to align with network growth and upcoming hardforks. This proposal addresses the need for dedicated funding to maintain Plutarch's resilience, add features, and ensure ongoing compatibility, supporting developers and strengthening the ecosystem. Without dedicated funding, this essential tool risks becoming outdated, hindering developer productivity.

This proposal ensures Plutarch remains robust, up-to-date, and supported, benefiting Cardano developers and dApp projects who rely on it. The value is a more stable, efficient development environment, fostering innovation. The ROI includes increased developer productivity, enhanced dApp quality, and overall ecosystem health through maintained core infrastructure. Plutarch's wide adoption demonstrates its value.

### Vendor Profile

MLabs LTD is the primary developer and maintainer of Cardano.nix. Our team possesses deep expertise in Nix, Cardano infrastructure deployment, and maintaining complex build systems, evidenced by the successful delivery and maintenance of Cardano.nix and its use by key ecosystem entities.

### 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.