Succinct 正在构建一个去中心化的证明者网络,旨在通过密码学真理而非信任来保护区块链应用和基础设施。Succinct 统一了证明供应链,为 rollups、coprocessors 和其他使用零知识证明的应用提供高可用性、价格最优的证明生成基础设施。Succinct 致力于实现一个由密码学真理驱动而非信任驱动的新时代,并提供统一的协议来加速 ZK 技术的采用。
Succinct 正在构建一个去中心化的证明者网络,以便任何人都可以构建由密码学真理而非信任保护的区块链应用程序和基础设施。Succinct 统一了证明供应链,为 rollups、coprocessors 和其他使用零知识证明的应用程序提供具有一流定价的高可用性证明生成基础设施。
加密技术在其使命上失败了。我们被承诺拥有全球规模协调的透明、可验证和无需信任的系统。相反,我们得到了桥接黑客、没有欺诈证明的多重签名 L2 以及控制数十亿美元的 21 个验证器委员会。
信任的问题在于它无法扩展。小型多重签名或基于委员会的系统存在明显的问题,但即使是具有加密经济属性的基于 stake 的机制也有其自身的低效率:资本是一种稀缺资源,招募 staked 参与者(如节点运营者或观察者)的运营开销复杂且耗时。
随着零知识证明(ZKP)的最新进展,我们有机会用密码学真理取代基于信任的委员会。零知识证明允许开发者不可撤销地证明任何声明,例如区块链的状态转换函数或共识证明。它们是无需许可的,不依赖外部资本或运营者来保证安全,易于编程以证明任何声明的有效性,并且高效,只需要一方生成证明,而世界上的任何其他人都可以验证。普及对可编程真理的访问将使新一代更安全、可扩展和创新的架构成为可能,无论是在区块链环境中还是在其他领域,这些架构都依赖于真理而非信任。
ZKP 将被用于堆栈的每个部分,从 rollups 的有效性证明、来自模块化 DA 和其他 layer 1 的桥接、无需信任的预言机、coprocessors 等等。
2023 年是有意义的 ZK 系统生产部署的转折点,包括 Polygon Hermez,zkSync 和 Scroll。证明系统研究、定制硬件和 zkVM 设计的最新进展只会加速 2024 年的这一趋势,使 ZK 广泛可行,成为区块链扩展的基础。
如今的证明供应链已经崩溃,并且没有跟上 ZK 创新的步伐。它是分散的,要求基于 ZKP 的应用程序的开发者设置针对其用例的低效的一次性部署,从而导致高协调开销,造成对中心化证明者的活跃性依赖,并减慢开发时间。在堆栈的每个部分(包括 L2、coprocessors、桥梁等)中集成可编程真理,需要更复杂的 ZK 基础设施——这是 Succinct Network 的动机。
Succinct 正在为零知识证明构建一个基础层,该基础层创建一个有弹性和统一的证明供应链。 我们设想一个 ZKP 生态系统,其中各种应用程序和基础设施无缝集成证明系统和定制硬件的最新研究,同时受益于去中心化证明者网络的规模经济和活跃性保证。Succinct 的统一协议聚合了跨应用程序的证明需求,并提供以下好处:
Succinct Network 是 ZK 指数级进步的 Schelling 点,打破了现有的围墙花园,并提供了一个统一的协议,加速了 ZK 的采用。
Succinct Network 是一个特定于应用程序的区块链,针对快速最终性、短期抗审查性和主权进行了优化。它为开发者提供了一个统一的协议,用于构建基于最新开源证明系统、zkVM 和硬件的、由可编程真理保护的应用程序。它在高度可用的去中心化网络上协调所有参与方,以实现证明生成的高效价格发现。
使用最先进的开源证明系统或 zkVM: 证明 系统 研究 导致了证明者开销数量级的改进,从而允许在 ZKP 中证明各种复杂的应用程序。开源 和 模块化 框架的兴起,这些框架实现了 最新研究 加速了应用程序的生产部署,这些应用程序曾经被认为是不可行的,包括 zkEVM、ZK 桥等。
Succinct 的协议为任何开源证明系统或 zkVM 提供了一组简单的标准,这些标准使应用程序开发者可以轻松集成。这些应用程序可以通过 Succinct 平台(11 月 宣布 )进行部署,这是 Succinct Network 的第一个“前端”。
在具有高效价格发现的各种硬件上进行去中心化的证明生成: ZKP 硬件 加速 展示了一个未来,在该未来中,通过专用硬件可以将证明成本降低 10-100 倍。应用程序可以利用密码学真理,并在成本上进行最小的权衡,从而使 ZKP 对所有基础设施都可行。
今天的 ZKP 格局要求应用程序构建和管理自己的基础设施——这是一项具有挑战性的任务,因为具有成本效益的证明越来越需要定制硬件和高效的硬件利用率。有了 Succinct,应用程序只需将证明请求提交到网络,拍卖机制会将这些请求与运行最新一代硬件的不同证明者集进行匹配。Succinct 网络的用户不必运行自己的基础设施,并且可以确保网络本身的高度活跃性保证。
短期抗审查性确保拍卖是公平的(来自证明者的投标不能被审查),并且快速最终性确保证明生成以低延迟进行协调。证明者需要与网络进行 stake,以防止恶意行为,并且网络的共识确定哪个证明者可以“声明”证明(根据拍卖结果),以防止重复工作。用于证明定价的竞争性自由市场机制保证应用程序获得最便宜的成本。
网络的规模经济: 在去中心化的市场上协调零知识证明的生成,通过证明和聚合的规模经济使终端用户受益。
证明成本随着更好的硬件利用率而降低。该网络聚合需求,为证明者提供来自不同应用程序的证明订单流,使他们能够投资于运营更高效的基础设施,例如用于证明生成的定制数据中心和硬件。
聚合降低了链上验证成本**。** 在链上传递之前,可以将对延迟不敏感的证明聚合为单个证明,从而将零知识证明的验证成本(约 20 万 gas)降低一个数量级。
如今,像 Celestia(Blobstream X)、Avail(Vector 桥)、Gnosis(原生桥)等团队正在构建利用 Succinct 协议的统一标准并与 Succinct 平台(Succinct 网络的“前端”)一起部署的应用程序。Succinct 的生态系统正在迅速扩展,以包括来自整个堆栈的项目,这些项目都受益于可编程真理。
如果你的协议想要利用去中心化的证明生成,或者你是一个节点运营者或硬件团队,有兴趣作为证明者参与网络,请 在此处 与我们联系。我们将在未来几个月内宣布有关 Succinct Network 和测试网的更多详细信息。
我们正在招聘: 如果这个问题空间和使命与你产生共鸣,我们正在招聘开发者加入我们,以构建这个去中心化的证明者网络并普及对零知识证明的访问。在此处申请 here。
- 原文链接: blog.succinct.xyz/succin...
- 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!