컴팩트는 TypeScript가 아니다. 그게 핵심이다.

Compact은 TypeScript처럼 실행되는 코드가 아니라, 제로지식 증명을 위한 제약 조건을 기술하는 언어다.

이 모델은 비공개 데이터 위에서 올바른 계산을 증명하고, 체인에서는 증명만 검증하는 구조를 만든다.

assert, witness data, disclose() 같은 개념이 프라이버시 경계와 공개 범위를 명확히 나눈다.

반복문 제한과 컴파일 타임 상수 같은 언어 제약은 ZK 회로에 맞는 안전한 계산을 보장한다.