你好世界六月通讯
Share on

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

在过去的一个月里,我们已经发布了几项重大进展和公告——让我们开始解包吧!

ZKM 证明服务

我们很高兴地宣布推出我们的专业验证服务,旨在消除开发人员在使用我们的 zkMips (zkVM) 时面临的硬件限制。

这一新开发使开发人员能够不受限制地使用ZKP进行创新,并为区块链技术的可能性设定了新的标准。

如果你有兴趣访问认证服务以开始使用 zkMIPS 进行构建,可以在白名单上申请一席之地 https://zkm.io/apply,因为初始测试阶段的可用性有限。

欲了解更多详情,请前往: https://zkm.io/blog/zkms-proving-service-breaking-down-the-barriers-for-proof-generation

zkMips 论文

ZKM Research 发布了一篇名为 “zkMIPS:高级规范” 的新论文,概述了我们的 zkMIPS 的开发,这是一种通用 zkVM,它利用 MIPS 指令集和处理器架构来促进可验证的计算,产生可有效验证计算完整性的简明证明。

该论文可在此处获得: https://whitepaper.zkm.io/new_zkMIPS_white_paper.pdf 我们邀请各方合作,帮助改进这项不断演变的工作。加入我们的 Discord 服务器上的讨论,对 zkMips 论文提供反馈: https://discord.com/invite/projectzkm 或者前往 zkMips GitHub 贡献代码: https://github.com/zkMIPS

zkMips Paper AMA

论文发布后,ZKM Research举办了一次特别活动,回答了有关zkMIPs的问题,并讨论了我们从社区获得的反馈。如果你错过了现场直播,你可以在这里找到录音: https://www.youtube.com/watch?v=sOd7tLV-bC8 

AMA 之后发布了高级别问答,以解决来自我们社区的关键问题: https://zkm.io/blog/zkmips-a-high-level-specification-questions

如果您在此之后仍有任何疑问,请随时在我们的 Discord 中提问,跟进他们!

布鲁塞尔 ZK 之家

House of ZK宣布,ETHCC将在布鲁塞尔盛大回归!

我们计划了一天中有关零知识的富有洞察力的对话和辩论,随后是我们的专属欢乐时光,旨在帮助宾客放松身心,品尝各种手工调制的鸡尾酒、美味的开胃菜,以及在深入 Zero Knowledge 世界一整天后放松身心的完美氛围。

您可以在以下地址找到更多详细信息,包括如何申请参加、赞助或演讲 https://zkm.io/events/house-of-zk-brussels

ZK 之屋-创世纪剧集

House of ZK 还发布了他们创世播客剧集的预告片——ProjectZKM 首席科学家郭明(@DacEconomy)在讨论他在区块链领域进行建设的动机时有了深刻的哲学思想 🐝

敬请关注完整剧集,即将上线! https://x.com/HouseofZK/status/1798710310532215222

Ming 还与 Staking Circle 一起参加了一次以 ZKM 为重点的 AMA,在那里他深入了解了 ZKM 的所有内容。你可以在这里找到基于文本的 Staking Circles 摘要: https://x.com/stakingcircle/status/1799129592952651947 

合作公告

我们宣布将与Marlin协议合作,使开发人员能够利用我们的zkMIPS通过Kalypso高效且经济高效地生成ZK Proof。

在此之前,我们早些时候宣布了与Gevulot的合作伙伴关系,Gevulot还将提供对我们ZKMIP的无缝访问,而开发人员无需自己运行节点硬件。

最后,但并非最不重要的一点是,Free Labs宣布了对ZKM的战略投资,承认了我们改变区块链互操作性的潜力。

我们非常高兴所有这些合作伙伴的加入,共同推动我们共同向前发展!

GOAT 网络品牌发布会

我们目睹了GOAT Network的品牌推出,这将是第一个共享网络所有权的比特币第二层,并将使用我们的zkMIP(zkVM)来实现原生比特币安全——这无疑是建立在我们的技术堆栈之上的众多链中的第一条!

你可以在 Twitter 上关注 GOAT Network 然后进一步了解他们:@GOATRollup

ZK 测验时间!

在过去的一个月里,我们在Discord中进行了多次以ZK为重点的测验,主要集中在我们新的zkMips论文上。测验时间为世界标准时间每周四下午 6 点。

恭喜 sukrucildirr 迄今为止在总排行榜上名列前茅——如果你坚持下去,你会获得更多奖品!

打破西兰纪录

现在,我们的ECP的Zealy部分有超过25,000名参与者,本月完成了超过20万个任务!要参与我们的 Zealy 活动以获得 ZKM 积分,请前往 Zealy.io/cw/zkm/invite/s4hu8psk84f5xtahtvoHI

对我们首席执行官的独家采访

ZKM首席执行官刘凯文在接受《科技时报》采访时对ZKM现在和未来的方向提供了有先见之明的见解。

你可以在这里找到采访: https://www.techtimes.com/articles/305404/20240606/behind-zkm-an-interview-with-co-founder-and-ceo-kevin-liu-on-building-blockchain-interoperability.htm 

在此之前,凯文在上个月发表了极具洞察力的文章,探讨了 zkVM 如何实现网络效果。如果你错过了,可以在ZKM博客上找到: https://www.zkm.io/blog/how-can-a-general-purpose-zkvm-achieve-network-effects 

我们可以继续下去,但这足够你消化一个月!下次见 Hello World 周年特别版!☀️

More articles
传统 STARK vs Circle
STARK(可扩展的透明知识论证)是埃利·本·萨森及其同事在2018年推出的一种证明系统,与传统的SNARK系统相比,它具有更好的可扩展性和透明度。STARK 的工作原理是将复杂的计算转换为算术电路,然后将其表示为多项式评估问题。为了在计算过程中隐藏中间结果,使用了多项式承诺,同时允许验证者对这些结果进行采样和检查。通过应用低度扩展,将复杂的计算简化为验证低度多项式,然后使用高效的交互式证明协议 FRI 来检查多项式是否为低度多项式。该技术在实现隐私保护和可验证计算方面具有广泛的应用。
了解 zkMIPS 的验证架构
TL; DR:zkMIPS 通过五个步骤证明了 MIPS 程序的正确执行:它(1)将程序分成几个段,(2)将每个段的指令分成四个模块表,(3)独立证明来自每个模块表的指令,(4)证明每个段的指令包含在其一个表中,以及(5)递归地证明段序列与程序执行相匹配。第 3 步以 STARK 形式编写,步骤 4 是以 STARK 编写的 LogUp 证明,步骤 5 以 PLONK 证明的形式编写。所有证明步骤均使用 Plonky2 库实现。或者,可以生成最终的 Groth16 证明来验证程序在链上的执行。
你好世界六月通讯

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

在过去的一个月里,我们已经发布了几项重大进展和公告——让我们开始解包吧!

ZKM 证明服务

我们很高兴地宣布推出我们的专业验证服务,旨在消除开发人员在使用我们的 zkMips (zkVM) 时面临的硬件限制。

这一新开发使开发人员能够不受限制地使用ZKP进行创新,并为区块链技术的可能性设定了新的标准。

如果你有兴趣访问认证服务以开始使用 zkMIPS 进行构建,可以在白名单上申请一席之地 https://zkm.io/apply,因为初始测试阶段的可用性有限。

欲了解更多详情,请前往: https://zkm.io/blog/zkms-proving-service-breaking-down-the-barriers-for-proof-generation

zkMips 论文

ZKM Research 发布了一篇名为 “zkMIPS:高级规范” 的新论文,概述了我们的 zkMIPS 的开发,这是一种通用 zkVM,它利用 MIPS 指令集和处理器架构来促进可验证的计算,产生可有效验证计算完整性的简明证明。

该论文可在此处获得: https://whitepaper.zkm.io/new_zkMIPS_white_paper.pdf 我们邀请各方合作,帮助改进这项不断演变的工作。加入我们的 Discord 服务器上的讨论,对 zkMips 论文提供反馈: https://discord.com/invite/projectzkm 或者前往 zkMips GitHub 贡献代码: https://github.com/zkMIPS

zkMips Paper AMA

论文发布后,ZKM Research举办了一次特别活动,回答了有关zkMIPs的问题,并讨论了我们从社区获得的反馈。如果你错过了现场直播,你可以在这里找到录音: https://www.youtube.com/watch?v=sOd7tLV-bC8 

AMA 之后发布了高级别问答,以解决来自我们社区的关键问题: https://zkm.io/blog/zkmips-a-high-level-specification-questions

如果您在此之后仍有任何疑问,请随时在我们的 Discord 中提问,跟进他们!

布鲁塞尔 ZK 之家

House of ZK宣布,ETHCC将在布鲁塞尔盛大回归!

我们计划了一天中有关零知识的富有洞察力的对话和辩论,随后是我们的专属欢乐时光,旨在帮助宾客放松身心,品尝各种手工调制的鸡尾酒、美味的开胃菜,以及在深入 Zero Knowledge 世界一整天后放松身心的完美氛围。

您可以在以下地址找到更多详细信息,包括如何申请参加、赞助或演讲 https://zkm.io/events/house-of-zk-brussels

ZK 之屋-创世纪剧集

House of ZK 还发布了他们创世播客剧集的预告片——ProjectZKM 首席科学家郭明(@DacEconomy)在讨论他在区块链领域进行建设的动机时有了深刻的哲学思想 🐝

敬请关注完整剧集,即将上线! https://x.com/HouseofZK/status/1798710310532215222

Ming 还与 Staking Circle 一起参加了一次以 ZKM 为重点的 AMA,在那里他深入了解了 ZKM 的所有内容。你可以在这里找到基于文本的 Staking Circles 摘要: https://x.com/stakingcircle/status/1799129592952651947 

合作公告

我们宣布将与Marlin协议合作,使开发人员能够利用我们的zkMIPS通过Kalypso高效且经济高效地生成ZK Proof。

在此之前,我们早些时候宣布了与Gevulot的合作伙伴关系,Gevulot还将提供对我们ZKMIP的无缝访问,而开发人员无需自己运行节点硬件。

最后,但并非最不重要的一点是,Free Labs宣布了对ZKM的战略投资,承认了我们改变区块链互操作性的潜力。

我们非常高兴所有这些合作伙伴的加入,共同推动我们共同向前发展!

GOAT 网络品牌发布会

我们目睹了GOAT Network的品牌推出,这将是第一个共享网络所有权的比特币第二层,并将使用我们的zkMIP(zkVM)来实现原生比特币安全——这无疑是建立在我们的技术堆栈之上的众多链中的第一条!

你可以在 Twitter 上关注 GOAT Network 然后进一步了解他们:@GOATRollup

ZK 测验时间!

在过去的一个月里,我们在Discord中进行了多次以ZK为重点的测验,主要集中在我们新的zkMips论文上。测验时间为世界标准时间每周四下午 6 点。

恭喜 sukrucildirr 迄今为止在总排行榜上名列前茅——如果你坚持下去,你会获得更多奖品!

打破西兰纪录

现在,我们的ECP的Zealy部分有超过25,000名参与者,本月完成了超过20万个任务!要参与我们的 Zealy 活动以获得 ZKM 积分,请前往 Zealy.io/cw/zkm/invite/s4hu8psk84f5xtahtvoHI

对我们首席执行官的独家采访

ZKM首席执行官刘凯文在接受《科技时报》采访时对ZKM现在和未来的方向提供了有先见之明的见解。

你可以在这里找到采访: https://www.techtimes.com/articles/305404/20240606/behind-zkm-an-interview-with-co-founder-and-ceo-kevin-liu-on-building-blockchain-interoperability.htm 

在此之前,凯文在上个月发表了极具洞察力的文章,探讨了 zkVM 如何实现网络效果。如果你错过了,可以在ZKM博客上找到: https://www.zkm.io/blog/how-can-a-general-purpose-zkvm-achieve-network-effects 

我们可以继续下去,但这足够你消化一个月!下次见 Hello World 周年特别版!☀️