EIP-8222：精簡質押（Lean Staking）
精簡質押是一個兩階段協議，透過 zkSNARK 技術切斷以太坊存款地址與驗證者金鑰之間的公開連結，為私密 ETH 轉帳提供首個雙向合理推諉性。
與 @mmjahanara 共同撰寫
[EIP-8222](Add EIP: Lean Staking by dmpierre · Pull Request #11500 · ethereum/EIPs · GitHub) 的討論主題
精簡質押（Lean Staking）是一種 L1 原生的兩階段質押協議，它打破了以太坊存款地址與共識層驗證者金鑰之間的公開連結。存款人在向質押合約提交 ETH 的同時，會附帶一個加密承諾，而無需透露任何驗證者金鑰對。隨後，另一方透過提交承諾所有權的零知識證明來申領該存款，此時存款才會進入驗證者排隊序列。該協議透過修改質押合約並結合 zkSNARK 實現，不需要對共識層進行任何修改。
我們在 Macbook M1 Pro 上使用 LeanVM 對我們的 zkSNARK 進行了基準測試。LeanVM 是目前由以太坊基金會開發的一種後量子、預期將通過形式化驗證的證明系統。
我們還引入了一個可選的兩階段提款擴展方案，使用新型的 0x03 提款憑證類型。它允許驗證者打破其驗證者金鑰與提款地址之間的連結。這實現了一條從「待處理存款」直接到「待處理提款」的路徑，防止僅追求隱私的用戶被激活為驗證者。此擴展方案提供了雙向的可否認性（plausible deniability）：發送者和接收者的操作與常規質押操作無異。
據我們所知，這是第一個為以太坊上的隱私 ETH 轉帳提供雙向可否認性的結構。
1 則貼文 - 1 位參與者
[閱讀完整主題](https://ethereum-magicians.org/t/eip-8222-lean-staking/28196)