Lido - DeFi Security Summit 2023 gold sponsorship interviews
三句話摘要
Lido協議負責人分享以太坊液態質押方案的安全工程實踐與DeFi安全未來發展方向。 嚴格的多層次安全流程與DeFi行業的日益成熟形成正反饋迴圈，形式化驗證與鏈下安全工具將成為下一代協議的競爭焦點。 液態質押通過協議層簡化以太坊質押門檻，使用戶無需持有32個ETH或維護自有硬件，擴大質押參與度。
重點整理
重點- 1
液態質押通過協議層簡化以太坊質押門檻，使用戶無需持有32個ETH或維護自有硬件，擴大質押參與度。
- 2
Lido採用嚴格的安全流程，包括設計階段發布改進提案、內部與跨團隊審查、外部審計、位元組碼驗證與部署派對，確保合約安全性。
- 3
DeFi正邁向成熟期，用戶從盲目參與轉向進行盡職調查，推動項目更優先考慮安全，導致安全領域競爭加劇。
- 4
形式化驗證與鏈下安全工具（如前端、機器人）將成為未來重點，需要更多關注改進鏈下工具的安全性。
實用技巧與重點
乾貨- Lido TVL：約150億美元
- 質押最低門檻：32個ETH
- 安全流程階段：設計→規範→ADR（Lido改進提案）→內部審查→跨團隊審查→外部審計→修復→複審→部署
- 部署會議時長：三小時線上會議（稱為「部署派對」）
- 部署驗證方式：Etherscan上傳至GitHub驗證、位元組碼驗證
- 審計結果發布方式：放在審計封裝器內公開
結論
結論“嚴格的多層次安全流程與DeFi行業的日益成熟形成正反饋迴圈，形式化驗證與鏈下安全工具將成為下一代協議的競爭焦點。”
完整解析
詳細Lido是建立在以太坊原生質押機制之上的協議層，為解決傳統質押的參與門檻而設計。由於以太坊原生質押需要持有32個ETH並自行維護硬件設備，這對大多數用戶形成了高度的進入障礙。Lido通過液態質押解決方案，允許用戶將質押任務委託給專業節點運營商，大幅降低了參與難度，目前已累積約150億美元的總鎖定價值。
Lido將安全視為協議開發的首要責任，建立了一套完整的多層次審查流程。從設計階段開始，所有改進提案（ADR）都會發佈在社區論壇上供反饋，然後進入實現階段進行代碼編寫。代碼完成後，不僅開發人員參與審查，分析人員也會加入跨團隊審查，之後再將代碼提交給外部審計機構。審計機構的發現會被認真對待，並在代碼庫中進行改進，通過複審確認後才能進入部署階段。
部署本身也是一個極其嚴格的流程，稱為「部署派對」。Lido會召集合約開發人員及所有參與交易執行的人員，在三小時的線上會議中再次檢視整個測試套件、部署腳本與智能合約代碼。一旦確認無誤，執行部署交易將代碼推送至主網，隨後通過內部工具進行多重驗證，包括將合約代碼從Etherscan上傳至GitHub驗證，甚至驗證位元組碼的一致性。獲得最終批准後，合約地址會提交給審計人員，最終在公開的審計封裝器中發佈審計報告。
展望DeFi的未來，Lido認為該領域正邁入成熟階段。用戶不再盲目參與每個DeFi機會，而是進行更謹慎的盡職調查，這迫使項目更加重視安全性，導致安全競爭加劇。未來的重點將包括形式化驗證技術的應用，以及對鏈下工具（如前端及機器人等）的安全關注增強，因為這些工具的安全性仍有相當大的改進空間。
關鍵時刻
Pipeline v2帶時間戳的重點，會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。
事實查核
Pipeline v2說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。
