Dev.toTypeScript 문법 기반의 ZK-Proof 제약 조건 선언 시스템 Compact 분석Compact Is Not TypeScript. That's the Whole Point.Securityadvanced13 분 소요2026년 4월 23일