- 스크립트 비용 절감과 표현력 향상을 위해 Plutus 언어에 새로운 구문 형태와 프리미티브를 추가하여 더 효율적인 계약 패턴을 구현함 .

- 노드 다양성 증가에 대응하여 형식 명세, 적합성 테스트, 구조화된 보안 검토를 통해 시스템의 정확성을 지원함 .

- 설정 마찰을 줄이고 오류 보고를 개선하며 접근성을 높이기 위해 컴파일러와 툴링 경험을 개선함 .

- 이러한 작업은 Plutus 사용 비용을 낮추고 신뢰도를 높이며 개발자 채택을 용이하게 하여 에이다 생태계의 기반을 공고히 함 .

- Input Output 및 VacuumLabs와의 기술 협력을 통해 Plutus 관리 책임을 전문 팀들에 분산함 .

- Intersect가 마일스톤 기반 스마트 계약을 통해 자금을 관리하며 독립적인 감독을 수행하고 미사용 자금은 국고로 반환함 .

- 요청 예산은 총 ₳11.87M임 .

- ■ 주석 *Plutus: 에이다 블록체인에서 스마트 계약을 작성하기 위한 프로그래밍 언어 **Smart Contract: 블록체인 네트워크에서 조건이 충족되면 자동으로 실행되는 디지털 계약 ***Primitive: 프로그래밍 언어에서 제공하는 가장 기초적인 데이터 단위나 연산 기능 ****Node: 블록체인 네트워크를 유지하고 데이터를 검증하는 개별 컴퓨터 서버 *****Treasury: 에이다 생태계의 지속 가능한 발전을 위해 비축된 국고 자금

- 플루투스의 실행 효율성과 표현력을 높여 온체인 실행 비용을 절감할 계획임 .

- CIP-0156 및 CIP-0168 도입을 통해 리스트 및 다중 자산 연산 효율을 개선함 .

- 보안상 이점 없이 지연을 초래하는 스코프 체크를 제거하여 검증 오버헤드를 줄임 .

- 형식 검증과 보안 감사를 강화하여 노드 다양성 환경에서도 정확성을 보장함 .

- 속성 기반 테스트 프레임워크를 도입하고 메타이론의 공식화를 확장함 .

- 컴파일러 아키텍처를 개선하여 명확한 오류 메시지를 제공하고 개발 환경 설정을 간소화함 .

- Nix나 C 라이브러리 의존성을 제거하여 신규 개발자의 진입 장벽을 낮춤 .

- Van Rossem 하드포크 이후 Dijkstra 하드포크를 준비하며 적기에 기능을 확장함 .

- Input | Output과 VacuumLabs의 협업을 통해 핵심 인프라의 분산된 소유 모델을 실현함 .

- ■ 주석 *Plutus: 에이다 스마트 컨트랙트의 기반이 되는 프로그래밍 언어 및 플랫폼임 **UPLC: Untyped Plutus Core의 약자로 플루투스의 실행 모델임 ***CIP: Cardano Improvement Proposal의 약자로 에이다 개선 제안임 ****Formal Verification: 프로그램이 명세대로 작동함을 수학적으로 증명하는 과정임 *****Nix: 소프트웨어 배포 및 패키지 관리를 위한 도구임 ******Agda: 메타이론 공식화에 사용되는 증명 보조 도구임 *******Hard Fork: 블록체인의 기존 규칙을 근본적으로 변경하는 업데이트임 ********Poseidon: 영지식 증명에 최적화된 해시 함수임

- 보안 감사와 공식 검증을 통해 노드 다양성 확장에 따른 안정적인 기반을 마련함 .

- 개발자 도구 및 경험 개선으로 진입 장벽을 낮추고 더 많은 개발자가 컨트랙트를 배포할 수 있도록 지원함 .

- VacuumLabs와의 협업은 에이다 핵심 인프라가 특정 조직이 아닌 다양한 전문가 팀에 의해 유지 관리됨을 의미함 .

- 자본 효율성 개선과 보안 강화를 통해 TVL을 증대시키고 금융 프로토콜의 매력도를 높임 .

- 실행 비용 절감으로 트랜잭션 단가를 낮추어 어플리케이션 설계의 유연성을 확보하고 거래량을 늘림 .

- 개발자 온보딩 경로를 단순화하여 활성 사용자 수와 DApp 생태계 확장을 도모함 .

- 속성 기반 적합성 테스트 프레임워크를 통해 대체 노드 클라이언트 개발을 지원하고 네트워크 복원력을 강화함 .

- 2026년 3분기부터 2027년 2분기까지 UPLC 기능 확장, 보안 감사, 컴파일러 개선 등 단계별 로드맵을 실행함 .

- 총 예산은 ₳11.8M이며, 이 중 86%를 개발에 투입하고 나머지는 인프라, 보안, 운영 등에 배정함 .

- Intersect와 법적 계약을 체결하고 스마트 컨트랙트를 활용하여 투명하게 예산을 관리 및 집행함 .

- ■ 주석 *Plutus: 에이다의 스마트 컨트랙트 프로그래밍 언어임 .

- **UPLC: Untyped Plutus Core의 약자로 Plutus의 하위 수준 실행 언어임 .

- ***TVL: Total Value Locked의 약자로 블록체인 내 총 예치 자산 규모임 .

- ****MAU: Monthly Active Users의 약자로 월간 활성 사용자 수임 .

- *****CIP: Cardano Improvement Proposal의 약자로 에이다 개선 제안임 .

- ******GHC: Glasgow Haskell Compiler의 약자로 Haskell 언어 컴파일러임 .

- *******Agda: 프로그램의 정확성을 증명하기 위해 사용하는 정식 검증 도구임 .

- ********AST: Abstract Syntax Tree의 약자로 소스 코드의 구조를 트리 형태로 표현한 것임 .

- *********SNARK: 간결하고 비대화적인 영지식 증명 기술임 .

- **********DRep: Delegate Representative의 약자로 에이다 거버넌스의 위임 대표자임 .

- ***********SPO: Stake Pool Operator의 약자로 에이다 스테이크 풀 운영자임 .

- ************IPFS: InterPlanetary File System의 약자로 분산형 파일 시스템임 .