强制操作
‌为了保证资金的自主保管,在任何时间点,用户都可以选择执行强制请求。 强制请求是由L1交易发起的,以避免审查。 如果在限定的时间内请求未得到满足,用户可以冻结合约(也就是交易所)并直接从冻结的合约中取款。

强制操作流程

强制操作的句法和业务逻辑取决于StarkEx服务的特定应用程序。 但是,通常-有两种可能的流程,“正向”和“负向”。

‌正向流:应用程序服务于强制操作

‌应用程序将强制操作发送到StarkEx。 StarkEx根据确切请求的身份和所涉及的业务逻辑来决定链上请求是否有效。 例如-假设Alice请求从特定的vaultId(保险库ID)(据称是属于她的)中提取1000 USDC。
如果请求有效,那么将在Alice的链下保险库上执行该操作。 在我们的示例中,将从Alice的链下余额中扣除1000 USDC,并且相同的金额将被标记为属于Alice的链上资产。
如果不是这种情况(例如,根据业务逻辑Alice最多可以提取500USDC,或者保险库编号vaultId的持有者实际上是Bob),StarkEx会证明这一点,并且不会有资金在链上转移。
在这两种情况下,此请求的证据被提交后,该请求将从待处理的 “强制操作” 中被删除。 这意味着它再也不能合法化任何未来的冻结合约的请求。

负向流:操作员尝试审查Alice

如果已经过了足够的时间(FREEZE_GRACE_PERIOD-冻结-宽限期),并且“强制操作”仍在待处理的“强制操作”区域中, Alice则可以调用冻结请求以及被忽略的“强制操作”的参数。 结果就是,交易所被冻结,并且无法接受其他状态更新。 但仍然可以提取链上资金。
智能合约的冻结状态详情可参阅 此处