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

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

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

PANews 5月7日消息，据The Block报道，区块链隐私技术公司ZKM近日完成了一轮500万美元的Pre-A 轮融资。由 OKX Ventures 牵头，Amber、Metis Foundation、Crypto.com、DFG、JSquare和其他公司参与其中。这笔资金将用于进一步开发其基于零知识证明的隐私保护技术，旨在增强区块链应用的数据安全性和用户隐私保护。ZKM的技术允许在不暴露任何实际数据的情况下验证信息的真实性，这对于提升区块链平台的安全性和吸引更多企业用户尤为关键。

ZKM
，
@ProjectZKM，
Universal zkVM enabling Universal Settlement & Unified Native Liquidity across all blockchains
，
http://discord.gg/projectzkm | http://linktr.ee/project_zkm，
Blockchain，，zkm.io，2023年6月加入，
389 正在关注，
5.4万关注者，

已置顶：ZKM 很高兴地宣布推出我们的专业证明服务，旨在消除开发人员在使用我们的 zkMIPS（zkVM）时的硬件限制。
这一新进展让您可以不受限制地进行创新，并为区块链技术的可能性设定新标准。ZKP 的潜在应用非常广泛，我们鼓励开发人员创造性地思考如何将 zkMIPS 集成到您的项目中。
要访问证明服务并开始使用 zkMIPS 进行构建，您可以申请http://zkm.io/apply上的白名单，因为初始测试阶段的可用性有限。
欲了解更多详情，请访问 ZKM 博客：，下午10:49 · 2024年6月7日
·

ZKM 教育中心是全面零知识教育的首选资源，专为各个级别的学生和爱好者设计⚡️
由
@alicelingl
主导的教育中心提供各种课程和讲座，以加深您对 ZK 技术的了解🧵👇
向著名密码学家 Jeroen van de Graaf 教授学习，他在该领域拥有 40 多年的经验，并且是数字现金发明者 David Chaum 的密切合作者🧵👇参与视频讲座、教程、编程作业和研讨会，这些旨在逐步指导您了解 ZK 概念。参与社区讨论、AMA 并获得 ZKM 团队的个性化支持🧵对于刚接触区块链和零知识的人来说，ZKM 学习俱乐部提供了基础主题，包括区块链基础知识和智能合约，然后再深入研究 ZK 特定内容🧵👇立即访问 ZKM 教育中心，开启您的 ZK 教育之旅。与学习者和专家社区建立联系，探索丰富的资源，以提升您的 ZK 知识和技能： http://zkm.io/education-hub
在 Twitter 上关注
@alicelingl
获取更多见解⚡️上午2:40 · 2024年7月10日
·

我们知道你们都很喜欢我们今天在布鲁塞尔的
@HouseofZK
，但别忘了 UTC 时间晚上 6 点在 Discord 上进行问答时间！

欢迎参加
@EthCCweek
⚡️期间
@HouseofZK
的第 4 场小组讨论
“使用 ZK 的替代第 1 层”——在
@HouseofZK
与行业专家进行炉边谈话，探讨 ZK 在 L1 中的潜力 - 演讲者来自
@ProjectZKM
、
@Starknet
、
@AleoHQ
、
@cysic_xyz
、
@MinaProtocol
、
@o1_labs

一场引人入胜的小组讨论由
@ProjectZKM
的
@pavel_sinel
主持，其中
@roshanrags
详细讲述了 Kalypso 等 ZK 证明市场在过去一年半中是如何发展的。
感谢
@HouseofZK
组织这次聚会！

非常感谢
@ProjectZKM
的
@pavel_sinel
指导我们了解区块链执行的复杂性并展示 ZK 证明的强大功能🙏
您的专业知识不断启发和激励我们

我们在
@HouseofZK
的“证明者服务：集中式与分散式”小组刚刚结束！ ⚡️
特别感谢我们出色的小组成员：
@roshanrags
来自
@MarlinProtocol
，
@NorbertVadas
来自
@gevulot_network
，
@nickpann
来自
@SindriLabs
，
@yanliu0xzz
来自
@Pi_Squared_Pi2
，
@omersadika
来自
@dWalletNetwork
，当然还有
@pavel_sinel
来自
@ProjectZKM
🤝
感谢大家就 ZK 证明服务的发展和影响所分享的见解🔥

@HouseofZK
的第三场专题讨论“证明服务：集中式与分散式” ⚡️

@pavel_sinel

@ProjectZKM
的现场直播将邀请来自
@MarlinProtocol
、
@gevulot_network
、
@SindriLabs
和
@Pi_Squared_Pi2
🔥演讲者

这就是我们在
@HouseofZK
⚡️的“使用 ZK 实现无信任互操作性”专题讨论会的总结
特别感谢我们尊贵的小组成员：
@DacEconomy
来自
@ProjectZKM
，
@hashcashier
来自
@RiscZero
，Nevile Grech 来自
@dedaub
，Sarah Choo 来自
@zkLink_Official
和
@ItaiElizur
来自
@MarketAcross

zkMIPS is a novel zkVM tailored for the MIPS instruction set, leveraging MIPS's stability and extensive use in IoT and legacy applications. zkMIPS opens up numerous practical applications for ZKPs, enabling verifiable computation for MIPS-based programs by providing efficient and secure proof generation within a zkVM framework.
This thread outlines the proving process for MIPS program execution within zkMIPS 🧵👇
要验证 MIPS 程序在 zkMIPS 中的正确执行，第一步是在执行期间记录每个内部 CPU 状态。在 Prover 端，程序运行，并在每条指令后记录每个 CPU 变量的值。这些值允许通过将每对后续行与 MIPS CPU 状态转换函数🧵👇进行匹配来直接验证状态转换为了简化 zkMIPS 的证明过程并提高效率，确保状态转换函数正确性的过程分为三层：连续性、分段性和模块化。每一层都建立在前一层的基础上，从而创建一个完整的证明系统🧵👇在延续层中，程序执行被划分为多个段。最初，只记录每个段的第一个和最后一个 CPU 状态，以界定在该段上运行的程序部分。然后，在第二层中证明每个段。一旦所有段证明都准备就绪，就会在延续层的第二轮中递归生成证明，表明后续段相互延续（第二个段从第一个段结束的地方开始）。最终，这些所谓的延续证明将所有段证明合并为整个程序跟踪的单个证明，确保整个执行正确进行🧵在分段层中，段进一步划分为模块，每个模块对应于独立的 MIPS 指令子集。在此阶段，段跟踪实际上被记录并分解为较小的非连续模块跟踪，这些模块跟踪将提供给模块进行证明。在第三层生成的模块证明在第二轮段证明中组合成段证明，验证段跟踪准确反映了模块跟踪🧵模块化层涉及使用专门的 STARK 证明独立证明每个模块。从段跟踪派生的模块跟踪用于通过证明该段的每个指令的转换函数来生成模块证明。这一层是 MIPS 指令确实通过稳健、独立的证明🧵👇来证明的地方，
分段证明器可以并行运行，组成一个证明器网络，以更快地证明整个程序。同样，连续证明器在递归执行后也可以并行运行，从而相对于分段数量对数减少连续层的时间。此设置可实现分布式证明，并提高证明过程的可扩展性和效率🧵👇ZKM 最近推出了证明服务，提供 zkMIPS 验证所需的计算能力。我们提供对高性能服务器的选择性访问，这些服务器经过优化，可处理密集型计算。开发人员可以申请访问该服务，并探索 zkMIPS 在增强区块链项目的可扩展性和互操作性方面的巨大潜力。请访问http://zkm.io了解更多详情。
此外，为了更广泛地研究 zkMIPS 架构，请深入了解此处最新版本的 zkMIPS 论文：

非常感谢参加
@HouseofZK
的“Rollup with ZK”小组讨论的所有人，特别是 (
@JBaylina
的
@0xPolygon
、(
@the_matter_labs

@zklumi
、
@Scroll_ZKP
的
@_emjlin
和
@MetisL2
🤝 的 (
@Quantic___
@MetisL2 🤝
敬请关注 House of ZK 的更多精彩讨论！

在
@ProjectZKM
的 ZK 布鲁塞尔之家举办的会议真是精彩极了！
感谢
@mat_nadler
举办了一场真正富有洞察力的研讨会，探讨了区块链技术中隐私和监管要求之间的平衡🙏
敬请关注，更多内容即将推出！

我们的 Entangled Rollups 系列的最后一部分将通过类比来理解前几部分探讨的概念。想象一下这样的场景，其中有两个防篡改数据库或数字电子表格（类似 Excel 的图片电子表格），每个电子表格都包含独立的经济活动记录。这些电子表格托管在不同的计算机网络上，操作系统不兼容，因此很难将它们集成在一起，当用户希望执行会影响两个电子表格的交易时，他们会面临重大挑战🧵👇许多连接这些不同数据库的尝试都涉及将交易汇总到第三方电子表格中。然而，这种方法引入了几个重大问题。首先，它增加了数据库之间交互的复杂性，因为所有交易都必须通过这个中介。这会减慢整个过程，使用户的操作更加繁琐，而且容易出错🧵其次，以这种方式集中数据验证会产生单点故障。如果中间电子表格受到损害，整个系统就会变得脆弱，可能导致数据泄露或操纵。在区块链的背景下，这种中介角色通常由所谓的跨链桥扮演，它面临着类似的集中化和安全漏洞风险🧵zkMIPS 提供了一种更直接的方法来处理一个电子表格上的更新，并发送已处理数据的证明以更新另一个电子表格。zkMIPS 不依赖集中的第三方中介，而是处理一个电子表格上的更新并生成这些更改的加密证明，确保只传输经过验证的数据。然后可以将此证明安全地传输到第二个电子表格，确保准确反映更新🧵👇可以将其视为高度安全的 API 连接，其中只有在附有有效证明的情况下才允许进行更新，从而确保准确且安全地反映两个电子表格上的更改。zkMIPS 在区块链中发挥类似作用，生成安全更新状态更改的证明，确保每个区块链反映正确的状态而无需依赖中介，从而使跨链交易无摩擦且更可靠🧵为了进一步通过类比来阐明这一机制，我们可以将其视为对数据输入具有高度安全的锁定：只有通过此锁（即经过验证的交易）才允许更新电子表格。在一张电子表格上的任何更新反映到另一张电子表格之前，数据都会经过验证以确保其准确性和真实性🧵👇此过程反映了区块链中交易的提交和使用证明进行验证的方式。zkMIPS 利用这些证明来保证只处理合法交易，从而保持系统的高信任度和安全性。这意味着用户可以确信所有更新都是准确且防篡改的，从而确保两个电子表格的完整性🧵Entangled Rollups 扩展了这一概念，使互连电子表格网络能够使用证明直接进行通信，而不受数据库所在的计算机操作系统的差异影响。这种网络创建了一个更高效、更安全的统一经济系统，使数据能够在所有互连电子表格之间无缝流动🧵👇在区块链的背景下，纠缠式汇总允许多个区块链保持同步状态。每个区块链都可以独立处理交易，同时仍然能够验证和合并网络中其他区块链的更改。这个相互连接的区块链网络充当一个统一的经济系统，整个网络的数据完整性和安全性都得到维护🧵👇此外，该设计使用简洁的证明来高效处理大量更新，而不会让电子表格中充斥着不必要的数据，这说明了纠缠式汇总如何实现区块链中可扩展且高效的跨链通信。该网络中的每个区块链或电子表格都可以增长并管理增加的活动，而不会被不必要的数据或第三方验证的复杂性所困扰🧵👇

与高级研究员 Lucas Fraga
@ProjectZKM
一起探索跨链交易的未来，在他即将举办的
@HouseofZK
研讨会“无桥跨链资产转移” ⚡️
@zklucas_
中，将深入探讨 ZKM 在不同区块链之间安全高效地转移资产的方法，而无需传统的桥接机制。了解塑造未来互操作性的最新进展：

您说 ZK 代表可扩展性吗？
为周四 Discord 上的“测验时间”做好准备🎁
与 ZKM 学习俱乐部一起深入研究零知识，并准备赢取 ZKM POINTS 和活跃参与者的专属社区角色： http://zkm.io/zkm-study-club/topic-3-zero-knowledge
“问答时间”活动链接： http://discord.gg/projectzkm?event=1259912507519402117
ZKM Zealy 活动： http://zealy.io/cw/zkm/invite/S4hu8psK84F5XtAHTvohi
星期四下午 6 点（UTC 时间）见📷🔥

我们的姊妹公司
@ProjectZKM
正在通过
@GOATRollup
🐐将具有共享网络所有权的去中心化序列器架构引入#BTC第 2 层生态系统
并且它将把 zkVM 解决方案引入比特币，以解决与其他链的流动性分散问题……

说 ZK 代表可扩展性吗？
为周四 Discord 上的“测验时间”做好准备🎁
与 ZKM 学习俱乐部一起深入研究零知识，并准备赢取 ZKM POINTS 和活跃参与者的专属社区角色： http://zkm.io/zkm-study-club/topic-3-zero-knowledge
“问答时间”活动链接： http://discord.gg/projectzkm?event=1259912507519402117，
ZKM Zealy 活动： http://zealy.io/cw/zkm/invite/S4hu8psK84F5XtAHTvohi
星期四下午 6 点（UTC 时间）见📷🔥

实现最佳桥接和互操作性被认为是区块链进步的“圣杯”，并包含两个重要的三难困境：桥接三难困境和互操作性三难困境。当前的桥接和互操作性协议通常只能实现每个三难困境的三个期望属性中的两个。
然而，
@ProjectZKM
的“纠缠汇总”设计提出了一种新颖的解决方案，可以潜在地实现这两个三难困境中的所有三个属性。这里我们展示了我们的纠缠汇总系列的附加部分，第 3.5 部分🧵