This blog post begins a series exploring the differences between three major cryptographic proof systems used to verify computations in blockchain applications: Groth16, PLONK, and STARK. To present their differences, we sketch instances of these proof systems to prove the knowledge of a solution for the Discrete Logarithm Problem (DLP) — a well-known computational problem whose assumed hardness is the base for the security of many cryptographic applications.

The ZKM team began our journey in Thailand by establishing a strong presence at @invisiblgarden, an @Ethereum and ZK-focused developer hub in Chiang Mai. They delivered a series of talks and workshops to showcase ZKM’s technology and its potential applications to the local community.

This month has been packed with significant events, groundbreaking research, and impactful collaborations. From hosting our own sessions at the House of ZK Virtual Conference and releasing major research pieces, to making big strides at ETHGlobal San Francisco, we have plenty of highlights to share.

在本期中，我们很自豪地分享9月份的亮点，九月份见证了重大进展，包括我们最新的基准报告、研究文章和关键合作活动的发布。

在这项工作中，我们开始在a16z先前工作的基础上发布一个通用而公平的zkVM基准测试框架，比较ZKM（zkMIPs）与其他zkVM项目（例如RISC Zero（R0）和SP1）之间的时间和能源成本。

什么构成交易证明？

为了完成跨链资产转移，目前可用的大多数解决方案都基于桥梁，即一个独立的中间实体，通常信任该实体在交易的某个时期持有这些资产。这种信任假设是不可取的，因为它提供了很大的攻击机会。在这篇文章中，我将解释，假设存在 zkRollup，人们无需额外的信任假设（例如桥梁）即可实现跨链资产转移。

比特币从投机资产向全球占主导地位的金融体系的过渡已接近转折点。事态发展

本月取得了许多进展和战略合作，这些合作继续影响着我们的技术，因此，我们为您带来了第二版《八月通讯》。要了解第一版，请参阅 zkm.io/blog/hello-world-八月时事通讯。

贡献者专区是一个旨在扩大 ZKM 社区的声音和专业知识的平台，邀请专家和发烧友分享他们的见解，加深对 ZK 技术及其应用的集体理解。贡献者专区的主要目标是创建一个充满活力的社区，让成员积极参与知识的共享和创造。该举措旨在：

ZKM 引领着 ZK 技术的发展，开发了一套创新工具和教育资源，以实现 ZK 与区块链的无缝集成。本文全面概述了我们正在进行的举措，展示了我们工作的广度，展望了未来。

STARK（可扩展的透明知识论证）是埃利·本·萨森及其同事在2018年推出的一种证明系统，与传统的SNARK系统相比，它具有更好的可扩展性和透明度。STARK 的工作原理是将复杂的计算转换为算术电路，然后将其表示为多项式评估问题。为了在计算过程中隐藏中间结果，使用了多项式承诺，同时允许验证者对这些结果进行采样和检查。通过应用低度扩展，将复杂的计算简化为验证低度多项式，然后使用高效的交互式证明协议 FRI 来检查多项式是否为低度多项式。该技术在实现隐私保护和可验证计算方面具有广泛的应用。

什么是 House of ZK？在这里，我们全面解释 “零知识之乡” 🔶

欢迎来到 Pulse Check Bytesize，这是我们常规的 Pulse Check 行业新闻计划的微型版本，它是零知识领域最新发展、见解和分析的可信来源。Pulse Check专注于领先的研究论文和重大项目更新，而 “Bytesize” 则以简洁的格式将行业领导者在社交媒体和播客上的有影响力的讨论整理成简洁的格式，提供重要的更新和热门话题摘要。

House of ZK在纽约市的区块链科学会议上举办了 “ZK日”。该活动由围绕ZK最新创新的技术研讨会和辩论组成，由ZKM和Aleo共同主办，由IC3、斯坦福CBR和伯克利RDI共同组织。杰罗恩·范·德格拉夫、卢卡斯·弗拉加和亚历克斯·普鲁登等知名专家分享了他们对纠缠汇总、zkMips架构和BitcoinL2 zkVM支持的原生安全等话题的见解，之后以热闹的欢乐时光结束，这是经过一天的密集讨论后社交和放松身心的绝佳机会。

继我们在ethCC期间在布鲁塞尔举办的活动取得巨大成功之后，House of ZK在纽约市区块链科学会议期间举办了 “ZK日”。该活动由ZKM和Aleo共同主办，由IC3、斯坦福大学CBR和伯克利RDI共同组织，事实证明是研究人员和行业领导者共同讨论ZK技术最新进展的非凡聚会。

欢迎来到 “House of ZK——Pulse Check”，这是零知识领域最新发展、见解和分析的可信来源。本报告的每个版本都探讨了塑造该行业的前沿进步和关键讨论，提供评论和分析，特别关注杰出的研究论文和zkVM，以及基于zk的L1、L2和跨链协议。

在我们庆祝加入 ZKM 一周年之际，我为我们从不起眼的起步到迅速被公认为ZK领域的先驱力量的旅程感到非常自豪。我们致力于转变区块链互操作性并将零知识技术无缝集成到日常区块链应用程序中，这推动了远远超出我们最初预期的创新和合作。我很自豪能够介绍这份时事通讯的前言，其中记录了我们的关键里程碑和社区成就——每一个关键步骤都使我们更接近我们的核心使命，即让大众能够使用最先进的 ZK 技术。‍

House of ZK活动恰逢2024年7月11日在布鲁塞尔举行的ETHCC周，该活动被证明是致力于探索和推进基于ZK技术的区块链开发人员、学者和行业领导者的中心枢纽。为期一天的活动包括教育主题演讲、引人入胜的小组讨论和深入的讨论，重点讨论了ZK在区块链中的巨大潜力和多样化应用。

zkGM，欢迎收看 6 月版的 ZKM 时事通讯 ☀️。

继ZKM Research最近发布最新的zkMIPs论文之后，我们希望解决社区提出的关键问题。在这里，我们将进行广泛的问答，深入了解该论文的更新及其意义。

ZKM 很高兴地宣布推出其独家 Proving Service，为开发人员提供访问高性能服务器的权限，这些服务器能够有效地处理生成零知识证明的密集计算需求。该服务专门针对ZKMIPs进行了优化，ZKMIPS是ZKM的专业zkVM软件，旨在促进将ZKP功能集成到各种应用程序中。

在这里，我们宣布发表ZKM Research的最新论文：“zkMIPS：高级规范”。对先前版本的重大更新纠正了原始文档与 zkMIPS 代码库当前状态之间的差异，为帮助 ZKM 开发者社区的贡献提供了更准确的信息基础。

我们很高兴地宣布，在 Proygon Ventures、Crypto.com、Amber Group、Leland Ventures、Waterdrip Capital、DFG、jSquare、捐赠资本和梅蒂斯基金会 🔥 的支持下，于 2023 年 11 月成功完成了 500 万美元的 Pre-A 轮融资

正如安德鲁·陈（a16z）在《冷启动问题》一书中定义的那样，网络效应描述了当产品随着使用者越来越多而变得更有价值时会发生什么。作为一个核心基础设施项目的创始人，该项目正在构建一个通用 zkVM 来统一区块链间的流动性，如何为较低层基础设施项目实现网络效果是我整天都在思考的问题。

从历史上看，最大的技术和企业努力是由目标驱动的，其目标不仅限于利润最大化的直接目标。埃隆·马斯克经营的公司就是一个很好的例子。以SpaceX使人类成为多行星物种的终极使命或特斯拉的目标为例，

ZKM 正在使用 Entangled Rollups 来构建量子网络，以实现普遍结算。

你好 Q2！我们的团队对新季度开始感到非常兴奋，而且我们每天都在变得更强大。我们在 2023 年 7 月首次推出后发展缓慢，但在 2024 年第一季度，我们的社区成员激增至近 50,000 人。我们希望通过这份时事通讯向我们的社区和合作伙伴表达我们的感激和赞赏，他们在这段旅程中发挥了如此重要的作用。

TL; DR：zkMIPS 通过五个步骤证明了 MIPS 程序的正确执行：它（1）将程序分成几个段，（2）将每个段的指令分成四个模块表，（3）独立证明来自每个模块表的指令，（4）证明每个段的指令包含在其一个表中，以及（5）递归地证明段序列与程序执行相匹配。第 3 步以 STARK 形式编写，步骤 4 是以 STARK 编写的 LogUp 证明，步骤 5 以 PLONK 证明的形式编写。所有证明步骤均使用 Plonky2 库实现。或者，可以生成最终的 Groth16 证明来验证程序在链上的执行。

我们最近推出了一种名为 Entangled Rollup 的新型信任最小化多链互操作性基础设施。‍ 在这项工作中，我们利用我们最先进的递归 zkVM (zkMIPs)，在 zkRollUps 的标准安全假设下审慎地纠缠底层原语，从而实现互操作性协议。‍ Entangled Rollup 协议是去信任的，是解决流动性分散问题向前迈出的一步，此外还简化了作为多链世界主要采用障碍的用户和开发者体验。‍

可以肯定地说，2024 年 2 月是真正让 ZKM 登上地图的月份！经过数月的紧张准备和相对隐身的热心积累，我们透露了在 House of ZK 创世前发布的几项令人垂涎的新进展，它点亮了 ETHDenver！

我们很高兴地宣布推出我们的零知识虚拟机 (zkVM) Alpha 测试网。

我们非常高兴能够推出 “德尔福：共享密码假设评估”，这是一项由耶罗恩·范德格拉夫和阿珍·伦斯特拉开发的高级研究计划。

一月份是紧张准备的一个月——我们不仅即将推出期待已久的测试网，而且丹佛分校也即将到来，我们的 “House of ZK” 黑客之家正准备成为一个非常特别的项目。

我们欣喜若狂地迎接2024年即将到来的新年。ZKM 在 2023 年结束时对我们的社区深表感激和赞赏——没有你们，我们不可能有如此成功的一年！

ZKM 很高兴重启我们的每月 Hello World 时事通讯！我们了解与社区保持联系的重要性，还有什么比重新发布我们的时事通讯更好的方式呢？ZKM 团队一直在幕后辛勤工作，为你带来一份时事通讯，它不仅能提供信息，还能让人眼花缭乱。

11 月伊始于 ZKM 的激动人心的事态发展——我们启动了早期贡献者计划 (ECP) 的第 2 组：社区进化

零知识（ZK）已成为 Web3 世界中一个新的、非常受欢迎的流行语——但它到底意味着什么？ZKM 提供的教育中心是你解开 ZK 错综复杂之处的第一站。ZKM 团队将在您的 ZK 学习之旅的每一步中为您提供帮助。

在 ZKM，我们的使命是通过将隐私、安全和效率放在首位，彻底改变数字世界。随着我们的早期贡献者计划（ECP）第二阶段：社区演进的推出，我们在实现这一目标方面向前迈出了一大步。该计划在培养具有前瞻性思维的开发人员社区方面发挥了重要作用，他们积极参与塑造开源零知识技术的未来。在这篇文章中，我们很高兴向大家介绍我们的ECP在这个新阶段为我们不断壮大的社区带来的新功能和机会。

区块链科学会议（SBC 2023）每年在斯坦福大学举行。当地的ZKM团队出席了会议，与会团队的首席研究顾问杰罗恩·范德格拉夫分享了他的经验，并发表了他对活动和研讨会的见解并发表了评论：

8 月标志着我们构建通用用途 zkVM 的又一个月。让我们回过头来看看 ZKM 发生的所有事情。Hack to the Future 直播

在我们讨论混合汇总技术之路的文章中，我们谈到了以太坊扩容斗争的演变。在那次讨论中，我们看到了一个优雅而实用的解决方案是如何最终出现的：分层的区块链设计，将第 1 层作为主链，仅处理共识和数据可用性，第 2 层作为汇总，为所有区块链用户提供卸载的计算验证，从而创建可扩展的区块链解决方案。

使用 zkMIPS，客户可以外包使用 MIPS 指令集编写的程序，让它执行，除了获得结果外，还可以获得易于验证的证据，证明该结果是正确的。创建此证明的软件组件称为 zkVM。

既然我们已经描述了 ZK 证明安全性的更广泛问题，让我们继续讨论问题 2。在对两党制的分析中

了解 ZK 证明的安全特性是一项艰巨的挑战。由于我们正在构建一个通用的 zkVM（称为 zkMIPS，因为它将零知识证明与 MIPS 指令集相结合），因此我们必须考虑我们开发的每行代码的安全性。

而且 We Are Off 🚀 ZKM 于 2023 年 7 月 13 日正式上线。由 MetisDAO 基金会孵化的零知识虚拟机 (zkVM) 解决方案旨在将以太坊确立为通用虚拟机

作者：ZKM 首席科学家郭明《极品飞车》在区块链的时间表上，以太坊已经存在了很长时间，在此过程中逐渐发展成为使用最广泛的网络——长达一英里。尽管如此，仍然存在许多挑战。通过支持去中心化应用程序构建，以太坊激发了用户对流行的dApps的浓厚兴趣，只是...