以社群重建核對執行檔來源:以太坊客戶端的見證構想
Is this binary actually built from that public source code?
場次摘要
下載的執行檔,是否真的來自公開原始程式碼?講者指出,團隊編譯、發布並簽署軟體後,使用者即使驗證簽章,仍無法據此確認兩者相符。他比較自行編譯、社群協作重建與零知識證明等途徑:部分工具鏈的編譯負擔使自行建置不切實際,人工協作需要協調,以零知識證明驗證編譯則成本高昂。 他提出以社群見證作為折衷,由部分參與者在本機重建軟體,公開產物的雜湊值,供他人核對。他介紹的業餘專案 legit.build 聚焦以太坊執行層與共識層客戶端,描述了透過提示詞引導工具取得程式碼、編譯並發布見證的流程。不過,發布後端仍有不同構想;部分客戶端也需要額外設定,或會把時間戳記寫入產物,要讓重建結果一致仍有挑戰。
值得記下的 5 件事
- [1:20]
簽章不能單獨證明執行檔與公開程式碼相符 講者指出,發布者會編譯並簽署執行檔,使用者則下載、驗證後執行
但即使簽章驗證通過,仍不能據此確定檔案確實由公開的原始程式碼編譯而成。
- [2:00]
不同驗證方式各有負擔 自行取得原始程式碼並編譯是一條途徑,但講者認為部分工具鏈的編譯負擔使它不切實際
社群手動重建需要協調;零知識證明(ZK)也可用於驗證編譯過程,但他指出成本很高。
- [4:00]
社群見證是單一發布者與人人編譯之間的折衷 講者構想由部分參與者在本機編譯,再公開表示產物的雜湊值相符
雜湊值可用來比對檔案內容;這項構想不要求每位使用者都自行重建,而是讓其他人參考參與者公開的核對結果。
- [4:20]
legit.build 將見證構想用於以太坊客戶端 講者介紹這項業餘專案,目前聚焦執行層與共識層客戶端
他描述把提示詞交給 Claude Code 或 Cursor 等工具,取得客戶端程式碼、編譯並發布見證的流程;發布後端則仍有多種構想,不能視為都已完成。
- [6:00]
讓重建結果一致仍有實作障礙 問答談到確定性建置,也就是讓相同來源在相同條件下產生一致結果
講者表示,測試客戶端時必須設定許多編譯選項,有些產物還會包含時間戳記,這些都是重建比對時的挑戰。
更多來自 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