Mastering Crypto

@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操作员到数据中心提
查看原文他们通过两项突破性的创新实现了这一目标:
1. SP1 (简明处理器 1):高性能 zkVM
SP1是一个开源的通用零知识虚拟机(zkVM),能够将来自Rust等流行语言或任何LLVM兼容语言的代码编译成可验证的证明。
因为它抽象了电路设计和专业的加密技巧,开发者可以编写普通代码——然后编译、证明和验证,而无需学习自定义的ZK特定语法。
在性能方面,SP1 提供了显著的提升:证明生成速度高达 28 倍更快,优化的加密原语加速了 5–10 倍,基于 GPU 的证明可能将成本降低 10 倍,并将证明生成减少到仅仅几分之一美分。
这种可访问性、速度、经济性和透明度的结合为 ZK 在各种用例中的广泛采用铺平了道路——从 zkEVM 和 rollup 到保护隐私的身份、AI 工作负载和互操作性解决方案。
2. 简洁证明网络:一个去中心化的ZK市场
与其强迫开发者构建和运营昂贵的证明基础设施,Succinct 提供了一个去中心化的、基于以太坊的证明网络。它是一个无许可的双边市场,开发者提交证明请求,独立证明者通过链下拍卖机制进行竞争——并在链上进行结算和最终确认。
该网络对所有人开放——从个人GPU操作员到数据中心提