冷熱雙副本與簽署承諾:智慧合約如何驗證外部資料
Blob or chunk: which one is cypherpunk? Infinitely scalable data for smart contracts
場次摘要
Viktor Tron 比較以太坊的 blob 資料與儲存網路,探討智慧合約如何使用可驗證的外部資料。他指出,blob 可承載任意資料,發布時透過共識提供可用性,但不等於長期儲存;到期後若仍要取用,還需要儲存層。資料不可取得本身也不留下足以直接罰沒節點的證據。 他提出冷熱儲存分工:熱儲存保留一份本地副本,另一份交由獨立的冷儲存網路持有,並以推導出的次要位址避免自行挑選擔保者。冷儲存節點簽署承諾、提供保證金,未按承諾提供資料可受挑戰。他另說明以資料收錄證明、索引與標準化格式供合約驗證外部資料,並提及 EIP-3668;「無限擴展」則是講者主張,未附規模測試。
值得記下的 5 件事
- [2:20]
blob 的發布可用性不等於長期儲存 講者指出,blob 可承載任意資料,並透過共識向節點廣播
但若要在保留期限過後繼續使用這些資料,仍需另外的儲存層。
- [2:40]
資料取不到,不代表已有可罰沒的證據 講者區分資料不可取得與可追究的違約行為:定期提交儲存證明,可讓未提交承諾的責任有所歸屬,但持有者仍可能只提供抽查部分、扣住其餘資料
資料可用性抽樣主要降低發布當下資料不可取得的機率。
- [3:20]
以獨立冷副本補強單一持有者的設計 講者提出將 Swarm 的本地副本減至一份,再由另一個冷儲存網路持有第二份
次要位址由主要位址的雜湊推導,兩個網路各自分派節點,使節點不能自行挑選擔保者;這是他描述的方案方向,而非已確認的部署成果。
- [5:20]
簽署承諾讓未提供資料的責任可被追究 在這項設計中,冷儲存節點只對見過的資料簽署集合根,也就是代表整批資料的驗證摘要,並以保證金承擔責任
證明路徑可指出負責的節點;講者主張,若挑戰確認節點未按承諾提供資料,就能據此罰沒。
- [1:00]
讓合約驗證外部資料,不必把全部資料放上鏈 講者主張,在資料責任可歸屬的前提下,合約可透過有效性證明使用資料
他描述以證明確認紀錄被收錄、以索引確認屬性值,再將值用於合約,並提及 EIP-3668 作為驗證外部資料的途徑;這不等於已證實可無限擴展。
更多來自 DEVCON 8
Arrow 的硬體 DAO 實驗:AI 協作、在地製造與責任分工
A DAO Shipped an Aircraft: What It Takes to Coordinate Atoms with Tokens
Thomas Garrison
Kohaku:以 SDK 將隱私與安全功能帶入以太坊錢包
Kohaku : privacy for everyone, by default
Nico、Vitalik
私密區塊鏈的取捨:隱私、去中心化與合約協作
Private State, Public Network: The Tradeoffs Behind Privacy
Zachary Williamson