全文
退出承諾需要可以執行的資源
Bitcoin Optech 第 428 期介紹 Lichen 研究及雜湊原像描述符提案。兩個議題都涉及同一個實務問題：使用者擁有某種權利時，是否同時握有實現它所需的資金安排、證明資料與秘密？這是閱讀研究的共同切入點，不代表兩項提案採用同一套協議。
Lichen 的討論應保留研究性質，不能把提出退出路徑等同於產品已全面消除信任。退出權的強度取決於誰記錄狀態、哪些狀態可提出爭議，以及最終可動用的資金是否足以覆蓋使用者持有的部位。
額度決定可保護的邊界
以自設情境說明：若某使用者的退出安排最多能覆蓋十個單位，帳面後來增加到十二個單位，額外兩個單位就不能僅靠原本那份安排獲得相同保障。數字只是示意，重點是帳本餘額與可強制兌回額度是兩個欄位。
因此，前端若只顯示總餘額，可能讓使用者誤解風險。較清楚的介面可以並列總額、受退出安排覆蓋的金額，以及需要對手配合的部分。這類區分對收款尤其重要，因為接收新資產也可能改變自己原先的保障比例。
能提出爭議也需要正確的狀態
爭議機制要處理的不是一句「我應該拿回資金」，而是一組可被驗證的主張。若帳本根本沒有可靠記錄某次動作，後來的證明程序未必能補回缺少的事實。驗證爭議與保證輸入狀態正確，屬於不同層次的問題。
從系統設計看，可以把退出過程拆成資料取得、主張生成、對方回應與鏈上結算，逐步問何處依賴服務商。這樣才知道營運者消失、資料中斷與惡意記錄是否由同一種機制處理，也避免把可追責誤當成不可能受損。
備份不只是保存金鑰
同一期的描述符討論提醒，某些支出條件還需要秘密原像。對使用者而言，備份完整性應依實際花費條件設計，不能預設只有一類秘密重要；同時，供觀察用的資料不應不小心攜帶可解鎖資產的內容。
編輯判斷是，這兩個研究方向最值得關注的成果，是能否讓錢包清楚表達「可用權利」與「必要秘密」。在提案定型與實作驗證之前，應把它們視為待檢驗的設計選項，不應因此改動現有錢包備份，或假設所有軟體已支援相關格式。