全文
退出承诺需要可以执行的资源
Bitcoin Optech 第 428 期介绍 Lichen 研究及杂凑原像描述符提案。两个议题都涉及同一个实务问题：使用者拥有某种权利时，是否同时握有实现它所需的资金安排、证明资料与秘密？这是阅读研究的共同切入点，不代表两项提案采用同一套协议。
Lichen 的讨论应保留研究性质，不能把提出退出路径等同于产品已全面消除信任。退出权的强度取决于谁记录状态、哪些状态可提出争议，以及最终可动用的资金是否足以覆盖使用者持有的部位。
额度决定可保护的边界
以自设情境说明：若某使用者的退出安排最多能覆盖十个单位，帐面后来增加到十二个单位，额外两个单位就不能仅靠原本那份安排获得相同保障。数字只是示意，重点是帐本余额与可强制兑回额度是两个栏位。
因此，前端若只显示总余额，可能让使用者误解风险。较清楚的介面可以并列总额、受退出安排覆盖的金额，以及需要对手配合的部分。这类区分对收款尤其重要，因为接收新资产也可能改变自己原先的保障比例。
能提出争议也需要正确的状态
争议机制要处理的不是一句「我应该拿回资金」，而是一组可被验证的主张。若帐本根本没有可靠记录某次动作，后来的证明程序未必能补回缺少的事实。验证争议与保证输入状态正确，属于不同层次的问题。
从系统设计看，可以把退出过程拆成资料取得、主张生成、对方回应与链上结算，逐步问何处依赖服务商。这样才知道营运者消失、资料中断与恶意记录是否由同一种机制处理，也避免把可追责误当成不可能受损。
备份不只是保存金钥
同一期的描述符讨论提醒，某些支出条件还需要秘密原像。对使用者而言，备份完整性应依实际花费条件设计，不能预设只有一类秘密重要；同时，供观察用的资料不应不小心携带可解锁资产的内容。
编辑判断是，这两个研究方向最值得关注的成果，是能否让钱包清楚表达「可用权利」与「必要秘密」。在提案定型与实作验证之前，应把它们视为待检验的设计选项，不应因此改动现有钱包备份，或假设所有软件已支援相关格式。