Platypus：一种用于区块链的部分同步链下协议

链下协议旨在通过允许参与者子集在区块链之外执行多笔交易，规避经典区块链的可扩展性与隐私局限。现有如支付网络与工厂等方案依赖复杂路由协议，其他方案则仅要求参与者构建\emph{子链（childchain）}——一个其二等交易被私密执行的次级区块链。遗憾的是，所有子链方案均假设同步性或可信执行环境。本文提出 Platypus，一种既不需要同步性也不需要可信执行环境的子链。免除可信执行环境使 Platypus 能在不信任如 Intel 等制造 SGX 等专用硬件芯片的中央机构的情况下确保隐私。免除同步性意味着无攻击者能利用时钟漂移或消息延迟诱导时间锁来窃取代币。为证明算法正确，我们将子链问题形式化为经典原子提交（Atomic Commit）问题的拜占庭变体，其中关闭子链等价于将先前记录于子链上的整组支付“原子地”提交至主链。Platypus 具有弹性最优性，我们说明了如何将其推广至跨链支付。