이 제안은 Cardano 인프라를 Nix로 구축하고 배포하는 데 필요한 기본 도구 모음인 Cardano.nix의 연간 유지보수 및 개선을 위한 자금을 요청함.

자금은 Cardano 노드 업데이트와 Nix 생태계와의 호환성 유지, 버그 수정, 커뮤니티 요구 및 Nix Flakes 같은 관련 분야 발전에 따른 소규모 개선 작업에 사용됨[1].

Intersect가 공급업체를 대신해 이 출금을 제출했으며, 제안서의 개요, 동기, 근거, 공급업체 프로필은 Intersect 예산 절차의 승인된 제안서에서 가져온 것임[1].

이 출금은 ₳275,269,340(약 2.75B ADA) 규모의 승인된 예산 집행을 위한 39개 제안 중 하나에 자금을 지원하며, Intersect가 gov_action1u9x73kwufaxa70lfy59g4ynwyrcsaxdcd0gxzzmh67s9fxq4j8hqqk2phgh를 통해 관리함[1].

Cardano.nix는 Nix를 이용해 Cardano 인프라를 재현 가능하게 구축·배포하는 데 필수적이며, 노드 운영자, 개발자, 프로젝트에 안정적인 인프라 도구를 제공함.

정기적인 유지보수는 Nixpkgs, Cardano 노드 버전, Haskell 생태계 구성요소 업데이트를 반영하고, 사용성 개선 및 관련 도구 통합을 위해 필요함.

이 제안에 자금을 지원하면 SPO, 개발자, 기업 등 Cardano 인프라를 Nix로 배포하는 모든 사용자에게 신뢰성 높은 도구를 제공해 설정 오류 감소, 배포 시간 단축, 인프라 신뢰성 향상, 신규 사용자 온보딩 지원, IOG 및 Daedalus Wallet 팀 같은 핵심 생태계 참여자 지원 효과가 있음[1].

---

**주석**

- *Nix Flakes*: Nix 패키지 매니저의 새로운 기능으로, 패키지 및 환경 관리를 더 쉽고 모듈화하여 재현 가능하게 만드는 기술임.

- *Cardano.nix*: Cardano 인프라를 Nix 언어로 정의하고 배포하는 데 사용하는 도구 모음임.

- *SPO*: Stake Pool Operator, Cardano 네트워크에서 스테이크 풀을 운영하는 주체임.

이 도구셋은 Cardano 노드 운영자, 개발자, 프로젝트가 Cardano 컴포넌트를 안정적으로 운영하는 데 필수적임.

Cardano.nix는 Nixpkgs, Cardano node 버전, 관련 Haskell 생태계 컴포넌트의 업데이트를 꾸준히 반영해야 하며, flake-lang.nix 등 관련 도구셋의 기능 개선도 필요함.

이 제안서는 Cardano.nix의 지속적 유지보수에 필요한 자금 지원을 요청함.

---

**주석**
Nix: 선언적 패키지 관리 및 배포 도구임.
Nixpkgs: Nix의 공식 패키지 컬렉션임.
Haskell: Cardano 노드 및 관련 도구가 사용하는 프로그래밍 언어임.
flake-lang.nix: Nix 생태계 내에서 재현 가능한 개발 환경을 제공하는 도구임.

이 도구 세트는 Nix를 사용해 Cardano 인프라(노드, 지갑, 탐색기 등)를 배포하는 모든 사용자(SPO, 개발자, 기업 등)에게 안정적이고 재현 가능한 배포 방법을 제공함.

자금 지원의 가치는 다음과 같음:

- Cardano 인프라의 신뢰성 향상
- Nix 사용자들의 Cardano 온보딩 용이
- IOG 및 Daedalus Wallet 팀 등 핵심 생태계 참여자 지원[1].

**MLabs LTD**가 Cardano.nix의 주요 개발자이자 유지보수 담당임.

이 팀은 Nix, Cardano 인프라 배포, 복잡한 빌드 시스템 유지보수에 깊은 전문성을 보유하고 있음[1].

계약 관리는 Cardano Development Holdings(CDH)와 벤더 간의 오프체인 법적 계약서로 진행되며, Intersect가 관리함.

프로젝트 납품은 계약서에 명시된 마일스톤, 수락 기준, 지급 금액, 납품 일정에 따라 진행되고, 관련 정보는 예산 관리 플랫폼을 통해 공개됨.

마일스톤 완료 시 벤더가 커뮤니티, Intersect 또는 제3자 검증자에게 수락을 제출하고, Intersect의 납품 보증 기능으로 진행 상황을 모니터링함.

제3자 검증자가 각 마일스톤 산출물을 검토하고 승인하는 역할을 수행하며, 이 비용은 이번 재무 출금 일부에서 충당됨[1].

재무 관리는 Sundae Labs가 개발한 스마트 계약 프레임워크를 사용해 온체인으로 진행됨.

이 스마트 계약은 TxPipe와 MLabs의 감사를 포함해 광범위한 테스트를 거쳤으며, 메인넷에서 실제 사용 사례가 존재함[1].

Intersect는 단일 Treasury Reserve Smart Contract(TRSC)와 다수의 Project-Specific Smart Contracts(PSSC)를 관리하며, 3명의 Intersect 관리자, 2명의 리더십, 그리고 Sundae Labs, Cardano Foundation, Dquadrant, Xerberus, NMKR로 구성된 5인 외부 독립 Oversight Committee가 감시 역할을 수행함.

주요 권한 승인 절차는 다음과 같음:

| 권한 종류 | 승인 조건 |
|-----------------|-----------------------------------------|
| TRSC 자금 및 PSSC 수정 | Intersect 관리자 2명, 신뢰 기관 2명, 리더십 1명 승인 필요 |
| TRSC 분배 | 관리자 2명, 신뢰 기관 3명, 리더십 2명 승인 필요 |
| TRSC 일시정지/재개 | 관리자 2명, 리더십 1명 승인 필요 |
| TRSC 청소 | 관리자 1명, 리더십 1명 승인 필요 |
| TRSC 재조직 | 관리자 2명, 신뢰 기관 3명 승인 필요 |

자금은 TRSC의 스테이크 계좌로 입금되며, SPO에 위임되지 않고 미리 정의된 DRep에 자동 위임됨.

법적 계약 준비 및 벤더 준비 완료 시, 자금은 Fund 액션을 통해 PSSC로 이체되고, 모든 마일스톤은 메타데이터에 명시됨.

커뮤니티는 대시보드를 통해 TRSC와 PSSC를 감사하고, 출금된 에이다(₳) 관련 지표를 온체인에서 불변하게 검증할 수 있음[1].

---

**주석**
- SPO: Stake Pool Operator (스테이크 풀 운영자)
- Nix: 패키지 매니저 및 빌드 도구
- TRSC: Treasury Reserve Smart Contract (재무 준비금 스마트 계약)
- PSSC: Project-Specific Smart Contract (프로젝트별 스마트 계약)
- DRep: Delegation Representative (위임 대표자)
- IOG: Input Output Global (Cardano 개발사)
- Daedalus Wallet: Cardano 공식 데스크톱 지갑
- TxPipe: Cardano 관련 보안 감사 기관