专题研究N：2024年融资区块链项目研究Succinct

专题研究N：2024年融资区块链项目研究Succinct

按：融资的项目作一个专题研究：1、融资了，说明得到资本界看好，可能是一个好的方向和项目；2、通过研究它们，可以了解外界或圈内人对这个行业的判断，是一种研究区块链发展趋势的捷径和正确的路；3、之前的区块链人物、项目系列研究也基本是追一些热点或按版块研究，已有1000期；基本也将常见的项目和区块链人物研究的差不多；正好可以告一段落（前期落下的一些已计划的还要继续，在1000期以内）；4、基于推特是目前区块链信息最集中和更新快的平台，还依托于此来研究相应的融资项目。

PANews 3月22日消息，据The Block报道，零知识证明初创公司Succinct Labs完成5500万美元种子轮和A轮融资，Paradigm领投，Robot Ventures、Bankless Ventures、Geometry、ZK Validator、Polygon联合创始人Sandeep Nailwal和Daniel Lubarov以及EigenLayer创始人Sreeram Kannan参投。Succinct Labs总部位于旧金山，致力于降低零知识证明技术的使用门槛，帮助所有开发人员都能访问该技术，从而加速其采用。

Succinct，
@SuccinctLabs，
Making zero-knowledge proofs accessible to any developer.
Hiring: https://jobs.ashbyhq.com/succinct，
San Francisco, CA，succinct.xyz，2022年9月 加入，
10 正在关注，
2万 关注者，

已置顶：1/ 我们很高兴地宣布，我们已经筹集了由
@Paradigm
领投的 5500 万美元，以使任何开发人员都可以使用零知识证明。
Succinct 的 Prover Network 和 SP1 使通用 ZK 性能卓越，并且易于部署，无需复杂的基础设施。
让我们共同建设一个真理而非信任的时代。More: https://blog.succinct.xyz/series-a/
2/ We are grateful for the support of other participants like
@robotventures
,
@BanklessVC
,
@geometry
,
@zkv_xyz
and many builders across ecosystems including
@sreeramkannan
,
@sandeepnailwal
,
@eladgil
,
@jadler0
,
@dlubarov
,
@0xshittrader
and more.
3/ SP1 是 Succinct 的下一代 zkVM，使开发人员能够将 ZKP 与 Rust 一起使用而不会牺牲性能。
构建者可以快速迭代，重用现有的包/库，并使用可审计、可维护的代码编写可验证的程序。
4/ 简洁证明器网络是一个托管基础设施层，任何应用程序都可以外包开源证明系统的证明生成。使用我们的证明器网络，部署 SP1 程序只需单击一次即可。
该网络使得在生产中使用 ZKP 变得简单且便宜。
5/ 如今，
@CelestiaOrg
、
@wormholecrypto
、
@LidoFinance
、
@AvailProject
、
@NEARProtocol
和
@gnosischain
等团队正在使用 Succinct 的基础设施来实现各种 ZKP 应用。
如果您想使用 SP1 或我们的证明网络，请联系我们。
6/ Succinct 还有很多工作要做，以进一步加速 ZK 的采用。我们是一支紧密团结的团队，总部位于旧金山，致力于推进 ZKP 技术的前沿。
上午12:03 · 2024年3月22日
·

下周四，欢迎来到旧金山 Succinct 办公室与我们一起庆祝夏至！ ☀️🍻
（注：从今天改期至下周四。）
在此回复： https://partiful.com/events/Q1yaXFG9DtZ4xkDxRPeJ，上午1:35 · 2024年6月14日

下周一 6 月 17 日上午 9 点，欢迎参加
@ratankaliani
的现场 SP1 Tendermint 研讨会。快来学习如何使用 SP1 在< 1 小时内构建和部署速度超快的 ZK Tendermint 轻客户端！
名额有限，请在下面注册👇
我们将介绍如何从头开始设置 SP1 项目，编写利用现有 Rust 板条箱的 ZK 程序，在本地生成证明，使用 Succinct Prover Network 的测试版等等！

阅读我们团队和
@0xPolygon
CTO
@paul_g_oleary
的联合提案，使用 SP1 将 Polygon 的 PoS 链连接到 AggLayer，以建立基于 Rust 的共识证明和
@0xPolygon
的 Plonky3 证明系统。
让我们为 AggLayer 带来 $ 2B的流动性，并由 ZKPs 保证安全。

SP1 办公时间为本周三上午 9 点（太平洋时间），由
@jtguibas
主持。快来了解我们主网时间线的最新更新、GPU 加速、即将举行的 SP1-Tendermint 研讨会的详细信息等！

Blobstream 在底层使用 ZKPs 来可验证地将 Celestia 的 DA 带到以太坊。
它展示了 ZKP 如何连接模块化堆栈的所有部分。
很高兴看到它在以太坊主网上线！

简洁的 Discord 现已开放！
认领您的“gmoon math”角色并与其他 moon math 爱好者聊天。
http://succinct.xyz/discord 🌕 🧮
我们的 Discord 的目标是提高人们的认识并让全世界了解 Succinct Labs、我们的 zkVM SP1 和 Succinct 证明网络。
为了认可您的努力并提供作为贡献者的众多激励措施之一，我们推出了简洁的角色。加入我们的 Discord 服务器，通过声明“gmoon math”角色来开始您的连续记录。
让我们一起教育世界并加速零知识证明的采用。

Blobstream 由
@Succinctlabs
开发，将 Celestia 数据根的承诺传输到链上的以太坊轻客户端。
这为以太坊 L2 提供了无需许可、高吞吐量的 DA，由加密经济保障而非声誉或隐藏的信任假设来保护。

这将是一个简洁的夏天😎 🌴
请回复我们下周四在旧金山举行的简洁夏季社交活动的邀请： https://partiful.com/e/Q1yaXFG9DtZ4xkDxRPeJ

宣布第一个 100% 开源 zkVM 审计竞赛。
如果你能破解 SP1，就能获得 110,000 美元的赏金。
测试你的技能⬇️
仅限受邀者参加的审计竞赛于 6 月 3 日 20:00 UTC 开始，并于 6 月 24 日 20:00 UTC 结束。
要收到邀请，在接下来的 24 小时内，每个转发（上述帖子）和提及
@SuccinctIntern
的人都将收到 Cantina 邀请。
必須关注。
您也可以通过 Cantina 推文进入。
审计范围是SP1核心程序。
SP1 的核心证明器、约束和递归系统最近都经过了 2 名领先的 ZK 审计员的审计。
这次比赛是第二次验证 SP1 是否存在任何潜在的漏洞或弱点。
@pumatheuma
创建了 SP1 的易懂代码演练，以帮助参与者理解每个程序。它将位于
@cantinaxyz
的 Discord 服务器中。
您也可以在此提问。我们很乐意为您解答。
为了构建零知识的未来，我们不是信任，而是验证。然后再次验证。
祝你一切顺利！ ✨

SP1 生产时间表： 𝗣𝗛𝗔𝗦𝗘 𝟮
我们将于 6 月 3 日公布公共审计竞赛的详细信息。
月球数学研究人员和白帽黑客们，做好准备吧……

我们最常见的问题之一是：“我什么时候可以在主网上使用 SP1”？
详细了解 SP1 的生产时间表如下，
第 1 阶段：审计（已完成✅ ）
我们最近与领先的 ZK 审计师一起完成了两次审计，历时数月。审计范围包括我们的核心证明器、约束和我们的递归系统。
第二阶段：审计竞赛🕵️‍♂️
在接下来的几天里，我们将宣布一项面向所有人的公开审计竞赛，以对我们的代码库进行最终审查。我们很高兴成为第一个针对 100% 开源 RISC-V zkVM 的审计竞赛。
第三阶段：主网启动🚀
审计完成后，我们将创建 SP1 的最终版本，并将验证器部署到以太坊和流行的 L2 等链上。

Polygon 正在使用 SP1。
我们很高兴地宣布，Polygon Labs 正在使用 Succinct 的 zkVM SP1 来构建他们的旗舰互操作性协议 AggLayer。
Polygon 通过 SP1 的简单 devex（只需编写 Rust）和 SOTA 性能加速了开发时间表。
博客： http://blog.succinct.xyz/polygon-sp1
在 SP1 中，Polygon 团队使用常规 Rust 编写了保护 AggLayer 的核心 ZKP。SP1 的开发时间从几个月缩短到几周，并实现了一流的性能。
这就是为什么 Polygon 选择 SP1 而不是手动 ZK 堆栈或其他 zkVM ⬇️的原因
开发人员经验：在 SP1 中，Polygon 团队的 2 名工程师在数周内用< 1000 行 Rust 代码编写了悲观证明程序。
如果使用手工制作的基于电路的 ZK 堆栈，那么由更大、高度专业化的团队完成同样的任务将需要数月的时间。
市场领先的性能：AggLayer 需要以低成本和低延迟频繁生成证明。
SP1 的 SOTA 性能得益于其以预编译为中心的架构（包括 keccak 预编译），对于悲观证明等区块链程序来说，其速度非常快。
开源：SP1 是唯一一个约束 100% 开源的 RISC-V zkVM。允许任何人验证 RISC-V ISA 是否正确证明对于区块链环境中的安全性至关重要。我们很高兴看到业界领先的 ZK 团队看到了基于 zkVM 的方法的明显价值，并决定与 Succinct 合作。我们期待更多涉及汇总、互操作性、桥接等方面的团队能够追随他们的脚步，共同努力实现 zkVM 的最终目标。此次合作还延伸到了开源 ZK 生态系统！SP1 使用 Plonky3（由
@0xPolygonZero
团队开发）作为其证明系统库。我们之所以选择 Plonky3，是因为它的模块化、开源 MIT 许可证和速度。
我们很感激能与如此才华横溢的合作伙伴合作。
在接下来的几周内，Succinct 将完成 SP1 的审核并准备投入生产使用。与此同时，Polygon 将继续开发 AggLayer 协议，并在未来几个月内为其主网发布做好准备。我们期待与优秀的 Polygon 团队继续合作，不断推动 ZKP 的前沿，以改善以太坊生态系统。

昨天，我们介绍了悲观证明，这是一种新颖的 ZKP，它将确保连接到 AggLayer 的链的安全
悲观证明将由
@SuccinctLabs
' SP1 生成，这是一个使用 Polygon Plonky3 构建的通用 zkVM
这意味着安全性 + 低成本互操作性🧵

在接下来的几周内，Succinct 将完成 SP1 的审核并准备投入生产使用。与此同时，Polygon 将继续开发 AggLayer 协议，并在未来几个月内为其主网发布做好准备。

详细了解
@gakonst
对协处理 + zkEVM 的未来愿景：Reth + SP1 和简洁证明网络：

ZK 摩尔定律表明，我们正处于𝒑𝒓𝒐𝒈𝒓𝒂𝒎𝒎𝒂𝒃𝒍𝒆 𝒕𝒓𝒖𝒕𝒉 ✨内新型链上应用的风口浪尖

推出 SP1 GPU，SP1 的下一代证明器。
SP1 GPU 将成本和延迟降低了 10 倍，这是让所有开发人员都可以使用 ZK 的另一个关键步骤👇
今天，SP1 基于我们的以预编译为中心的架构实现了最先进的性能，这大大减少了实际工作负载的 zkVM 循环次数。
SP1 GPU 是 SP1 性能的另一个阶段转变，将成本和延迟降低了 10 倍。我们对 GPU 的基准测试表明，我们证明器的部分功能可从 GPU 加速中获益 20 倍。
目前，证明器的主要时间都花在提交和商计算上。有了 GPU，这一时间就会大大减少，不再是瓶颈。目前，我们正在与领先的硬件团队合作，实现与 Succinct 证明器网络集成的 GPU 实现。这是由 SP1 的 100% 开源代码库实现的。
用户将在 Succinct 的去中心化证明网络上无缝访问 SP1 GPU 的优势。

我们正在招聘破解的 Rustaceans 来加速 ZK 的采用。
联系
@pumatheuma
提供你之前的 Rust 工作/Github 👇
对适合的人员提供两周的付费试用期。

查看简洁的生态系统地图✨
我们正在迅速扩展，以涵盖更多受益于可编程真相的整个堆栈中的项目。

昂贵的零知识证明的时代已经成为过去。
在过去的一年里，ZKP在成本效益和速度方面都取得了显著的进步，提高了几个数量级。
我们的联合创始人
@pumatheuma
分析了 ZK 当前状态与一年前的状态👇

我们将于太平洋时间 5 月 15 日星期三上午 9 点举办 SP1 办公时间，由我们的联合创始人
@jtguibas
主持。
注册并询问您在试用我们的 SP1 项目模板和测试网版本中的新功能时可能遇到的任何问题！

还有更多项目在其应用程序中使用 ZK，例如
@NEARProtocol
、
@eigenlayer
、
@sovereign_labs
、
@taikoxyz
、
@KinetexNetwork
、
@Unstable_money
、
@ionprotocol
等等，敬请期待未来的公告。

我们正在构建𝒑𝒓𝒐𝒈𝒓𝒂𝒎𝒎𝒂𝒃𝒍𝒆 𝒕𝒓𝒖𝒕𝒉 ✨生态系统
以下是一些使用 Succinct 的证明技术为用户带来真相而非信任的项目的细分：https://x.com/SuccinctLabs/status/1788994174756483420