跨链状态机复制

@第{雪2022交叉链SM，title＝{跨链状态机复制}，author={Yingjie Xue和Maurice Herlihy}，日志={ArXiv}，年份={2022}，体积＝{abs/2206.07042}，网址={https://api.semanticscholar.org/CorpusID:249642613}}
此协议设计将应用程序逻辑与容错彻底分离，提供了一种系统化的方法，以更具原则性的方法替换复杂的自组织跨链协议。
[PDF]语义阅读器

2引文

卷起逃生舱口的理想特性

建立了逃生舱门机制应被视为可靠且与分散相兼容的理想属性列表。

TrustBoost：提升互操作区块链之间的信任

本文提出了一系列协议，在这些协议中，多个区块链相互作用以创建一个具有增强信任的组合账本，并表明，即使几个相互作用的区块链停止提供安全保障，组合账本仍然是安全的——这一最佳性在经典共享内存模型中得到了正式体现。

47参考文献

从系统角度看拜占庭容错状态机复制

本调查旨在通过概述最先进的技术并分析其实际影响（例如，在适用性和可组合性方面），促进BFT系统的构建任务。

Sync HotStuff：简单实用的同步状态机复制

这项工作提出了Sync HotStuff，这是一种令人惊讶的简单直观的同步BFT解决方案，在稳态下以2Δ的延迟（Δ是同步消息延迟上限）达成共识，这与最著名的部分同步解决方案相当。

实用的拜占庭容错

一种新的复制算法，能够容忍在Internet等异步环境中工作的拜占庭错误，并集成了几个重要的优化，将以前算法的响应时间提高了一个数量级以上。

异步拜占庭协议协议

以太坊混合Casper协议的激励措施

研究结果表明，Casper实施的激励机制确保了活力，同时提供了超越标准的工作证明协议的安全保障。

跨链交易和对抗性商业

这项工作提出了跨链交易的概念，这是一种构建复杂分布式计算的新方法，用于在对抗环境中管理资产，并描述了新的安全性和活跃性属性，以及在独立区块链账本系统中实现跨链交易所需的两种替代协议。

RITAS：随机入侵容忍服务

研究表明，即使在可能发生任意故障的敌对环境中，随机化也是一种极具竞争力的方法，本文描述了一组随机入侵容忍协议，并在几种设置下对其性能进行了评估。

跨区块链的原子承诺

提出了AC3WN，使用第一个分散的全或无原子跨链承诺协议和开放的无许可见证人网络来保证冲突事件永远不会同时发生，并且原子跨链交易中的所有智能合约要么被赎回，要么全部被退款。

BFT协议中的蜂蜜獾

HoneyBadgerBFT是第一个实用的异步BFT协议，它在不做任何定时假设的情况下保证了活跃性，并且基于一个新的原子广播协议，该协议实现了最佳的渐近效率。

在没有诚实参与者的情况下实现状态机复制

提出了ByRa模型，该模型确定了所有协议为了实现状态机复制必须满足的期望和公平性方面的强激励兼容性的属性，并提供了Tenderstake，一个可证明满足这些属性的协议，通过这样做，在ByRamodel中实现了状态机复制。