- HLabs는 대다수의 에이다 개발자가 사용하는 TypeScript 도구의 상당 부분을 유지 관리함 .

- HLabs의 사명은 진정한 탈중앙화가 애플리케이션 개발의 기본 사양이 되도록 하는 것임 .

- 본 제안은 두 가지 상호 보완적인 엔지니어링 트랙에 자금을 지원함 .

- 첫 번째 트랙인 Pebble은 에이다 최초의 상용 수준 명령형 스마트 컨트랙트 언어임 .

- Pebble은 TypeScript와 유사한 구문을 사용하여 Aiken보다 우수한 성능의 온체인 코드를 생성함 .

- 두 번째 트랙은 HLabs의 TypeScript 스택을 프로토콜 업그레이드와 동기화하는 도구 유지 관리임 .

- 이 스택은 Mesh 및 Lucid Evolution과 같은 주요 프로젝트가 의존하는 필수 인프라임 .

- Gerolamo 라이트 노드 지원은 별도의 제안을 통해 독립적으로 투표가 진행됨 .

- 본 프로젝트는 12개월간 진행되며 하드포크 대응과 Pebble 출시를 주요 목표로 함 .

- 총 예산 요구액은 1M 달러(₳4M)와 15%의 예비비(₳600,000)를 포함한 총 4.6M ₳임 .

- ■ 주석 *TypeScript: 자바스크립트에 정적 타입을 추가한 프로그래밍 언어 **UPLC: 에이다 블록체인에서 실행되는 실행 가능한 코드 형태 ***Aiken: 에이다 스마트 컨트랙트 작성을 위한 현대적인 언어 ****Plutarch: 에이다 스마트 컨트랙트 최적화를 위한 라이브러리 *****Hard-fork: 블록체인의 기존 규칙을 근본적으로 변경하는 업데이트

- Aiken은 함수형 설계로 인해 명령형 알고리즘 구현에 한계가 있으나 Pebble은 명령형 우선 방식을 채택하여 이를 보완함 .

- Pebble은 TypeScript, Rust, Solidity와 유사한 인지 모델을 제공하며 컴파일러가 직접 최적화를 수행함 .

- 성능 면에서 Pebble은 Aiken보다 우수하며 수동 최적화된 Plutarch와 대등한 수준의 CPU 및 메모리 효율을 보여줌 .

- 에이다 개발자 중 가장 큰 비중을 차지하는 TypeScript 사용자들에게 익숙한 구문을 제공하여 최적의 온보딩 환경을 구축함 .

- Solidity 개발자들에게 익숙한 명령형 구조를 제공함으로써 eUTxO 모델로의 전환 장벽을 획기적으로 낮춤 .

- Pebble은 Aiken을 대체하는 것이 아니라 명령형 옵션을 제공하여 두 언어가 공존하며 생태계 외연을 확장함 .

- HLabs의 TypeScript 스택 유지보수는 Mesh, Lucid Evolution 등 주요 프로젝트의 안정적인 운영을 위해 필수적임 .

- 하드포크 발생 시 프로토콜 변경 사항에 맞춰 라이브러리를 업데이트함으로써 생태계 파편화와 중단 위험을 방지함 .

- 이 제안은 최소한의 인력과 비용으로 스마트 계약 언어 완성 및 핵심 도구의 유지보수를 달성하는 것을 목표로 함 .

- ■ 주석 *Aiken: 에이다의 기본 함수형 스마트 계약 언어 **Plutarch: 고성능을 지향하는 저수준 스마트 계약 언어 ***UPLC: 에이다 블록체인에서 실행되는 최종 바이트코드 형태 ****eUTxO: 에이다의 확장된 미사용 트랜잭션 출력 모델 *****FTE: 전일제 환산 인력 단위 ******LSP: 코드 편집기 기능을 지원하는 언어 서버 프로토콜 *******CBOR: 간결한 이진 객체 직렬화 형식 ********SDK: 소프트웨어 개발 키트 *********EVM: 이더리움 가상 머신 **********KPI: 핵심 성과 지표

- 1 FTE는 연간 $200k로 산정하며, 이는 개발자 급여 외에 운영비와 세금 등을 포함한 기업의 총수입을 의미함 .

- 기본 예산 $1M에 15%의 예비비를 추가하여 총 $1.15M을 산정했으며, 이를 0.25 ADA/USD 환율로 변환함 .

- 예산은 스마트 계약 에스크로를 통해 관리되며, 독립적인 감독 위원회의 승인을 거쳐 단계별로 지급됨 .

- 마일스톤은 착수 단계인 M0부터 2027년 1분기 M4까지 총 5단계로 구성됨 .

- Pebble 언어 개발에 3.5 FTE를 배정하여 타입 시스템, 컴파일러 안정화, 개발 도구 구축을 진행함 .

- 하드포크 및 기존 라이브러리 유지보수에 1.5 FTE를 투입하여 생태계 안정성을 보장함 .

- Pebble은 TypeScript와 유사한 문법을 제공하여 Web2 및 EVM 개발자의 유입을 촉진하는 역할을 수행함 .

- 모든 자금 집행과 진행 상황은 GitHub를 통해 투명하게 공개하며 월간 및 분기별 보고서를 발행함 .

- 본 제안은 카르다노 헌법의 거버넌스 및 재무 지침을 준수하며 전략적 방향성과 일치함 .

- ■ 주석 *FTE: 전일종량제, 1인이 풀타임으로 일하는 작업량을 의미함 **UPLC: Untyped Plutus Core, 카르다노 온체인 스마트 계약의 하위 실행 언어임 ***LSP: Language Server Protocol, 코드 편집기 기능을 지원하는 통신 규약임 ****Escrow: 특정 조건 충족 시까지 제3자가 자금을 보관 및 관리하는 방식임 *****Hard Fork: 블록체인 네트워크의 기존 규칙을 근본적으로 변경하는 업그레이드임 ******DRep: 위임 대표, 카르다노 거버넌스에서 투표권을 행사하는 주체임