可以肯定地说,2024 年 2 月是真正让 ZKM 登上地图的月份!经过数月的紧张准备和相对隐身的热心积累,我们透露了在 House of ZK 创世前发布的几项令人垂涎的新进展,它点亮了 ETHDenver!
我们非常高兴能够介绍 'Delphi:分享对密码假设的评估',由 Jeroen van de Graaf 和 Arjen K. Lenstra 开发的一项高级研究计划: https://eprint.iacr.org/2024/157
几乎所有实用的加密协议都基于计算或临时假设。因此,评估这些假设的优势是评估使用这些假设的系统的风险的关键因素。围绕这些假设的讨论通常仅限于在主要加密会议的茶歇期间进行,或者仅限于孤立的群体。我们的目标是使这些讨论变得明确和公开,收集数百名专家的知识。
为此,我们开发了 '德尔菲',这是一份在线问卷,旨在记录研究人员对最重要假设优势的看法和信念。收到的所有回复都将在我们的网站上公布,我们还打算合并这些回复并发布结果。
本文探讨了经典的密码学假设,而专门针对以太坊、zkSNARKs、zksnarks、zkfriendly 哈希函数和类似原语的单独问卷调查则正在开发中。由于这些原语中有许多相对较新,没有经过时间的考验,这种共同比较原语的努力应该对我们的社区有很大的帮助。
紧随我们在Delphi发布公告之后,又发布了一份新的Lightpaper,其中详细介绍了名为Entangled Rollup的新的信任最小化多链互操作性基础架构。
在这项工作中,我们利用我们最先进的递归 zkVM (zkMIPs),在 zkRollUps 的标准安全假设下审慎地纠缠底层原语,从而实现互操作性协议。
Entangled Rollup 协议无需信任,是解决流动性分散问题的重要一步,此外还简化了作为多链世界主要采用障碍的用户和开发者体验。
你可以在这里找到 Entangled Rollup Lightpaper: https://whitepaper.zkm.io/entangled_rollup_light_paper.pdf
接下来是我们期待已久的零知识虚拟机 (zkVM) 的推出 '阿尔法测试网'!
我们的主要目标是将以太坊确立为安全、可验证计算的全球结算层。我们的 zkVM 将零知识技术与 MIPS 处理器架构相结合,创建了独特的可验证计算解决方案,为新旧应用程序利用零知识证明技术的许多潜在优势开辟了巨大的可能性。
我们正在寻求开发人员的合作和贡献,以构建我们的 zkVM 支持的应用程序,可以在此处进行测试: https://github.com/zkMIPS/zkm
如果你正在参与我们的早期贡献者计划,那么你可以在以下位置找到我们的 Alpha Testnet 奖励:
我们的首席科学家郭明和研究人员 Lucas Fraga & Peyman Momeni 就 “Entangled Rollup”(ZKM 帮助区块链互操作性的开创性新概念)发表了独家且高度互动的 “问答风格” 演讲。
这主要由我们出色的教育主管爱丽丝·刘主持,还包括我们的开发负责人帕维尔·西内尔尼科夫出人意料地露面,她在解释我们的Alpha测试网的来龙去脉方面做得非常出色。
我们主办了这个令人难以置信的月份 'ZK之屋',我们在ETHDenver期间举行的第一次黑客之家聚会,在那里我们举行了主题演讲、讲座、小组讨论和互动研讨会,让我们的每位居民都想要更多!
该议程由6个独立主题的日子确定,这些日子经过精心设计,旨在让一些最杰出的专注于ZK的开发人员和企业家分享他们的最佳想法,并就各自项目背后的技术提供独家见解。
在 House of ZK 的第一天, 建造并冷却,是专门为本周定下基调的一天。虽然丹佛欢迎成千上万的建筑商,但House of ZK在Buidlathon场外提供了一个安静的社交区域,为我们的居民提供了一个理想的环境,可以为忙碌的一周热身。
第二天, “(重新)搜索 ZK” 当天,事情真正拉开了序幕,一些最令人垂涎的行业专家正在领导将零知识技术整合到区块链背后的研究。
ZKM 首席科学家 Ming Graaf(ZKM 高级密码学家)、研究员 Diogo Almeida(ZKM 高级密码学家)、研究员 Diogo Almeida(ZKM 研究员)首先欢迎所有人加入 ZK 之家 光移资本)、帕维尔·西内尔尼科夫(ZKM 开发负责人)、Vipul Saini(联合创始人兼首席技术官 Cypherock),西蒙·贾德(软件开发人员 因宫山)和亚伦·马龙(创始人 集体企业),点亮众议院舞台。
当天还邀请了全明星研究小组,其中包括乔迪·贝利纳 多边形 zkEVM,迪伦·卡瓦莱克 英沃科技,维克多·穆诺兹的 梅蒂斯,还有我们自己的郭明,他在讨论 “区块链中的可扩展性解决方案和零知识技术” 时进行了精彩的结合。
'向所有虚拟机致GM' 是深入探讨虚拟机架构的一天,主题的严肃性与许多微笑和玩笑相得益彰!
当天由另一场全明星组成的小组讨论拉开了序幕,其中一些人是前一天回来的,他们讨论了 “替代用例的ZKP设计注意事项”。参与的小组成员是乔迪·贝利纳(Jordi Baylina)(联合创始人兼技术主管 多边形 zkEVM)、“dcbuilder”(研究工程师 世界币基金会)、丹尼尔·卢米(zkSync 的 MatterLabs),贾斯汀·张(Spin联合创始人兼首席执行官),他们由我们的首席科学家郭明领导。
小组讨论之后,大卫·巴雷托(开发者倡导者)发表了一系列精彩的主题演讲和演示 Starknet 基金会),朱塞佩·德卢卡(DevRel 负责人 IoTeX),山姆·埃姆斯(BD 总监 Salus),Remi Gai(创始人 INCO)、Stephen Duan(ZKM 开发主管)和刘俊达(布雷维斯 联合创始人),他涵盖了 zkVM 中从同态加密到协同处理和递归的所有内容。
进入本周的下半周, '同步缩放' 又是一整天的小组讨论、主题演讲和演示,这次来自专注于使用zkP扩展区块链技术的项目和建设者。
第 2 层解决方案梅蒂斯的首席营销官何塞·法布雷加在多米尼克·施密德(项目经理)面前启动了诉讼程序 多边形模登)、弗朗西斯·伯瓦(美国分部负责人 zkPass),Elgios Cheung(生态系统负责人 zkLink)、周奇(创始人/首席执行官 ETH存储)、乔恩·斯蒂芬斯(首席技术官 Veridise Inc),马克斯·苏尔塔科夫(联合创始人兼首席执行官 奥术金融)、Arnav Pagidyala(校长 HashKey),Cathie So(首席科学家 奥拉),以及回归的郭明、帕维尔·西内尔尼科夫和迪伦·卡瓦莱克探索了旨在扩展和 “无桥” 连接区块链的各种方法。
“同步扩展” 日的参与者还有幸目睹了另一场星光聚集的关于 “与ZK进行真正的无信任桥接” 的讨论,这场讨论是在回归的郭明、多米尼克·施密德、丹尼尔·卢米之间进行的,还有舒巴姆·班达里(Shubham Bhandari)(生态系统负责人) Manta) 和 Phil Kelly(业务发展主管 o1 实验室)。
本次会议由出色的联合创始人兼首席执行官埃文·麦卡伦主持 disco.xyz
ZK 之家的第二天就结束了 ZK 安全 以及隐私,还有另一场紧张的专家演讲者日程安排。这篇文章甚至包含了埃里克·弗里兰德之间的额外炉边谈话(CSO 多面体),Aetos Huo(产品总监 zkPass),还有我们的高级密码学家(杰罗恩·范德格拉夫)。
在约翰·雷诺兹的一系列主题演讲和研讨会演示之前,帕维尔·西内尔尼科夫欢迎了我们的客人(联合创始人 ZPass, Aleo),诺伯特·瓦达斯(协议研究员 Gevulot),艾米丽·林和艾莉亚·普尔塔巴塔拜伊 莱尼亚,Kostas Ferles(首席研究官 验证),山姆·埃姆斯(BD 总监 Salus)、奥托·莫拉(美国商业开发部) 多边形 ID),杰弗里·舒尔茨(创始人 稀有技能)、雅各布·马卡尔斯基和皮特·辛普森(撰稿人 轨道炮),纳纳克·尼哈尔(联合创始人 Holonym 基金会),Anne-Grace Kleczewski(联合创始人 Keom 协议), 埃里克·阿尔斯顿,科罗拉多大学
小组讨论以 “隐私与弹性:在去中心化系统中建立信任” 为主题,并邀请了来自ZK领域一些最受推崇的项目的专家演讲。
丹尼尔·赫尔姆(开发者关系主管 滚动),何塞·贝当古(创始人兼首席执行官 虚拟实验室),Aetos Huo(产品总监 zkPass),还有 zkSync/ 回归的 Daniel LumiMatterLabs 所有这些都集中在对我们的听众来说是一场极具教育意义的讨论中。
倒数第二天是 '建筑大队',其中包含了业内一些最聪明的人的宝贵见解,其中包括我们的一些合作伙伴之间的特别小组讨论。汤米(投资经理 Crypto.com)、Benson(合伙人 OKX 风险投资公司),James Wo(创始人兼首席执行官 DFG)和约克(投资主管 生成式风险投资),透露了他们组建高绩效团队的策略和最佳实践,由回归的埃文主持 disco.xyz。
这一天,我们的首席执行官刘凯文在莫娜·蒂斯勒(投资主管莫娜·蒂斯勒)面前也受到了特别欢迎 Tokentus 投资), 卢·克纳 (Crypto Oracle),以及由埃里克·弗里兰德(首席安全官)参加的小组讨论多面体),埃利斯来自 Hexens 还有我们的 DevRel 负责人 Pavel,他们被建立成功的企业、培育社区和获得风险投资资金背后的更多秘密吸引了观众。
Metis & Frens 开发日 结束了激动人心的一周,我们在那里接待了其他经济学家 MetiSL2 和 P1X 旁边 链链接。
总体而言,我们的 House of ZK 的首次亮相取得了巨大成功,我们要向所有参与其中的人表示最深切的感谢。社区氛围和总体氛围正是我们所希望的,我们非常期待举办下一次House of ZK活动。它不会很远,所以请睁大眼睛!
在ETHDenver的其他地方,我们的团队正在努力管理ZKM展位,让观众对我们最近的新开发项目一无所知。
人们蜂拥而来读我们的新书 'Entangled Rollup'写下来,确切地了解我们计划如何将区块链行业与这一革命性概念联系起来。
我们的首席科学家郭明在整个ETHDenver上进行了几次非常有趣的讨论,包括在EthDenver上举行的小组讨论 Aleo 黑客之家 他在那里讨论了如果有零知识技术可供使用,“中本聪” 会做什么。
帕维尔·西内尔尼科夫(我们的 DevRel 负责人)也在丹佛各地行动,包括 对俱乐部进行编码 “ZK 之州” 小组讨论会,以及 米娜, 滚动, 莱尼亚 和 太鼓。
同时,我们的资深密码学家 Jeroen van de Graaf 正忙于传播 “德尔福” 一词,并分享他40多年积累的密码学知识。
我们的 zkVM 几乎已经为集成做好了准备,目前正在进行一系列性能优化。第一个主要集成将与Metis L2集成,我们的zkVM支持使用零知识证明对批量交易进行验证。这些证明将发布回以太坊,这极大地减少了拥塞,并允许用户更快地提取资金。
我们还在与一些新合作伙伴进行深入整合——不久将公布更多相关信息——而且该团队已经在忙于为下一站 “House of ZK” 做计划。更重要的是,您可以期待我们的教育中心的一些重大进展,该中心正在进行一些重大更新,并将很快出现在我们的网站上。关注这个空间!
请留意我们的 “X” 页面上有关所有这些的公告 (@projectZKM) 然后在我们的 Discord 服务器中: https://discord.com/invite/zkm
同时,ETHDenver之后没有休息,我们的研发团队又回到了实验室。我们已经完成了研究,有了概念——现在是时候将其付诸实践了。
我们希望您喜欢阅读我们迄今为止最精彩的月份,我们将在下个月见到您,以获取更多精彩的更新!
可以肯定地说,2024 年 2 月是真正让 ZKM 登上地图的月份!经过数月的紧张准备和相对隐身的热心积累,我们透露了在 House of ZK 创世前发布的几项令人垂涎的新进展,它点亮了 ETHDenver!
我们非常高兴能够介绍 'Delphi:分享对密码假设的评估',由 Jeroen van de Graaf 和 Arjen K. Lenstra 开发的一项高级研究计划: https://eprint.iacr.org/2024/157
几乎所有实用的加密协议都基于计算或临时假设。因此,评估这些假设的优势是评估使用这些假设的系统的风险的关键因素。围绕这些假设的讨论通常仅限于在主要加密会议的茶歇期间进行,或者仅限于孤立的群体。我们的目标是使这些讨论变得明确和公开,收集数百名专家的知识。
为此,我们开发了 '德尔菲',这是一份在线问卷,旨在记录研究人员对最重要假设优势的看法和信念。收到的所有回复都将在我们的网站上公布,我们还打算合并这些回复并发布结果。
本文探讨了经典的密码学假设,而专门针对以太坊、zkSNARKs、zksnarks、zkfriendly 哈希函数和类似原语的单独问卷调查则正在开发中。由于这些原语中有许多相对较新,没有经过时间的考验,这种共同比较原语的努力应该对我们的社区有很大的帮助。
紧随我们在Delphi发布公告之后,又发布了一份新的Lightpaper,其中详细介绍了名为Entangled Rollup的新的信任最小化多链互操作性基础架构。
在这项工作中,我们利用我们最先进的递归 zkVM (zkMIPs),在 zkRollUps 的标准安全假设下审慎地纠缠底层原语,从而实现互操作性协议。
Entangled Rollup 协议无需信任,是解决流动性分散问题的重要一步,此外还简化了作为多链世界主要采用障碍的用户和开发者体验。
你可以在这里找到 Entangled Rollup Lightpaper: https://whitepaper.zkm.io/entangled_rollup_light_paper.pdf
接下来是我们期待已久的零知识虚拟机 (zkVM) 的推出 '阿尔法测试网'!
我们的主要目标是将以太坊确立为安全、可验证计算的全球结算层。我们的 zkVM 将零知识技术与 MIPS 处理器架构相结合,创建了独特的可验证计算解决方案,为新旧应用程序利用零知识证明技术的许多潜在优势开辟了巨大的可能性。
我们正在寻求开发人员的合作和贡献,以构建我们的 zkVM 支持的应用程序,可以在此处进行测试: https://github.com/zkMIPS/zkm
如果你正在参与我们的早期贡献者计划,那么你可以在以下位置找到我们的 Alpha Testnet 奖励:
我们的首席科学家郭明和研究人员 Lucas Fraga & Peyman Momeni 就 “Entangled Rollup”(ZKM 帮助区块链互操作性的开创性新概念)发表了独家且高度互动的 “问答风格” 演讲。
这主要由我们出色的教育主管爱丽丝·刘主持,还包括我们的开发负责人帕维尔·西内尔尼科夫出人意料地露面,她在解释我们的Alpha测试网的来龙去脉方面做得非常出色。
我们主办了这个令人难以置信的月份 'ZK之屋',我们在ETHDenver期间举行的第一次黑客之家聚会,在那里我们举行了主题演讲、讲座、小组讨论和互动研讨会,让我们的每位居民都想要更多!
该议程由6个独立主题的日子确定,这些日子经过精心设计,旨在让一些最杰出的专注于ZK的开发人员和企业家分享他们的最佳想法,并就各自项目背后的技术提供独家见解。
在 House of ZK 的第一天, 建造并冷却,是专门为本周定下基调的一天。虽然丹佛欢迎成千上万的建筑商,但House of ZK在Buidlathon场外提供了一个安静的社交区域,为我们的居民提供了一个理想的环境,可以为忙碌的一周热身。
第二天, “(重新)搜索 ZK” 当天,事情真正拉开了序幕,一些最令人垂涎的行业专家正在领导将零知识技术整合到区块链背后的研究。
ZKM 首席科学家 Ming Graaf(ZKM 高级密码学家)、研究员 Diogo Almeida(ZKM 高级密码学家)、研究员 Diogo Almeida(ZKM 研究员)首先欢迎所有人加入 ZK 之家 光移资本)、帕维尔·西内尔尼科夫(ZKM 开发负责人)、Vipul Saini(联合创始人兼首席技术官 Cypherock),西蒙·贾德(软件开发人员 因宫山)和亚伦·马龙(创始人 集体企业),点亮众议院舞台。
当天还邀请了全明星研究小组,其中包括乔迪·贝利纳 多边形 zkEVM,迪伦·卡瓦莱克 英沃科技,维克多·穆诺兹的 梅蒂斯,还有我们自己的郭明,他在讨论 “区块链中的可扩展性解决方案和零知识技术” 时进行了精彩的结合。
'向所有虚拟机致GM' 是深入探讨虚拟机架构的一天,主题的严肃性与许多微笑和玩笑相得益彰!
当天由另一场全明星组成的小组讨论拉开了序幕,其中一些人是前一天回来的,他们讨论了 “替代用例的ZKP设计注意事项”。参与的小组成员是乔迪·贝利纳(Jordi Baylina)(联合创始人兼技术主管 多边形 zkEVM)、“dcbuilder”(研究工程师 世界币基金会)、丹尼尔·卢米(zkSync 的 MatterLabs),贾斯汀·张(Spin联合创始人兼首席执行官),他们由我们的首席科学家郭明领导。
小组讨论之后,大卫·巴雷托(开发者倡导者)发表了一系列精彩的主题演讲和演示 Starknet 基金会),朱塞佩·德卢卡(DevRel 负责人 IoTeX),山姆·埃姆斯(BD 总监 Salus),Remi Gai(创始人 INCO)、Stephen Duan(ZKM 开发主管)和刘俊达(布雷维斯 联合创始人),他涵盖了 zkVM 中从同态加密到协同处理和递归的所有内容。
进入本周的下半周, '同步缩放' 又是一整天的小组讨论、主题演讲和演示,这次来自专注于使用zkP扩展区块链技术的项目和建设者。
第 2 层解决方案梅蒂斯的首席营销官何塞·法布雷加在多米尼克·施密德(项目经理)面前启动了诉讼程序 多边形模登)、弗朗西斯·伯瓦(美国分部负责人 zkPass),Elgios Cheung(生态系统负责人 zkLink)、周奇(创始人/首席执行官 ETH存储)、乔恩·斯蒂芬斯(首席技术官 Veridise Inc),马克斯·苏尔塔科夫(联合创始人兼首席执行官 奥术金融)、Arnav Pagidyala(校长 HashKey),Cathie So(首席科学家 奥拉),以及回归的郭明、帕维尔·西内尔尼科夫和迪伦·卡瓦莱克探索了旨在扩展和 “无桥” 连接区块链的各种方法。
“同步扩展” 日的参与者还有幸目睹了另一场星光聚集的关于 “与ZK进行真正的无信任桥接” 的讨论,这场讨论是在回归的郭明、多米尼克·施密德、丹尼尔·卢米之间进行的,还有舒巴姆·班达里(Shubham Bhandari)(生态系统负责人) Manta) 和 Phil Kelly(业务发展主管 o1 实验室)。
本次会议由出色的联合创始人兼首席执行官埃文·麦卡伦主持 disco.xyz
ZK 之家的第二天就结束了 ZK 安全 以及隐私,还有另一场紧张的专家演讲者日程安排。这篇文章甚至包含了埃里克·弗里兰德之间的额外炉边谈话(CSO 多面体),Aetos Huo(产品总监 zkPass),还有我们的高级密码学家(杰罗恩·范德格拉夫)。
在约翰·雷诺兹的一系列主题演讲和研讨会演示之前,帕维尔·西内尔尼科夫欢迎了我们的客人(联合创始人 ZPass, Aleo),诺伯特·瓦达斯(协议研究员 Gevulot),艾米丽·林和艾莉亚·普尔塔巴塔拜伊 莱尼亚,Kostas Ferles(首席研究官 验证),山姆·埃姆斯(BD 总监 Salus)、奥托·莫拉(美国商业开发部) 多边形 ID),杰弗里·舒尔茨(创始人 稀有技能)、雅各布·马卡尔斯基和皮特·辛普森(撰稿人 轨道炮),纳纳克·尼哈尔(联合创始人 Holonym 基金会),Anne-Grace Kleczewski(联合创始人 Keom 协议), 埃里克·阿尔斯顿,科罗拉多大学
小组讨论以 “隐私与弹性:在去中心化系统中建立信任” 为主题,并邀请了来自ZK领域一些最受推崇的项目的专家演讲。
丹尼尔·赫尔姆(开发者关系主管 滚动),何塞·贝当古(创始人兼首席执行官 虚拟实验室),Aetos Huo(产品总监 zkPass),还有 zkSync/ 回归的 Daniel LumiMatterLabs 所有这些都集中在对我们的听众来说是一场极具教育意义的讨论中。
倒数第二天是 '建筑大队',其中包含了业内一些最聪明的人的宝贵见解,其中包括我们的一些合作伙伴之间的特别小组讨论。汤米(投资经理 Crypto.com)、Benson(合伙人 OKX 风险投资公司),James Wo(创始人兼首席执行官 DFG)和约克(投资主管 生成式风险投资),透露了他们组建高绩效团队的策略和最佳实践,由回归的埃文主持 disco.xyz。
这一天,我们的首席执行官刘凯文在莫娜·蒂斯勒(投资主管莫娜·蒂斯勒)面前也受到了特别欢迎 Tokentus 投资), 卢·克纳 (Crypto Oracle),以及由埃里克·弗里兰德(首席安全官)参加的小组讨论多面体),埃利斯来自 Hexens 还有我们的 DevRel 负责人 Pavel,他们被建立成功的企业、培育社区和获得风险投资资金背后的更多秘密吸引了观众。
Metis & Frens 开发日 结束了激动人心的一周,我们在那里接待了其他经济学家 MetiSL2 和 P1X 旁边 链链接。
总体而言,我们的 House of ZK 的首次亮相取得了巨大成功,我们要向所有参与其中的人表示最深切的感谢。社区氛围和总体氛围正是我们所希望的,我们非常期待举办下一次House of ZK活动。它不会很远,所以请睁大眼睛!
在ETHDenver的其他地方,我们的团队正在努力管理ZKM展位,让观众对我们最近的新开发项目一无所知。
人们蜂拥而来读我们的新书 'Entangled Rollup'写下来,确切地了解我们计划如何将区块链行业与这一革命性概念联系起来。
我们的首席科学家郭明在整个ETHDenver上进行了几次非常有趣的讨论,包括在EthDenver上举行的小组讨论 Aleo 黑客之家 他在那里讨论了如果有零知识技术可供使用,“中本聪” 会做什么。
帕维尔·西内尔尼科夫(我们的 DevRel 负责人)也在丹佛各地行动,包括 对俱乐部进行编码 “ZK 之州” 小组讨论会,以及 米娜, 滚动, 莱尼亚 和 太鼓。
同时,我们的资深密码学家 Jeroen van de Graaf 正忙于传播 “德尔福” 一词,并分享他40多年积累的密码学知识。
我们的 zkVM 几乎已经为集成做好了准备,目前正在进行一系列性能优化。第一个主要集成将与Metis L2集成,我们的zkVM支持使用零知识证明对批量交易进行验证。这些证明将发布回以太坊,这极大地减少了拥塞,并允许用户更快地提取资金。
我们还在与一些新合作伙伴进行深入整合——不久将公布更多相关信息——而且该团队已经在忙于为下一站 “House of ZK” 做计划。更重要的是,您可以期待我们的教育中心的一些重大进展,该中心正在进行一些重大更新,并将很快出现在我们的网站上。关注这个空间!
请留意我们的 “X” 页面上有关所有这些的公告 (@projectZKM) 然后在我们的 Discord 服务器中: https://discord.com/invite/zkm
同时,ETHDenver之后没有休息,我们的研发团队又回到了实验室。我们已经完成了研究,有了概念——现在是时候将其付诸实践了。
我们希望您喜欢阅读我们迄今为止最精彩的月份,我们将在下个月见到您,以获取更多精彩的更新!