Compact Is Not TypeScript. That's the Whole Point.

Compact is not ordinary executable code like TypeScript; it defines constraints for zero-knowledge proofs.

The model proves correct computation over private data, while the chain only verifies the proof.

Concepts like assert, witness data, and disclose() define privacy boundaries and what can be revealed.

Limits such as bounded loops and compile-time constants make the language fit ZK circuit execution safely.