btc
llmgate
OP_CAT Covenant Library + Activation-Day Launch Pack
Formally-verified reference implementations of the most-demanded covenant constructions, audit-ready the week OP_CAT activates.
op_catcovenantsbip-347formal-verificationvaultsl2
ANGLES §11. Customers: every L2 team, custody builder, and covenant-dependent protocol (Ark, ColliderVM, OP_Vault) that paused hiring until activation. Pre-build vaults, Ark v2, ColliderVM, CTV+CSFS vaults, Ark withdrawal proofs. Deep-tech: formally verified (Rosette/Coq), not just unit-tested. Narrative advantage: the team that made OP_CAT usable within a week. Kill: OP_CAT doesn't reach 51% signalling through 2028.
source: ANGLES.md#11