强制操作
为了保证资金的自主保管，在任何时间点，用户都可以选择执行强制请求。 强制请求是由L1交易发起的，以避免审查。 如果在限定的时间内请求未得到满足，用户可以冻结合约（也就是交易所）并直接从冻结的合约中取款。
强制操作流程
强制操作的句法和业务逻辑取决于StarkEx服务的特定应用程序。 但是，通常-有两种可能的流程，“正向”和“负向”。
正向流：应用程序服务于强制操作
应用程序将强制操作发送到StarkEx。 StarkEx根据确切请求的身份和所涉及的业务逻辑来决定链上请求是否有效。 例如-假设Alice请求从特定的
vaultId（保险库ID）（据称是属于她的）中提取1000 USDC。如果请求有效，那么将在Alice的链下保险库上执行该操作。 在我们的示例中，将从Alice的链下余额中扣除1000 USDC，并且相同的金额将被标记为属于Alice的链上资产。
如果不是这种情况（例如，根据业务逻辑Alice最多可以提取500USDC，或者保险库编号
vaultId的持有者实际上是Bob），StarkEx会证明这一点，并且不会有资金在链上转移。在这两种情况下，此请求的证据被提交后，该请求将从待处理的 “强制操作” 中被删除。 这意味着它再也不能合法化任何未来的冻结合约的请求。
负向流：操作员尝试审查Alice
如果已经过了足够的时间（FREEZE_GRACE_PERIOD-冻结-宽限期），并且“强制操作”仍在待处理的“强制操作”区域中， Alice则可以调用冻结请求以及被忽略的“强制操作”的参数。 结果就是，交易所被冻结，并且无法接受其他状态更新。 但仍然可以提取链上资金。
Last modified 1yr ago
Copy link