ZKM 通讯 2023 年 8 月
Share on

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

Hack to the Future 直播

ZKM DevRel 负责人 菲利普·迪米特里耶维奇 参加了 MetisDAO 基金会为梅蒂斯生态系统开发者举办的 Hack to the Future 直播活动。Filip 提出了 ZKM 将以太坊变成 ZKM 的愿景 全球结算层,以及ZKM的初始用例。在我们等待未来几个月公布我们的 MVP 的同时,我们敦促开发者加入我们的 Discord 并参与对话,继续推进我们的应用程序。

看看直播 这里 听听所有 Metis eConodes 的来信。

加入 ZKM Discord 频道,让我们开始聊天吧!

ETHToronto 和未来学家会议

ZKM 团队加入了 MetisDAO 基金会,并接管了多伦多不断发展的区块链领域。基金会联合创始人兼教育发展中心将ZKM列为Metis第二层的重要合作伙伴,以实现功能性混合汇总。

瑞安·科恩博士,ZKM研发负责人,发表了题为 “使用zkVMS建立可信赖的互联网” 的独家主题演讲。在本次演示中,科恩博士引用了 “一次编写,随处运行” 的口号来描述构建 zkVM 应用程序的可能性。

ETHWarsaw

我们去了波兰!ZKM 与 Metis Layer 2 团队一起前往 ETH华沙。ZKM 赞助了一个展位 L2Beat 的 L2Warsaw。ZKM 还出席了会议并主持了主题演讲 zkWarsaw 深入探讨了使用我们提议的 zkVM 作为第 2 层乐观汇总工具的概念。

区块链科学会议 '23

斯坦福区块链会议(SBC)是深度技术区块链爱好者的圣地。如果你猜对了,你猜对了:零知识开发只会变得越来越热!行业领导者和研究人员涌向SBC '23,讨论将进一步引领区块链未来走向成功的最新发展和概念,例如以太坊基金会、微软研究、Starkware和来自世界各地的领先大学研究小组。

郭明,ZKM 首席研究科学家,在官方的 Lightning Talk 上介绍了ZKM,简要概述了该组织的愿景、使命和白皮书。

📰 八月发表的文章:

zkMips:“安全” 对我们的 zkVM 证明意味着什么(第 1 部分) 作者:杰罗恩·范德格拉夫
一个问题是区块链技术的核心,尤其是ZK证明:我们首先如何定义安全性?在杰罗恩·范·德格拉夫深入探讨ZKM证明系统的关键概念和启示时,深入探讨zkVMS中的安全世界。

zkMips:“安全” 对我们的 zkVM 证明意味着什么(第 2 部分) 作者:杰罗恩·范德格拉夫
在本系列的第二部分中,杰罗恩·范德格拉夫深入探讨了 zkVM 中错综复杂的安全性。

Jolt 和 Lasso:构建 zkVM 的新方法 作者:杰罗恩·范德格拉夫 杰罗恩·范德格拉夫回应了最近发表的文章《Jolt》和《Lasso》,他在文章中概述了Jolt和Lasso的创新技术,这些技术有望重新定义安全虚拟化环境的格局。

以太坊扩容后的生活 作者:郭明。
以太坊的最终目标是什么?郭明在这篇内容丰富的文章中深入探讨了以太坊未来可扩展性的潜在影响和策略。

ZKM 白皮书:

还没读过吗?你在等什么?!发布于 以太坊研究 还有 可在我们的网站上找到 — 查看链接,告诉我们你的想法。通过电子邮件、推特 DM 或 Discord 联系我们。

Discord | 推特 | 网站 | 电子邮件

More articles
你好世界六月通讯
zkGM,欢迎收看 6 月版的 ZKM 时事通讯 ☀️。
了解 zkMIPS 的验证架构
TL; DR:zkMIPS 通过五个步骤证明了 MIPS 程序的正确执行:它(1)将程序分成几个段,(2)将每个段的指令分成四个模块表,(3)独立证明来自每个模块表的指令,(4)证明每个段的指令包含在其一个表中,以及(5)递归地证明段序列与程序执行相匹配。第 3 步以 STARK 形式编写,步骤 4 是以 STARK 编写的 LogUp 证明,步骤 5 以 PLONK 证明的形式编写。所有证明步骤均使用 Plonky2 库实现。或者,可以生成最终的 Groth16 证明来验证程序在链上的执行。
ZKM 通讯 2023 年 8 月

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

Hack to the Future 直播

ZKM DevRel 负责人 菲利普·迪米特里耶维奇 参加了 MetisDAO 基金会为梅蒂斯生态系统开发者举办的 Hack to the Future 直播活动。Filip 提出了 ZKM 将以太坊变成 ZKM 的愿景 全球结算层,以及ZKM的初始用例。在我们等待未来几个月公布我们的 MVP 的同时,我们敦促开发者加入我们的 Discord 并参与对话,继续推进我们的应用程序。

看看直播 这里 听听所有 Metis eConodes 的来信。

加入 ZKM Discord 频道,让我们开始聊天吧!

ETHToronto 和未来学家会议

ZKM 团队加入了 MetisDAO 基金会,并接管了多伦多不断发展的区块链领域。基金会联合创始人兼教育发展中心将ZKM列为Metis第二层的重要合作伙伴,以实现功能性混合汇总。

瑞安·科恩博士,ZKM研发负责人,发表了题为 “使用zkVMS建立可信赖的互联网” 的独家主题演讲。在本次演示中,科恩博士引用了 “一次编写,随处运行” 的口号来描述构建 zkVM 应用程序的可能性。

ETHWarsaw

我们去了波兰!ZKM 与 Metis Layer 2 团队一起前往 ETH华沙。ZKM 赞助了一个展位 L2Beat 的 L2Warsaw。ZKM 还出席了会议并主持了主题演讲 zkWarsaw 深入探讨了使用我们提议的 zkVM 作为第 2 层乐观汇总工具的概念。

区块链科学会议 '23

斯坦福区块链会议(SBC)是深度技术区块链爱好者的圣地。如果你猜对了,你猜对了:零知识开发只会变得越来越热!行业领导者和研究人员涌向SBC '23,讨论将进一步引领区块链未来走向成功的最新发展和概念,例如以太坊基金会、微软研究、Starkware和来自世界各地的领先大学研究小组。

郭明,ZKM 首席研究科学家,在官方的 Lightning Talk 上介绍了ZKM,简要概述了该组织的愿景、使命和白皮书。

📰 八月发表的文章:

zkMips:“安全” 对我们的 zkVM 证明意味着什么(第 1 部分) 作者:杰罗恩·范德格拉夫
一个问题是区块链技术的核心,尤其是ZK证明:我们首先如何定义安全性?在杰罗恩·范·德格拉夫深入探讨ZKM证明系统的关键概念和启示时,深入探讨zkVMS中的安全世界。

zkMips:“安全” 对我们的 zkVM 证明意味着什么(第 2 部分) 作者:杰罗恩·范德格拉夫
在本系列的第二部分中,杰罗恩·范德格拉夫深入探讨了 zkVM 中错综复杂的安全性。

Jolt 和 Lasso:构建 zkVM 的新方法 作者:杰罗恩·范德格拉夫 杰罗恩·范德格拉夫回应了最近发表的文章《Jolt》和《Lasso》,他在文章中概述了Jolt和Lasso的创新技术,这些技术有望重新定义安全虚拟化环境的格局。

以太坊扩容后的生活 作者:郭明。
以太坊的最终目标是什么?郭明在这篇内容丰富的文章中深入探讨了以太坊未来可扩展性的潜在影响和策略。

ZKM 白皮书:

还没读过吗?你在等什么?!发布于 以太坊研究 还有 可在我们的网站上找到 — 查看链接,告诉我们你的想法。通过电子邮件、推特 DM 或 Discord 联系我们。

Discord | 推特 | 网站 | 电子邮件