@SuccinctLabs Labs 的使命是“$PROVE 世界的软件”—让零知识证明 (ZKPs) 不再仅仅是密码学家的专长，而是一个适用于日常应用的实用、开发者友好的工具。

他们通过两项突破性的创新实现了这一目标：

1. SP1 (简明处理器 1)：高性能 zkVM

SP1是一个开源的通用零知识虚拟机(zkVM)，能够将来自Rust等流行语言或任何LLVM兼容语言的代码编译成可验证的证明。
因为它抽象了电路设计和专业的加密技巧，开发者可以编写普通代码——然后编译、证明和验证，而无需学习自定义的ZK特定语法。
在性能方面，SP1 提供了显著的提升：证明生成速度高达 28 倍更快，优化的加密原语加速了 5–10 倍，基于 GPU 的证明可能将成本降低 10 倍，并将证明生成减少到仅仅几分之一美分。
这种可访问性、速度、经济性和透明度的结合为 ZK 在各种用例中的广泛采用铺平了道路——从 zkEVM 和 rollup 到保护隐私的身份、AI 工作负载和互操作性解决方案。

2. 简洁证明网络：一个去中心化的ZK市场

与其强迫开发者构建和运营昂贵的证明基础设施，Succinct 提供了一个去中心化的、基于以太坊的证明网络。它是一个无许可的双边市场，开发者提交证明请求，独立证明者通过链下拍卖机制进行竞争——并在链上进行结算和最终确认。

该网络对所有人开放——从个人GPU操作员到数据中心提供商——并通过质押和竞争定价激励参与，同时保持去中心化并抵制中央控制。
现实世界的部署已经开始，服务于诸如汇总、桥接、AI代理、预言机、游戏、协处理器等用例。

#SuccinctLabs