Constraint system that encodes a computation for proving and verifying via zk‑SNARKs or zk‑STARKs. ← Call Data (EVM) CLTV (CheckLockTimeVerify) →
