去年冬天,我在匝道上被追尾了。我當天下午就給保險公司提供了一個簡短的說明。兩週後,一名理賠員打來電話要我提供錄音陳述,並讓我把內容說得更慢,來回補充細節,比如我當時雙手放在哪裏。我的版本之所以經得起覈查,是因爲它是真的。
同樣的那條路上,有位同事在提交理賠時往裏“添了點”——結果就沒那麼幸運了。第二次的時序發生了足夠大的偏移,理賠員因此察覺了問題。
加密貨幣裏那種樂觀的問責(optimistic accountability)也有同樣的問題:它取決於有人在挑戰窗口關閉之前捕捉到端倪。
Babylon 跳過了觀察者;它的“最終性(finality)提供者”會通過數學自行暴露。每個提供者都會通過 EOTS 管理器,爲它打算對每一個未來區塊高度進行投票的時刻,提交公開的隨機性。
在同一高度上對兩個區塊投票,而又複用那段隨機性是不可避免的。兩次簽名會合併起來,進而提取出提供者的私鑰——這是該簽名方案的性質。任何人都可以提交懲罰(slashing)交易;一旦完成懲罰,投票權將降爲零,而且 tombstoning(永久標記)不可逆。
自我審視:正是這種不可逆讓人感到不舒服。協議對“誠實的離線停機”是寬容的——提供者離線不必因此受罰,但對“意外的等同(equivocation)”卻不寬容。
EOTS 無法判斷某次雙重簽名是故意的,還是由於故障轉移失敗或軟件 bug 導致的誠實錯誤。兩種情況都會產生相同的兩份相互衝突的簽名,並且兩者都會被永久 tombstoned,且無法申訴。
我的理賠員本可以追問並權衡意圖;但這些數學只看碰撞(collision)。質押提供者已經在售賣反懲罰(anti-slashing)工具來填補這道空白,而不是指望協議能原諒。
Babylon 從一種失效模式中移除了信任:刻意的 equivocation,而不是提供者可能失敗的每一種方式。
$BABY 應該根據某個機制實際上從哪種失效模式中移除了信任來評估,而不是僅憑“懲罰使其免信任”的說法。
#baby #BTCStaking #bitcoin @BabylonLabs_io $IDOL $BTW