Objective insurance markets on emergency pause actions. A Brevis ZK proof verifies whether a protected contract was paused by the expected guardian within the market window.
Owner registers the guardian-pause circuit verification key with the adjudicator.
LaunchpadEngine configures the market with the guardian pause parameters and a deadline.
Keeper submits a Brevis proof request. The query params are validated against stored config.
Brevis gateway delivers the ZK proof result. The circuit proves whether the pause event occurred.
Market is settled with the proven outcome. T* marks when the condition became true.