演进中的比特币托管

本论文的广泛主题是关于比特币托管系统的设计与分析。技术与威胁态势都在不断演进。因此，托管系统、防御策略和风控模型也应当是自适应的。我们通过描述托管系统的不同类型、设计原则、阶段和功能来介绍比特币托管。我们回顾了这些系统的技术栈并聚焦于基础：密钥管理和隐私。我们提出了一种称为系统视角的观点。它试图捕获托管系统的全部复杂性，包括技术、人员和流程。我们回顾了现有的托管系统和标准。我们探索了比特币契约（covenants）。这是一种对交易序列施加约束的机制。尽管先前工作已提出如何构造和应用比特币契约，但这些都需要修改比特币的共识规则，这是一项出了名的困难任务。我们首次详细阐述并安全分析了与当前共识规则兼容的删密钥契约协议。我们展示了一系列看似实用的删密钥契约安全模型，特别是在自主（用户控制）托管系统中应用时。我们以与先前方案的对比分析作结。契约常被宣称是托管系统的重要原语，但尚无完整设计来验证该主张。为此，我们提出了一种称为 Ajolote 的自主托管系统，它使用删密钥契约来强制执行金库序列。我们通过其状态动力学模型、隐私分析和风险模型对 Ajolote 进行评估。我们提出了一种捕获具有离线设备和用户验证系统的现实攻击者的托管系统威胁模型。我们执行仪式分析以构建风险模型。