扫码下载 APP
qrCode
更多下载方式
今天不再提醒

简明扼要的Arbitrum ZK验证:刚刚发生了什么

robot
摘要生成中

Succinct刚刚达成了一个重大里程碑——他们成功地在链上使用零知识证明证明了真实的Arbitrum区块。我们说的是完整的Arbitrum区块,包括EVM合约(Solidity)和更新的Stylus运行时(Rust/C),在一个证明中。这种事情只有在基础设施实际上是可靠的情况下才能实现。

为了实现这一目标,Succinct必须在他们的SP1证明系统中构建一些重型操作:

  • 内存访问操作,不会导致证明大小膨胀
  • WASM转RISC-V编译 (基本上是将WebAssembly重写为ZK可以实际处理的格式)

这个时间与他们在八月与Tandem的合作达成的独家Arbitrum ZK交付相符。因此,这个里程碑不仅仅是一个炫耀——它是Arbitrum + Succinct堆栈实际编译的第一个真实证明。

重要性:如果Arbitrum区块的零知识证明变得可靠且可扩展,这将为跨链验证和轻客户端协议提供另一个途径。Arbitrum实现更快速的互操作性,Succinct验证了其方法的技术可行性。

查看原文
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 Gate 认可其观点表述,也不得被视为财务或专业建议。详见声明
  • 赞赏
  • 评论
  • 转发
  • 分享
评论
0/400
暂无评论
交易,随时随地
qrCode
扫码下载 Gate App
社群列表
简体中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)