热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币,引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲

Professor Jo
基于他在收购金融领域的职业生涯,他是一名“DeFi 农民 Chosunsaeng”,正在朝着 DeFi 更大的梦想前进。@0xundefined_
<为什么 ZK 失败了,Succinct 想要改变什么?>
1. 对问题的认识
比特币创造者中本聪对零知识证明(ZKP)表示怀疑。
“要证明某样东西不存在,你需要知道整个交易,”他说,并判断将 ZKP 应用于区块链在结构上是困难的。
不过,他也表示,“如果我们找到解决方案,将有可能更好、更容易、更方便地实现比特币。换句话说,在认识到 ZK 的技术局限性的同时,他们承认,如果这些问题得到解决,它们可能会成为区块链发展的一个重大转折点。
现在,多年后,密码朋克社区和 ZK 研究人员终于找到了解决方案。Zcash 是第一个将 ZKP 应用于现实世界加密货币的公司,StarkWare、zkSync 和 Scroll 等项目此后开发了这项技术,作为增强以太坊可扩展性和可验证性的关键手段。
然而,现实还是有差距的。创建 zkEVM 需要深厚的专业知识、多年的开发和高性能硬件,大多数项目依赖于特定的证明提供者,而不是运营自己的 ZKP 基础设施。因此,ZKP 仍然是一种只有少数人才能处理的复杂工具,而不是“任何人都可以使用的技术”。
2. 什么是简洁?
简洁 (@SuccinctLabs) 是正面解决这个问题的尝试。关键是将 ZKP 变成一个可供所有开发人员轻松使用的基础设施,并帮助任何人创建一个“无需信任的系统”,而无需复杂的电路或基础设施。
简洁是一种基础设施,它将区块链一直在追求的“去信任”系统的理想转化为可以实际实现的现实。去信任并不是“不可信”的意思,而是指一种在没有信任前提的情况下自行运行的结构,即无需第三方或中央机构即可进行数学验证的系统。
然而,当前的区块链生态系统仍然严重依赖信任。桥接黑客、多重签名作和中心化验证者委托都证明,只有当我们仍然信任人和组织时,系统才能发挥作用。
正面突破这种基于信任的限制的尝试是 ZKP,即零知识证明技术。这项技术使我们能够在数学上证明“这个计算是正确的”,而不必信任任何人,显然是去中心化系统的关键基础。问题是 ZKP 过于复杂和繁重,无法实际编写。
3. 为什么 ZKP 感觉很难?
ZKP 技术一直与其潜力一样高。特别是,创建 zkEVM 需要专业的团队、多年的开发和昂贵的基础设施。大多数 zk 项目必须设计自己的电路,构建专用的 zkVM,甚至自己作硬件。只有在经历了所有这些过程之后,他们才能够称自己为“ZK rollups”。
此外,传统的通用 zkVM 在生成证明方面效率极低。通常情况下,证明一个区块需要数十台高性能机器的集群,每个区块的成本达到 10~20 美元。由于这种高昂的技术负担和运营成本,许多项目已经放弃了 ZKP 的引入,或者选择了依赖一些中心化证明提供者的结构。
4. 简洁的尝试
@SuccinctLabs将这些结构性问题视为“基础设施问题”。ZKP 在技术上足够强大,但问题是谁实施它们、如何实现以及以什么成本实现它们。这就是为什么 Succinct 正在创建一个去中心化的证明网络,每个人都可以轻松访问,而无需单个项目运行自己的证明基础设施。
开发人员不需要设置复杂的 zkVM 或提供硬件。当证明请求发送到网络时,具有不同硬件的探测器以拍卖方式对其进行竞价以处理它。通过竞争,证明成本自然会降低,而探查者则使用高性能设备有效地生成证明。其结果是为开发人员提供快速且廉价的证明,并为整个生态系统提供高度可用且抗审查的证明基础设施。
Succinct 不仅展示了其技术可能性,还证明了其在产生实际需求的领域的作用。一个典型的例子是 @celestia 生态系统中出现的“Blob 上的 CLOB”流。随着 Celestia blob 空间之上的高性能去中心化订单簿(CLOB)的出现,大规模数据处理和快速状态证明是必不可少的基础设施需求。
Hyperliquid 和 @hibachi_xyz 等项目正在链上实现复杂的订单簿交易和价格发现逻辑,需要超越简单汇总的可扩展性和性能。这就是需要 Celestia 的高性能数据可用性层和 Succinct 提供的去中心化 ZK 证明基础设施的地方。
事实上,Celestia 正在经历 blob 空间的实际使用率快速增长,背后有 Succinct 等 ZK 基础设施默默贡献。如果 Celestia 提供了一个“可验证的数据存储”,那么 Succinct 负责在该数据之上创建一个“可验证的状态转换”。这种结合是 ZKP 技术超越抽象理论进入现实世界系统的起点。
5. 任何人都可以处理的 zkEVM、SP1 和 SP1 Reth
以这种方式解决基础设施可访问性的 Succinct 开发了一个名为 SP1(Succinct Processor 1)的开源 zkVM,以降低 zkVM 本身的进入门槛。SP1 是用 Rust 实现的通用 zkVM,旨在供任何人直接使用,无需像传统 zkEVM 那样进行复杂的电路设计。
SP1 潜力的一个早期例子是 SP1 Reth。SP1 Reth 是一个 type-1 zkEVM,仅用大约 2,000 行 Rust 代码实现,通过重用现有以太坊客户端生态系统(Reth、Revm、Alloy 等)的组件轻松构建。更令人惊叹的是它的性能。SP1 Reth 的每笔以太坊交易的平均证明成本仅为 0.01~0.02 美元,低于 L2 上常见的数据可用性成本。
由于 SP1 的“预编译”系统,这种性能成为可能。哈希函数和签名验证等计算密集型作通过预先优化的结构进行处理,显着减少了 zkVM 消耗的资源。到目前为止,使用 zkVM 实现 zkEVM 的成本高达每个区块 10~20 美元,但 SP1 Reth 已成功将其降至个位数。
SP1 和 SP1 Reth 都是完全开源的,任何人都可以分叉它们以创建自己的 zkEVM 或添加预编译以提高性能。这一变化彻底颠覆了现有的高成本、高难度的 zk 开发环境,开启了一个任何 Rust 开发者都可以参与 zk 系统的时代。
6. 毕竟 ZK 现在可供所有人使用
简洁不仅关乎 ZKP 技术的技术潜力,还关乎拼图的最后一块:可访问性和实用性。无需复杂的电路或专用硬件,任何人都可以使用 ZKP 创建应用程序,并且证明由去中心化网络处理。
一个所有 rollup 都可以是 ZK rollup 的时代,以及只与真相一起工作的互联网。这个起点是 Succinct 和 SP1。现在,ZKP 是每个人的技术,而不是某些人的技术。




9.95K
热门
排行
收藏