Succinct旨在使任何开发人员都可以使用零知识证明。
我们很高兴地宣布,我们已经筹集了由Paradigm领投的5500万美元,使任何开发人员都可以使用零知识证明。募集资金来自种子轮和 A 轮融资,Robot Ventures、Bankless Ventures、Geometry、ZK Validator 和天使投资人包括 Eigenlayer 的 Sreeram Kannan、Polygon 的 Sandeep Nailwal 和 Daniel Lubarov 以及 Elad Gil。

ZK证明是区块链扩容、互操作性和隐私的最关键技术之一,但对于当今的大多数开发人员来说太复杂了。Succinct 的使命是通过我们的 zkVM、SP1 和我们的去中心化证明网络来降低这一障碍。
SP1 是第一个 100% 开源的 zkVM 性能足以与定制 ZK 电路相媲美。借助 SP1,开发人员可以将 ZK 与普通编程语言一起使用,重用现有的 crate 和库,并使用可审计和可维护的代码进行快速迭代。SP1 表明,一个极其优化的通用系统可以与手写、专用方法的性能相媲美,而手写、专用方法历来是唯一的选择。
Succinct Prover Network 正在积极开发中,是一个托管的基础设施层,供任何应用程序外包开源证明系统的证明生成。使用 SP1(或其他 zkVM)的应用程序将能够一键将程序部署到网络,并获得由一组专门的证明器生成的快速、廉价的证明。这种开放协议的用户受益于网络的规模经济和一组去中心化证明者的强大活跃性保证。
如今,Celestia、Wormhole、Lido、Avail、Near 和 Gnosis 等团队正在使用 Succinct 的基础设施来构建支持 ZK 的应用程序。我们对 SP1 和 Succinct 证明器网络感到兴奋,它使任何开发人员都可以使用 ZK 进行构建。
Succinct 还有很多东西需要构建,以进一步加速 ZK 的采用。我们是一支位于旧金山的小型高技术团队,在 ZK 的前沿发布高质量的代码。我们正在招聘各种工程职位,以不断改进 SP1 并朝着我们去中心化证明网络的主网启动迈进。
我们很高兴能继续与 Paradigm 合作,包括与 Dan Robinson 合作设计最佳的证明定价机制,与 Georgios Konstantopoulos 合作实现所有区块链基础设施的最终愿景,其中包含使用 Rust 代码构建的 ZKP,当然还有 Doug Feagin 和 Charlie Noyes 的坚定支持。
我们还要感谢其他投资者和顾问,包括 Polygon Zero 的 Daniel Lubarov、Celestia 的 Jacob Arluck、Robot 的 Tarun Chitra 以及许多其他在我们的旅程中帮助过我们的人。