【英文长推】Lido 结合 Succinct 的 SP1 协处理器增强预言机安全
Chainfeeds 导读:
Lido 引入零知识证明(ZKP)技术来提升其预言机的安全性,该解决方案通过 Succinct 的 SP1 协处理器,将部分计算转移至链下,并在链上进行验证,大幅优化了预言机的更新效率。
文章来源:
https://x.com/succinctlabs/status/1854959099030782159
文章作者:
Succinct Labs
观点:
Succinct Labs:Lido Finance 的贡献者们正在利用零知识证明(ZKP)来增强 Lido 协议。SP1 将通过提供可验证的验证器统计数据来增强 Lido 协议的预言机,从而帮助保护超过 280 亿美元的 stETH,避免因错误报告的负向余额调整事件带来的风险。 Lido 协议是当前使用最广泛的流动性质押代币(LST)协议,现有系统中使用链下预言机来计算每日的 stETH 余额调整。这些计算在链下进行,因为数据在 EVM 中难以获取,且在链上进行本地计算会涉及数百万次哈希运算。 通过 SP1,Lido 可以使用零知识协处理器,将部分计算转移至链下,同时保持链上可验证性。此类证明仅需 20-30 万 gas 即可验证,并提供额外的防护,以避免预言机可能出现的错误余额调整。 在 SP1 的帮助下,为 Lido 实现该 ZK 协处理器变得简单。通过复用现有的以太坊执行和验证器状态的 Rust 库,实施工作变得高效,并且在安全性上易于审查。 SP1 提供的开发体验非常优异,同时也不牺牲性能。其以预编译为核心的架构确保了程序中的常见瓶颈,例如哈希运算和大整数计算,在生成证明时的性能提高了一个数量级。在 Succinct 的 Prover 网络中,通过数百个 GPU 进行大规模计算生成证明,使得低成本、低延迟的预言机更新只需数美元。SP1 通过分片来实现并行证明,从而确保 Lido 能稳定地满足其服务水平协议(SLA)。【原文为英文】
内容来源免责声明:文章中的所有内容仅代表作者的观点,与本平台无关。用户不应以本文作为投资决策的参考。
你也可能喜欢
Perena 推出 Numeraire:一个多稳定币流动性池
简单来说 Perena 引入了 Numeraire,通过利用统一的枢纽资产 USD* 来优化市场流动性并提高运营效率。
Synthetix 推出“Synthetix Vaults”产品线,并宣布计划收购杠杆代币协议 TLX
简单来说 Synthetix 推出了新的产品线“Synthetix Vaults”,以补充其去中心化衍生品平台并使该协议的收入来源多样化。
QCP Capital:杠杆过高导致市场超买,回调在所难免
简单来说 QCP Capital 指出,由于大选之后市场严重超买,比特币正在回撤至上周初的水平,因此回调是自然而然的结果。
Anthropic 推出模型上下文协议,用于改善 AI 模型生成的响应
简单来说 Anthropic 已经开源了其模型上下文协议,使 Claude 能够连接到本地计算机上的任何资源并与任何 API 或云服务器进行交互。