公司概况 @SuccinctLabs 的使命是让任何开发者都能轻松使用零知识证明（ZKPs）。他们通过提供简化流程的工具和基础设施来降低使用ZKPs的门槛。2024年3月，SuccinctLabs完成了由Paradigm领投的5500万美元融资，其他参与者包括Robot Ventures、Bankless Ventures和Polygon。 主要产品和服务 SP1（Succinct处理器1）：SP1是SuccinctLabs开发的第一代零知识虚拟机（zkVM），旨在验证任意Rust（或任何LLVM编译语言）程序的执行。SP1在性能上比现有的zkVM有显著提升，其Alpha版本在某些程序上已经快了28倍。SP1是100%开源的，对贡献者友好，旨在使ZKP技术更加普及。 去中心化证明网络：SuccinctLabs正在构建一个去中心化证明网络，允许任何应用程序外包开源证明系统的证明生成。该网络提供高可用性的证明生成基础设施，并提供同类最佳的定价，使开发者、应用程序和证明者受益。 OP Succinct：与Conduit合作，SuccinctLabs开发了OP Succinct，将任何OP Stack rollup转换为完全的type-1 ZK rollup，使用SP1。这提供了由ZKP保障的1小时最终性，允许在纯Rust中无限定制rollup修改，并且具有成本效益的证明。 技术和创新 SP1特性：SP1通过将长计算分片成更小的分片并为所有分片生成全局证明来支持任意长度的程序证明。它具有模块化架构，允许用户向核心zkVM逻辑添加“预编译”，显著提高性能。SP1还利用了最新的证明系统进展，如跨表查找架构和可定制的预编译系统。 开源协作：SP1的构建是协作的，受到开源软件运动的启发。它利用高质量的、生产级的开源依赖项，如Plonky3，以跟上ZK创新的快速步伐。开发过程是透明的，社区被鼓励为项目做出贡献。 合作伙伴关系和实际应用 与 @conduitxyz 的合作：与Conduit的合作支持了OP Succinct rollup的轻松部署，将SP1的创新与OP Stack结合起来，创建了一个快速、经济且高度可定制的zkEVM。 与 @celestia 的集成：Celestia，一个模块化的数据可用性层，正在使用SP1来保护Blobstream到以太坊的桥接。使用SP1构建Blobstream既简单又易于维护，所有逻辑都用Rust编写。 未来展望 SuccinctLabs继续致力于改进SP1并扩展其去中心化证明网络。他们计划对核心VM约束和逻辑进行审计，优化SP1的性能，并增加对递归链上验证的支持。公司也在积极招聘，以进一步加速ZK的采用并开发更先进的ZK基础设施。 总之，SuccinctLabs是零知识证明领域的领先公司，提供创新的解决方案和基础设施，使ZKP技术对开发者和应用程序更加易于访问和高效。 @KaitoAI #yap @0xCRASHOUT