SBC '24 的 ZK 日

Share on

继我们在ethCC期间非常成功的布鲁塞尔活动之后, ZK 之屋 举行了'ZK Day'在纽约市的区块链科学会议上。共同主办方 ZKMAleo,并由... 共同组织 IC3斯坦福 CBR,以及 伯克利 RDI,事实证明,该活动是研究人员和行业领导者共同讨论ZK技术最新进展的非凡集会。

当天举办了一系列技术研讨会、引人入胜的演讲和发人深省的辩论,为业内领先人士提供了分享知识和建立联系的平台。

ZKM 教育主管 Alice Liu,以热烈的欢迎开启了活动,并概述了与会者在活动开始前一整天的期望 ZKM 高级研究员 Lucas Fraga,全面演示了 zkMips 架构,这是一款由 ZKM 构建的通用 zkVM。他讨论了其在实现可验证计算方面的独特特性,重点介绍了其技术复杂性和潜在应用。卢卡斯对市场上最先进的 zkVM 之一的架构进行了深入研究,为与会者提供了对这一关键研究领域的宝贵见解。

回到舞台, 刘爱丽丝 展示了 ZKM 证明服务的创新能力。她的演示说明了该服务如何使用zkMIPs进行可验证的计算,并且效率非常高。Alice 的实用方法和清晰的解释帮助与会者了解了证明服务的实际应用和优势,该服务旨在消除通常与 zkVM 相关的硬件限制。

亚历克斯·普鲁登,Aleo 基金会执行董事,在他的名为 “Aleo Advantage” 的会议中介绍了Aleo的独特优势,强调了Aleo在单个区块链中优化可编程性、隐私性和可扩展性的创新方法。Alex的演讲是一场大师班,展示了Aleo如何为区块链生态系统设定新标准。

在亚历克斯的演讲之后 GOAT 网络 Devrel 负责人 Dylan Kawalec,就 “GOAT的带有ZKM的第二层比特币汇总解决方案” 进行了自己的技术演示。在此之前,迪伦探讨了比特币第 2 层解决方案的创新架构和潜力,强调了 ZKP 在实现原生比特币安全方面的关键作用 Polygon Miden 的高级协议工程师 Paul-Henry Kajfasz,通过他的研讨会 “Miden与隐私保护协议的未来”,将话题转向了ZK的隐私。保罗·亨利(Paul-Henry)对隐私保护技术及其未来在区块链中的应用进行了全面的研究。他的会议就区块链系统对隐私的迫切需求提供了前瞻性的视角。

延续隐私主题, Aleo 基金会 DevRel 大使 Jimmy Ngo, 在他的名为 “在Aleo上部署私有去中心化应用程序” 的研讨会中,指导与会者完成了在Aleo上构建私有去中心化应用程序的过程。Jimmy的实用见解和宝贵的技巧使本次会议对热衷于构建注重隐私的应用程序的开发人员特别有益。

主题演讲由 ZKM 高级密码学家 Jeroen Van de Graaf,重点关注 “Entangled Ledger” 可以说是本次活动的亮点。在此之前,Jeroen对这一创新概念的探索揭示了使用ZKM的zkMIPS和Entangled Rollup设计实现区块链互操作性的新可能性 Provable 协议开发副总裁 Pranav Gaddamadugu,以 “Leo and Proving Languages” 将主题带回了 Aleo。Pranav 的演示详细介绍了在验证语言方面取得的进展,这些语言对于优化基于 ZK 的系统及其应用程序至关重要。Jeroen和Pranav的独特见解都提供了丰富的见解,他们在该行业的丰富经验受到了所有与会者的赞赏。

在正式会谈结束时,我们荣幸地在最后一刻作了特别演讲 张塞西莉亚,Gwyneth(Taiko)的 ZK 工程师,关于 “多探测器和基于 RISCV 的 zkVM 集成设计”。Cecilia 的会议深入探讨了以太坊和第 2 层的多重证明必要性,以及验证器主机、访客二进制文件和 zkVM 运行时之间的跨平台编译和模块化挑战。

活动最后在研究生酒店美丽的全景室度过了充满活力的欢乐时光。这为与会者提供了一个绝佳的机会,可以在俯瞰迷人的布鲁克林大桥的轻松氛围中放松身心,享受手工调制的鸡尾酒、美味的开胃菜和社交活动。

Image

我们衷心感谢所有演讲者、参与者和共同组织者,他们让 SBC '24 的 ZK Day 又一次取得了圆满成功。特别感谢我们的联合主持人和共同组织者:ZKM、AleoHQ、IC3、斯坦福CBR和伯克利RDI,以及我们的媒体合作伙伴DexTools、UToday和CryptoEvents。我们期待在未来的活动中合作,ZKM很荣幸成为区块链科学会议主要活动的白金赞助商。

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

More articles
The ZKM August Update
This month marked a giant leap in accessibility: the release of Ziren’s new verifier. Built from a single Rust codebase compiled to both native binaries and WASM for browsers, it supports STARK, Groth16, and Plonk proofs. Developers and users can now verify full Ethereum block proofs client-side, without custom infrastructure.
ZKM Prover - Memory & Logic Stark
MemoryStark ensures that memory access operations proceed in chronological and address order, and that the values read align with the previously written ones. LogicSNARK guarantees the correctness of logical operations.
SBC '24 的 ZK 日

继我们在ethCC期间非常成功的布鲁塞尔活动之后, ZK 之屋 举行了'ZK Day'在纽约市的区块链科学会议上。共同主办方 ZKMAleo,并由... 共同组织 IC3斯坦福 CBR,以及 伯克利 RDI,事实证明,该活动是研究人员和行业领导者共同讨论ZK技术最新进展的非凡集会。

当天举办了一系列技术研讨会、引人入胜的演讲和发人深省的辩论,为业内领先人士提供了分享知识和建立联系的平台。

ZKM 教育主管 Alice Liu,以热烈的欢迎开启了活动,并概述了与会者在活动开始前一整天的期望 ZKM 高级研究员 Lucas Fraga,全面演示了 zkMips 架构,这是一款由 ZKM 构建的通用 zkVM。他讨论了其在实现可验证计算方面的独特特性,重点介绍了其技术复杂性和潜在应用。卢卡斯对市场上最先进的 zkVM 之一的架构进行了深入研究,为与会者提供了对这一关键研究领域的宝贵见解。

回到舞台, 刘爱丽丝 展示了 ZKM 证明服务的创新能力。她的演示说明了该服务如何使用zkMIPs进行可验证的计算,并且效率非常高。Alice 的实用方法和清晰的解释帮助与会者了解了证明服务的实际应用和优势,该服务旨在消除通常与 zkVM 相关的硬件限制。

亚历克斯·普鲁登,Aleo 基金会执行董事,在他的名为 “Aleo Advantage” 的会议中介绍了Aleo的独特优势,强调了Aleo在单个区块链中优化可编程性、隐私性和可扩展性的创新方法。Alex的演讲是一场大师班,展示了Aleo如何为区块链生态系统设定新标准。

在亚历克斯的演讲之后 GOAT 网络 Devrel 负责人 Dylan Kawalec,就 “GOAT的带有ZKM的第二层比特币汇总解决方案” 进行了自己的技术演示。在此之前,迪伦探讨了比特币第 2 层解决方案的创新架构和潜力,强调了 ZKP 在实现原生比特币安全方面的关键作用 Polygon Miden 的高级协议工程师 Paul-Henry Kajfasz,通过他的研讨会 “Miden与隐私保护协议的未来”,将话题转向了ZK的隐私。保罗·亨利(Paul-Henry)对隐私保护技术及其未来在区块链中的应用进行了全面的研究。他的会议就区块链系统对隐私的迫切需求提供了前瞻性的视角。

延续隐私主题, Aleo 基金会 DevRel 大使 Jimmy Ngo, 在他的名为 “在Aleo上部署私有去中心化应用程序” 的研讨会中,指导与会者完成了在Aleo上构建私有去中心化应用程序的过程。Jimmy的实用见解和宝贵的技巧使本次会议对热衷于构建注重隐私的应用程序的开发人员特别有益。

主题演讲由 ZKM 高级密码学家 Jeroen Van de Graaf,重点关注 “Entangled Ledger” 可以说是本次活动的亮点。在此之前,Jeroen对这一创新概念的探索揭示了使用ZKM的zkMIPS和Entangled Rollup设计实现区块链互操作性的新可能性 Provable 协议开发副总裁 Pranav Gaddamadugu,以 “Leo and Proving Languages” 将主题带回了 Aleo。Pranav 的演示详细介绍了在验证语言方面取得的进展,这些语言对于优化基于 ZK 的系统及其应用程序至关重要。Jeroen和Pranav的独特见解都提供了丰富的见解,他们在该行业的丰富经验受到了所有与会者的赞赏。

在正式会谈结束时,我们荣幸地在最后一刻作了特别演讲 张塞西莉亚,Gwyneth(Taiko)的 ZK 工程师,关于 “多探测器和基于 RISCV 的 zkVM 集成设计”。Cecilia 的会议深入探讨了以太坊和第 2 层的多重证明必要性,以及验证器主机、访客二进制文件和 zkVM 运行时之间的跨平台编译和模块化挑战。

活动最后在研究生酒店美丽的全景室度过了充满活力的欢乐时光。这为与会者提供了一个绝佳的机会,可以在俯瞰迷人的布鲁克林大桥的轻松氛围中放松身心,享受手工调制的鸡尾酒、美味的开胃菜和社交活动。

Image

我们衷心感谢所有演讲者、参与者和共同组织者,他们让 SBC '24 的 ZK Day 又一次取得了圆满成功。特别感谢我们的联合主持人和共同组织者:ZKM、AleoHQ、IC3、斯坦福CBR和伯克利RDI,以及我们的媒体合作伙伴DexTools、UToday和CryptoEvents。我们期待在未来的活动中合作,ZKM很荣幸成为区块链科学会议主要活动的白金赞助商。

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