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, 카르다노 개발 자금 관리 주체임.