生态安全

info

Hyperlane致力于让欺诈行为付出高昂代价。 Staking和slashing很快就会公布。此页面仅供参考之用。细节可能会随着设计的成熟而改变。

Staking和slashing允许生态安全被添加到依赖验证者签名的ISMs中，包括Multisig ISM和Optimistic ISM。

Hyperlane验证器可以选择参与Hyperlane的质押协议。之后，如果这些验证者试图伪造或审查链间消息，他们的权益，以及任何委托给他们的权益，都可以被削减。

依赖于这些验证者签名的Interchain Security Modules可以从质押和削减提供的额外经济安全性中获益。

与许多其他链间通信协议不同，Hyperlane的削减协议使用了可验证的欺诈证据。

这意味着Hyperlane协议能够在没有可信方参与的情况下验证验证者是否签署了欺诈检查点。

这是可能的，因为验证者提出的权益与他们所证明的状态(即邮箱默克尔根)在同一条链上。削减智能合约可以将验证器签名与最新根进行比较，并执行一些复杂的默克尔树操作，以确认验证器签署的检查点是否具有欺诈性。

在许多其他链间通信协议中，验证者的权益通常存在于与链间消息来源不同的链上。

Hyperlane不希望允许这种可能性，因此在Hyperlane中，验证者必须将其绑定的权益保留在他们正在验证的原始链上。这意味着欺诈证明是不可信的。被审查的欺诈记录与被削减的质押存在于同一环境中，在欺诈证明过程中没有任何错误的余地。

Hyperlane将在发布时作为EigenLayer AVS提供，更多信息请参阅这篇博客文章design。