布鲁塞尔 ZK 之家:零知识卓越展示
Share on

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

精彩的演讲

活动亮点之一是由巴塞尔大学博士候选人马蒂亚斯·纳德勒主持的研讨会。他的会议名为 “区块链隐私与监管合规”,重点讨论了与维塔利克·布特林等知名人物共同撰写的一篇重要研究论文。该研讨会探讨了在遵守监管标准的同时维护区块链隐私的复杂性。

ZKM 的 DevRel 负责人 Pavel Sinelnikov 随后发表了 “带证明的广义链执行”,就区块链执行的复杂性提供了令人难以置信的见解,并展示了 ZK 证明的力量。

ZKPass产品总监Aetos Huo又发表了题为 “引入可公开验证的zkProofs” 的引人入胜的主题演讲,解释了可公开验证的ZKProofs如何应用于各种区块链应用程序。

ZKM 高级研究员 Lucas Fraga 主持了关于 “无桥跨链资产转移” 的最后一次重要演讲,详细介绍了跨区块链平台进行资产转移的创新的、无桥接的方法,其中强调了 ZKM 增强区块链互操作性和效率的尖端解决方案。

富有洞察力的小组讨论

“Rollup with ZK” 小组邀请了包括Polygon的乔迪·贝利纳、zkSync的丹尼尔·卢米、Scroll的艾米丽·林和梅蒂斯的维克多·穆尼奥斯在内的行业专家,他们探讨了将ZK汇总集成到第二层解决方案中以提高区块链可扩展性的问题,并有趣地开玩笑说了通过ZK的力量采用web3的关键。

下一个引人入胜的会议是 “使用ZK进行无信任互操作性” 小组讨论,由来自Market Across的Itai Elizur主持,来自ZKM的郭明、RISC Zero的拉米·哈利勒、Dedab的内维尔·格雷奇和zkLink的Sarah Choo等知名撰稿人就如何优化ZK与区块链的集成以实现无缝和安全的互操作性进行了激烈的辩论。

“Prover Services:中心化与去中心化” 小组汇集了来自马林的罗山、来自Gevulot的诺伯特·瓦达斯和来自辛德里的尼克·潘恩、来自Pi Squared的刘岩、来自dWallet的奥马尔·萨迪卡和ZKM的帕维尔·西内尔尼科夫等伟大人物,讨论了支持生成ZK证明的关键基础设施。

炉边聊天

关于 “使用ZK的替代第1层” 的热烈炉边谈话包括了Mina和01Labs的菲尔·凯利、来自Aleo的扎克·雪雷布、Starknet的Gnana Lakshmi、来自Cysic的谢尔文·贝克以及ZKM的郭明和zkLink的Sarah Choo的回归。他们深入探讨了 ZK 如何转变第 1 层解决方案的功能。

社区参与和交流

除了会议之外,该活动还提供了宝贵的交流机会,最后以 “欢乐时光” 结束,使与会者能够在轻松的氛围中建立联系,讨论创新想法并分享见解。

总体而言,本期《House of ZK》促进了丰富的知识交流,并庆祝了参与者及其各自项目的集体成就。该活动证实了HozK作为站在ZK空间研究和开发前沿的人们 “必须参加” 的地位。

感谢所有参与并帮助使本次活动成为另一个真正特别的 HozK 的人。

要了解House of ZK的最新消息,请关注我们的节目 x.com/Houseofzk 或者访问 hozk.io/events 

最初发表于 https://www.hozk.io

More articles
Jolt 和 Lasso:构建 zkVM 的新方法
使用 zkMIPS,客户可以外包使用 MIPS 指令集编写的程序,让它执行,除了获得结果外,还可以获得易于验证的证据,证明该结果是正确的。创建此证明的软件组件称为 zkVM。
了解 zkMIPS 的验证架构
TL; DR:zkMIPS 通过五个步骤证明了 MIPS 程序的正确执行:它(1)将程序分成几个段,(2)将每个段的指令分成四个模块表,(3)独立证明来自每个模块表的指令,(4)证明每个段的指令包含在其一个表中,以及(5)递归地证明段序列与程序执行相匹配。第 3 步以 STARK 形式编写,步骤 4 是以 STARK 编写的 LogUp 证明,步骤 5 以 PLONK 证明的形式编写。所有证明步骤均使用 Plonky2 库实现。或者,可以生成最终的 Groth16 证明来验证程序在链上的执行。
布鲁塞尔 ZK 之家:零知识卓越展示

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

精彩的演讲

活动亮点之一是由巴塞尔大学博士候选人马蒂亚斯·纳德勒主持的研讨会。他的会议名为 “区块链隐私与监管合规”,重点讨论了与维塔利克·布特林等知名人物共同撰写的一篇重要研究论文。该研讨会探讨了在遵守监管标准的同时维护区块链隐私的复杂性。

ZKM 的 DevRel 负责人 Pavel Sinelnikov 随后发表了 “带证明的广义链执行”,就区块链执行的复杂性提供了令人难以置信的见解,并展示了 ZK 证明的力量。

ZKPass产品总监Aetos Huo又发表了题为 “引入可公开验证的zkProofs” 的引人入胜的主题演讲,解释了可公开验证的ZKProofs如何应用于各种区块链应用程序。

ZKM 高级研究员 Lucas Fraga 主持了关于 “无桥跨链资产转移” 的最后一次重要演讲,详细介绍了跨区块链平台进行资产转移的创新的、无桥接的方法,其中强调了 ZKM 增强区块链互操作性和效率的尖端解决方案。

富有洞察力的小组讨论

“Rollup with ZK” 小组邀请了包括Polygon的乔迪·贝利纳、zkSync的丹尼尔·卢米、Scroll的艾米丽·林和梅蒂斯的维克多·穆尼奥斯在内的行业专家,他们探讨了将ZK汇总集成到第二层解决方案中以提高区块链可扩展性的问题,并有趣地开玩笑说了通过ZK的力量采用web3的关键。

下一个引人入胜的会议是 “使用ZK进行无信任互操作性” 小组讨论,由来自Market Across的Itai Elizur主持,来自ZKM的郭明、RISC Zero的拉米·哈利勒、Dedab的内维尔·格雷奇和zkLink的Sarah Choo等知名撰稿人就如何优化ZK与区块链的集成以实现无缝和安全的互操作性进行了激烈的辩论。

“Prover Services:中心化与去中心化” 小组汇集了来自马林的罗山、来自Gevulot的诺伯特·瓦达斯和来自辛德里的尼克·潘恩、来自Pi Squared的刘岩、来自dWallet的奥马尔·萨迪卡和ZKM的帕维尔·西内尔尼科夫等伟大人物,讨论了支持生成ZK证明的关键基础设施。

炉边聊天

关于 “使用ZK的替代第1层” 的热烈炉边谈话包括了Mina和01Labs的菲尔·凯利、来自Aleo的扎克·雪雷布、Starknet的Gnana Lakshmi、来自Cysic的谢尔文·贝克以及ZKM的郭明和zkLink的Sarah Choo的回归。他们深入探讨了 ZK 如何转变第 1 层解决方案的功能。

社区参与和交流

除了会议之外,该活动还提供了宝贵的交流机会,最后以 “欢乐时光” 结束,使与会者能够在轻松的氛围中建立联系,讨论创新想法并分享见解。

总体而言,本期《House of ZK》促进了丰富的知识交流,并庆祝了参与者及其各自项目的集体成就。该活动证实了HozK作为站在ZK空间研究和开发前沿的人们 “必须参加” 的地位。

感谢所有参与并帮助使本次活动成为另一个真正特别的 HozK 的人。

要了解House of ZK的最新消息,请关注我们的节目 x.com/Houseofzk 或者访问 hozk.io/events 

最初发表于 https://www.hozk.io