이 제안은 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 관련 보안 감사 기관

This proposal seeks annual funding for the maintenance and enhancement of Cardano.nix, a foundational toolset for building and deploying Cardano infrastructure with Nix. Funding covers regular maintenance to ensure compatibility with Cardano node updates and the Nix ecosystem, bug fixes, and minor enhancements to improve the tooling based on community needs and developments in related areas like Nix Flakes*.*

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.

Cardano.nix provides foundational toolsets for building and deploying Cardano infrastructure reproducibly using Nix. Maintaining reliable infrastructure tooling is essential for node operators, developers, and projects running Cardano components. This tooling requires regular maintenance to track updates in Nixpkgs, Cardano node versions, and related Haskell ecosystem components, as well as potential enhancements to improve usability or incorporate features from related toolsets (like flake-lang.nix). This proposal seeks funding for this necessary upkeep.

Funding this proposal ensures the Cardano community continues to have access to a maintained and reliable Cardano.nix toolset. This benefits anyone deploying Cardano infrastructure (nodes, wallets, explorers) using Nix, including SPOs, developers, and enterprises. The value lies in providing reproducible, robust deployment methods, reducing configuration errors and setup time. The ROI is improved infrastructure reliability, easier onboarding for Nix users into Cardano, and support for key ecosystem players like IOG and the Daedalus Wallet team.

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