House of ZK-Pulse Check Bytesize

Share on

欢迎来到 脉冲检查字节大小,我们的常规版的微型版本 脉冲检查 行业新闻倡议,这是您获取零知识领域最新发展、见解和分析的可信来源。Pulse Check专注于领先的研究论文和重大项目更新,而 “Bytesize” 则以简洁的格式将行业领导者在社交媒体和播客上的有影响力的讨论整理成简洁的格式,提供重要的更新和热门话题摘要。

随时了解在零知识领域保持领先地位所需的字节大小的见解。

值得注意的 社交媒体上的讨论

ZK 大辩论:定制电路与 zkVM 和 Vanishree Rao 在一起

最近由ZK领域的著名人物Vanishree Rao牵头进行的一次讨论使加密界对ZK验证方法的未来陷入了疯狂。讨论的核心围绕着 zkVM 与定制 ZK 电路的可行性和未来展开。

Vanishree Rao 的备受争议的看法: x.com/vanishree_rao/status/1817617950624698782   

Vanishree Rao在对话开始时断言,尽管zkVM在采用ZK的早期阶段至关重要,尤其是通过缩短上市时间,但由于其卓越的性能,定制的ZK电路最终可能会取代zkVM。Rao 强调说,zkVM 作为一种有效的引导机制,对于新项目仍然至关重要,但他认为,自定义 ZK 电路最终将为规模化、成熟的应用程序提供更好的性能,因此成为更具吸引力的选择。

Vanishree 鼓励社区挑战这一观点,引发了关于 ZK 实施未来的激烈辩论,并征求了广大社区的意见,许多人开始为 zkVM 辩护。

戴伟的视角: x.com/_weidai/status/1818137675058319536 

戴伟的回应是将zkVM的演变与传统的软硬件协同演化相提并论。他建议,虽然自定义电路对于特定工作负载可能更有效,但在工作负载快速变化的场景中,zkVM 可能会占据主导地位。他认为,就像为广泛采用的功能开发专业硬件一样,zkVM 可以整合预编译和其他增强功能以保持竞争力。

山姆·拉格斯代尔的分歧: x.com/samrags_/status/1817661661781881196 

a16z 的山姆·拉格斯代尔不同意 Vanishree 的观点,他将 zkVM 和 Node.js 相提并论。他认为,与 Node.js 一样,与自定义 ZK 电路等最佳解决方案相比,zkVM 的效率可能较低,就像 Node.js 的效率低于 C++ 或 Rust 一样。但是,由于现有人才的庞大生态系统,zkVM 被广泛采用。拉格斯代尔强调,使用zkVMS的公司无需投资招聘开发定制ZK电路所需的专业人才,他认为这可以确保zkVMS的持续主导地位。

Uma Roy 对 zkVM 的防御: x.com/pumatheuma/status/1818047011859611886 

Succinct联合创始人乌玛·罗伊反驳了关于zkVM本质上比定制ZK电路慢的论点,她援引了她在Succinct Labs的SP1 zkVM所做的工作。她将定制的ZK电路与SP1进行了比较,前者需要10分钟的验证时间、巨额成本和数月的开发,后者在1-2分钟内完成了相同的任务,而成本只是其中的一小部分,工程工作量要少得多。

Roy 将 SP1 的效率归因于它使用了 “预编译”,即优化繁重操作的专用电路,同时保留了通用虚拟机的灵活性。她预测,随着SP1的不断发展,开发人员将放弃自定义的ZK框架,例如Circom或Plonky2,转而选择使用SP1编写标准Rust代码的简单性和效率。

Vanishree 的澄清: x.com/vanishree_rao/status/1818169775299743967 

Vanishree敦促讨论侧重于zkVM与现代定制ZK解决方案的未来,而不是过时的比较。她指出,zkVM 是早期项目的理想选择,因为它们的上市时间短,成本更低,但是随着项目的发展,过渡到自定义 ZK 可以优化性能。Rao将其比作优步早期专注于扩展,后来投资于高级功能。她还强调了预编译和硬件加速等进步对 zkVM 和自定义 ZK 都有好处。

'Mo 的声音回应: x.com/no89thkey/status/1818111948019617794 

'Mo'认为,ZK技术不会集中在单一的最佳解决方案上。相反,未来将模糊专业化ZK和广义ZK之间的界限。他指出,尽管专门的ZK框架(例如Circom)曾经很难开发,但通过诸如ZKML之类的工具,它们已变得更加普遍。同时,广义的 zkVM 变得更加专业化,尤其是在预编译提高其效率的情况下。

莫强调说,这两种方法都在优化,在不牺牲关键特征的情况下实现更好的权衡。他预测,与集成电路行业类似,专业的ZK和广义的zkVM将共存,各自满足不同的需求。在他看来,重点应该放在为开发人员提供灵活的权衡曲线上,让他们能够为自己的特定用例选择最佳方法。随着大规模采用 ZK 的增长,这场争论的分歧可能会降低,这两种方法都起着至关重要的作用。

卢卡斯·弗拉加的务实观点: x.com/zklucas_/status/1818777081582698821 

来自ZKM的高级研究员卢卡斯·弗拉加承认了zkVM与定制ZK电路的争论的重要性,他指出,由于编译器的开销较少,电路通常会更快。但是,他指出,开发复杂的电路可能与构建 zkVM 一样具有挑战性。zkVM 的优势是使用相同的验证器对各种程序进行验证,这更符合当前标准。

Fraga 强调说,zkVM 对主流采用 ZK 至关重要,这使得该技术可供日常应用使用。但是,他也认识到,定制的ZK电路对于寻求优化性能的成熟项目仍然至关重要。Fraga 敦促社区,即使是那些对 zkVM 进行了大量投资的社区,也要对随着项目的发展向定制 ZK 解决方案的潜在转变保持客观态度。

ZKM 的贡献: x.com/projectzkm/status/1818952363522031716 

ZKM 团队指出,自定义 ZK 电路对像 SHA2 这样的简单任务来说效率更高,但是 zkVM 擅长处理复杂的计算,例如 zkML 中的计算。他们强调,zkVM 可以利用延续和证明聚合等技术来加快证明生成,从而使其在不同场景中高效。ZKM 认为,应从构建时间和运行时间两方面考虑效率,就像计算器和计算机根据任务的复杂性而具有价值一样。他们对Vanishree Rao发起辩论表示赞赏,强调这场辩论在团队内部得出了不同的观点。

Vanishree 的致谢

拉奥后来对正在进行的辩论做出了回应,对分享的不同观点表示赞赏。她重申,尽管她仍然是zkVM的坚定倡导者,尤其是其在缩短上市时间方面的作用,但探索定制的ZK电路以优化规模项目的性能是一项值得继续的讨论。Rao 强调了创新和公开对话在推动 ZK 行业取得最佳成果方面的重要性。

我们的结论

尽管双方都有明确的论点,但共识似乎是 zkVM 和自定义 ZK 电路的位置取决于项目的具体要求。随着 ZK 技术的不断进步,该行业可能会看到两种方法的融合,每种方法都适用于项目生命周期的不同阶段和不同的复杂程度。

我们感谢Vanishree Rao主动引发了本次讨论,提出了ZK社区内部的不同观点。House of ZK 团队将密切关注这些技术是如何演变的,以及它们最终会走哪些道路,我们期待未来就定制电路与 zkVM 展开更多精彩的辩论。

Risc-Zero 与 Succinct

Succinct Labs宣布发布SP1,这是一款可量产的zkVM,声称它是市场上性能最高的。他们重点介绍了SP1的独特功能,包括用于椭圆曲线和哈希运算的灵活预编译、用于高效内存处理的两相验证器以及其他基本的证明系统效率。Succinct强调说,他们的基准测试显示,SP1的表现比其他zkVM高出多达10倍,是开源的,完全可重现: x.com/succinctlabs/status/1820853653173129393x.com/succinctlabs/status/1821217424655708605

蒂姆·卡斯滕斯的回应: x.com/intoverflow/status/1821280812056375636

来自RISC Zero的蒂姆·卡斯滕斯作出了批评性回应,指责Succinct进行误导性沟通。他认为,Succinct夸大了他们对zkVM技术的贡献,特别是在使用预编译器方面,他指出预编译器并不是一项新发明,自RISC Zero首次发布以来一直是其产品的一部分。卡斯滕斯还批评Succinct使用了操纵的基准测试,未能正确承认来自RISC Zero和其他项目的代码贡献。他呼吁提高透明度和建立独立的基准,以确保该行业的公平比较。

杰里米·布鲁斯特尔权衡: x.com/BruestleJeremy/status/1821301816484884781

RISC Zero首席执行官表示支持将良性竞争作为创新的推动力,但谴责Succinct涉嫌在沟通中歪曲事实。他认为,尽管竞争是有益的,但不应以诚信和真实为代价,他强调了快速发展的ZK领域需要诚实。

蒂姆·泽雷尔: x.com/risczerrell/Status/1821323642388861206 

RISC Zero工程师蒂姆·泽雷尔加剧了批评,他指出,Succinct未能正确承认其SP1项目中的外部捐款。他通过分享SP1存储库的屏幕截图来强调这个问题,并指出它对RISC Zero工作的认可微乎其微。泽雷尔表示,由于Succinct声称SP1已准备就绪,他们似乎无视其他人的贡献,这在开源环境中是有问题的。

奥斯汀的批判: x.com/0xabe11/status/1820881100689838141

奥斯汀(@0xAbe11)加入了辩论,讽刺地称赞了Succinct对 “公平的苹果对苹果基准” 的承诺。他指出,Succinct已将基准测试中的Tendermint版本降级为可以方便地改善SP1相对于RISC Zero的性能的版本。奥斯汀表示,这种操纵严重夸大了SP1报告的业绩,并提出了撤回请求,以解决他认为具有误导性的基准测试做法。

乌玛的防御: x.com/pumatheuma/status/1821382382760665197 

Succinct Labs的联合创始人乌玛·罗伊为他们在SP1上工作的完整性辩护。她断言,Succinct的基准测试是开源的,完全可复制,并且准确反映了SP1的表现。罗伊解释说,他们在基准测试中保留了相同的程序集,以持续衡量SP1的进展,并坚持认为他们的基准测试方法是公平的,在测试中使用相同的硬件。她还驳斥了关于SP1是任何其他项目分支的说法,强调了Succinct团队的辛勤工作和新颖贡献。罗伊最后重申了Succinct的使命,即将ZK技术扩展到更广泛的开发人员。

文塔利的行业标准征集: x.com/ventalitan/status/1821661920107069671

Lita的联合创始人文塔利谴责zkVM领域缺乏正确的代码归因和误导性基准,从而解决了这场辩论。他强调了标准化做法的必要性,强调了ZK项目之间的脱节和缺乏商定基准的情况。

文塔利提出了三项举措:确保在稳定的测试条件下实现真正可比的(苹果对苹果)基准测试,使开发人员可以轻松复制基准,并领导建立协作式开源基准测试标准的工作。他们呼吁包括RISC Zero和Succinct Labs在内的zkVM社区共同制定这些标准,以确保公平比较并支持ZK技术的大规模采用。

我们的结论

这场辩论凸显了 zkVM 领域对透明度、正确归因和标准化基准测试的迫切需求。竞争推动创新,但必须以诚信和协作为基础,以确保 zkVM 技术的增长和信誉。呼吁制定更明确的标准和可重复的基准是创建有利于整个社区的健康开源生态系统的必要步骤。向前迈进,当务之急是 齐心协力 建立这些实践,确保 ZK 技术继续以公平、准确和有影响力的方式发展。

值得注意的播客讨论

零知识播客-第 330 集:可编程隐私框架 和 Ying Tong 和 Bryan Gillespie 在一起: zeroknowledge.fm/330-2/

Anna和Guille与Guelle的Geometry Research的赖英通和Inversed Tech的布莱恩·吉莱斯皮聊了聊他们迄今为止的最新研究和工作。他们深入研究了两人最近的著作《SoK:分布式系统中的可编程隐私》,探讨了引入的分类和框架。

House of ZK 电台-#1: DAC Economy 和郭明在一起: open.spotify.com/episode/0pixjn5f4vycyizwoib7GZ

House of ZK 电台的主持人 Cat 和 Alice 与 ZKM 首席研究科学家郭明讨论了 ZK 及其他所有内容。Ming解释了激励他在多个基于区块链的项目中工作的基本哲学,重点介绍了他的DAC Economy世界观和对自我可持续的去中心化经济的终极愿景。

A16z 加密货币:ZK 和密码学 和贾斯汀·泰勒、瓦莱里娅·尼古拉延科和约瑟夫·邦诺在一起: youtube.com/ watchv=5rrss8fswbo

在本次由蒂姆·罗格加登(a16z crypto研究主管)主持的演讲中,a16z加密研究合作伙伴瓦莱里娅·尼古拉恩科、乔·邦诺和贾斯汀·泰勒探讨了密码学的各个方面,深入探讨了各自的研究领域。

零知识播客-第 333 集:可验证的 SQL、Reckle Trees 和 ZK 协处理 与拉格朗日实验室合作: zeroknowledge.fm/333-2/ 

安娜与拉格朗日实验室创始人兼首席执行官伊斯梅尔·希森-雷扎伊扎德以及拉格朗日研究主管兼耶鲁大学应用密码学实验室联合主任查拉兰波斯(巴比斯)帕帕曼舒进行了交谈。他们讨论了 zk 驱动的协处理器、如何将其整合到拉格朗日协处理器系统中、他们在 Reckle Trees 上所做的工作、未来的工作以及所有这些为 dApp 开发人员带来了什么。他们讨论了他们的新证明者市场、基础设施的总体状况以及他们如何渴望将更多概念从通用计算引入去中心化区块链系统。

House of ZK 电台-#2: 密码学的退伍军人 和 Jeroen van de Graaf 在一起: open.spotify.com/episode/2ayzrzfmyk6wzqqptxc7PP

Cat 和 Alice 回来与 ZKM 的资深密码学家 Jeroen van de Graaf 教授讨论了 ZK 的历史以及更多内容。自20世纪80年代以来,Jeroen一直积极参与密码学领域,进入该领域时专注于隐私应用的理论密码学,并且是David Chaum的密切合作者。在本集中,Jeroen讨论了他在整个密码学职业生涯中目睹和贡献的关键事件,从参加世界上最早的密码学课程之一到参加ZK历史上最具标志性的名字的讲座。

加入对话

我们邀请读者分享他们对所提出的问题的看法。在定制电路和 zkVM 之间持续的争论中,你的立场如何?您如何看待特色项目的基准测试方法和主张?你对ZK领域的开源协作和归因有何看法?我们鼓励你保持联系,保持对话的进行,并就这些关键话题发表你的想法。请在下面的评论中与我们互动,为关于 zkVMS 未来的建设性对话做出贡献。请继续关注更多更新,在下次之前,继续探索零知识前沿。此信息由 House of ZK 团队精心策划——如果你发现任何错误或认为缺少重要更新,请发送电子邮件至 contact@zkm.io 附上你的反馈。

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

More articles
Concluding the ZKM Early Contributor Program
Thank you to every contributor who supported ZKM: testing the zkVM across releases, submitting and reviewing changes on GitHub, producing clear technical content, and keeping discussions active and constructive across our channels. We value sustained, hands-on participation and appreciate the time, rigor, and consistency you’ve brought to the project. While the best is surely still yet to come, it’s already been quite the journey.
Analysis of The Plonky2 Protocol
Plonky2 is a zkSNARK protocol based on polynomial commitment and the Plonk-based PIOP interactive proof. It focuses on achieving efficient zkSNARK through the FRI technique. The primary goal of Plonky2 is to improve the efficiency of traditional zkSNARKs in recursive zero-knowledge proof scenarios while enhancing post-quantum security. Its core concept is leveraging the FRI (Fast Reed-Solomon Interactive Oracle Proof of Proximity) to allow efficient polynomial verification and using random sampling to enhance the integrity and security of the protocol.
House of ZK-Pulse Check Bytesize

欢迎来到 脉冲检查字节大小,我们的常规版的微型版本 脉冲检查 行业新闻倡议,这是您获取零知识领域最新发展、见解和分析的可信来源。Pulse Check专注于领先的研究论文和重大项目更新,而 “Bytesize” 则以简洁的格式将行业领导者在社交媒体和播客上的有影响力的讨论整理成简洁的格式,提供重要的更新和热门话题摘要。

随时了解在零知识领域保持领先地位所需的字节大小的见解。

值得注意的 社交媒体上的讨论

ZK 大辩论:定制电路与 zkVM 和 Vanishree Rao 在一起

最近由ZK领域的著名人物Vanishree Rao牵头进行的一次讨论使加密界对ZK验证方法的未来陷入了疯狂。讨论的核心围绕着 zkVM 与定制 ZK 电路的可行性和未来展开。

Vanishree Rao 的备受争议的看法: x.com/vanishree_rao/status/1817617950624698782   

Vanishree Rao在对话开始时断言,尽管zkVM在采用ZK的早期阶段至关重要,尤其是通过缩短上市时间,但由于其卓越的性能,定制的ZK电路最终可能会取代zkVM。Rao 强调说,zkVM 作为一种有效的引导机制,对于新项目仍然至关重要,但他认为,自定义 ZK 电路最终将为规模化、成熟的应用程序提供更好的性能,因此成为更具吸引力的选择。

Vanishree 鼓励社区挑战这一观点,引发了关于 ZK 实施未来的激烈辩论,并征求了广大社区的意见,许多人开始为 zkVM 辩护。

戴伟的视角: x.com/_weidai/status/1818137675058319536 

戴伟的回应是将zkVM的演变与传统的软硬件协同演化相提并论。他建议,虽然自定义电路对于特定工作负载可能更有效,但在工作负载快速变化的场景中,zkVM 可能会占据主导地位。他认为,就像为广泛采用的功能开发专业硬件一样,zkVM 可以整合预编译和其他增强功能以保持竞争力。

山姆·拉格斯代尔的分歧: x.com/samrags_/status/1817661661781881196 

a16z 的山姆·拉格斯代尔不同意 Vanishree 的观点,他将 zkVM 和 Node.js 相提并论。他认为,与 Node.js 一样,与自定义 ZK 电路等最佳解决方案相比,zkVM 的效率可能较低,就像 Node.js 的效率低于 C++ 或 Rust 一样。但是,由于现有人才的庞大生态系统,zkVM 被广泛采用。拉格斯代尔强调,使用zkVMS的公司无需投资招聘开发定制ZK电路所需的专业人才,他认为这可以确保zkVMS的持续主导地位。

Uma Roy 对 zkVM 的防御: x.com/pumatheuma/status/1818047011859611886 

Succinct联合创始人乌玛·罗伊反驳了关于zkVM本质上比定制ZK电路慢的论点,她援引了她在Succinct Labs的SP1 zkVM所做的工作。她将定制的ZK电路与SP1进行了比较,前者需要10分钟的验证时间、巨额成本和数月的开发,后者在1-2分钟内完成了相同的任务,而成本只是其中的一小部分,工程工作量要少得多。

Roy 将 SP1 的效率归因于它使用了 “预编译”,即优化繁重操作的专用电路,同时保留了通用虚拟机的灵活性。她预测,随着SP1的不断发展,开发人员将放弃自定义的ZK框架,例如Circom或Plonky2,转而选择使用SP1编写标准Rust代码的简单性和效率。

Vanishree 的澄清: x.com/vanishree_rao/status/1818169775299743967 

Vanishree敦促讨论侧重于zkVM与现代定制ZK解决方案的未来,而不是过时的比较。她指出,zkVM 是早期项目的理想选择,因为它们的上市时间短,成本更低,但是随着项目的发展,过渡到自定义 ZK 可以优化性能。Rao将其比作优步早期专注于扩展,后来投资于高级功能。她还强调了预编译和硬件加速等进步对 zkVM 和自定义 ZK 都有好处。

'Mo 的声音回应: x.com/no89thkey/status/1818111948019617794 

'Mo'认为,ZK技术不会集中在单一的最佳解决方案上。相反,未来将模糊专业化ZK和广义ZK之间的界限。他指出,尽管专门的ZK框架(例如Circom)曾经很难开发,但通过诸如ZKML之类的工具,它们已变得更加普遍。同时,广义的 zkVM 变得更加专业化,尤其是在预编译提高其效率的情况下。

莫强调说,这两种方法都在优化,在不牺牲关键特征的情况下实现更好的权衡。他预测,与集成电路行业类似,专业的ZK和广义的zkVM将共存,各自满足不同的需求。在他看来,重点应该放在为开发人员提供灵活的权衡曲线上,让他们能够为自己的特定用例选择最佳方法。随着大规模采用 ZK 的增长,这场争论的分歧可能会降低,这两种方法都起着至关重要的作用。

卢卡斯·弗拉加的务实观点: x.com/zklucas_/status/1818777081582698821 

来自ZKM的高级研究员卢卡斯·弗拉加承认了zkVM与定制ZK电路的争论的重要性,他指出,由于编译器的开销较少,电路通常会更快。但是,他指出,开发复杂的电路可能与构建 zkVM 一样具有挑战性。zkVM 的优势是使用相同的验证器对各种程序进行验证,这更符合当前标准。

Fraga 强调说,zkVM 对主流采用 ZK 至关重要,这使得该技术可供日常应用使用。但是,他也认识到,定制的ZK电路对于寻求优化性能的成熟项目仍然至关重要。Fraga 敦促社区,即使是那些对 zkVM 进行了大量投资的社区,也要对随着项目的发展向定制 ZK 解决方案的潜在转变保持客观态度。

ZKM 的贡献: x.com/projectzkm/status/1818952363522031716 

ZKM 团队指出,自定义 ZK 电路对像 SHA2 这样的简单任务来说效率更高,但是 zkVM 擅长处理复杂的计算,例如 zkML 中的计算。他们强调,zkVM 可以利用延续和证明聚合等技术来加快证明生成,从而使其在不同场景中高效。ZKM 认为,应从构建时间和运行时间两方面考虑效率,就像计算器和计算机根据任务的复杂性而具有价值一样。他们对Vanishree Rao发起辩论表示赞赏,强调这场辩论在团队内部得出了不同的观点。

Vanishree 的致谢

拉奥后来对正在进行的辩论做出了回应,对分享的不同观点表示赞赏。她重申,尽管她仍然是zkVM的坚定倡导者,尤其是其在缩短上市时间方面的作用,但探索定制的ZK电路以优化规模项目的性能是一项值得继续的讨论。Rao 强调了创新和公开对话在推动 ZK 行业取得最佳成果方面的重要性。

我们的结论

尽管双方都有明确的论点,但共识似乎是 zkVM 和自定义 ZK 电路的位置取决于项目的具体要求。随着 ZK 技术的不断进步,该行业可能会看到两种方法的融合,每种方法都适用于项目生命周期的不同阶段和不同的复杂程度。

我们感谢Vanishree Rao主动引发了本次讨论,提出了ZK社区内部的不同观点。House of ZK 团队将密切关注这些技术是如何演变的,以及它们最终会走哪些道路,我们期待未来就定制电路与 zkVM 展开更多精彩的辩论。

Risc-Zero 与 Succinct

Succinct Labs宣布发布SP1,这是一款可量产的zkVM,声称它是市场上性能最高的。他们重点介绍了SP1的独特功能,包括用于椭圆曲线和哈希运算的灵活预编译、用于高效内存处理的两相验证器以及其他基本的证明系统效率。Succinct强调说,他们的基准测试显示,SP1的表现比其他zkVM高出多达10倍,是开源的,完全可重现: x.com/succinctlabs/status/1820853653173129393x.com/succinctlabs/status/1821217424655708605

蒂姆·卡斯滕斯的回应: x.com/intoverflow/status/1821280812056375636

来自RISC Zero的蒂姆·卡斯滕斯作出了批评性回应,指责Succinct进行误导性沟通。他认为,Succinct夸大了他们对zkVM技术的贡献,特别是在使用预编译器方面,他指出预编译器并不是一项新发明,自RISC Zero首次发布以来一直是其产品的一部分。卡斯滕斯还批评Succinct使用了操纵的基准测试,未能正确承认来自RISC Zero和其他项目的代码贡献。他呼吁提高透明度和建立独立的基准,以确保该行业的公平比较。

杰里米·布鲁斯特尔权衡: x.com/BruestleJeremy/status/1821301816484884781

RISC Zero首席执行官表示支持将良性竞争作为创新的推动力,但谴责Succinct涉嫌在沟通中歪曲事实。他认为,尽管竞争是有益的,但不应以诚信和真实为代价,他强调了快速发展的ZK领域需要诚实。

蒂姆·泽雷尔: x.com/risczerrell/Status/1821323642388861206 

RISC Zero工程师蒂姆·泽雷尔加剧了批评,他指出,Succinct未能正确承认其SP1项目中的外部捐款。他通过分享SP1存储库的屏幕截图来强调这个问题,并指出它对RISC Zero工作的认可微乎其微。泽雷尔表示,由于Succinct声称SP1已准备就绪,他们似乎无视其他人的贡献,这在开源环境中是有问题的。

奥斯汀的批判: x.com/0xabe11/status/1820881100689838141

奥斯汀(@0xAbe11)加入了辩论,讽刺地称赞了Succinct对 “公平的苹果对苹果基准” 的承诺。他指出,Succinct已将基准测试中的Tendermint版本降级为可以方便地改善SP1相对于RISC Zero的性能的版本。奥斯汀表示,这种操纵严重夸大了SP1报告的业绩,并提出了撤回请求,以解决他认为具有误导性的基准测试做法。

乌玛的防御: x.com/pumatheuma/status/1821382382760665197 

Succinct Labs的联合创始人乌玛·罗伊为他们在SP1上工作的完整性辩护。她断言,Succinct的基准测试是开源的,完全可复制,并且准确反映了SP1的表现。罗伊解释说,他们在基准测试中保留了相同的程序集,以持续衡量SP1的进展,并坚持认为他们的基准测试方法是公平的,在测试中使用相同的硬件。她还驳斥了关于SP1是任何其他项目分支的说法,强调了Succinct团队的辛勤工作和新颖贡献。罗伊最后重申了Succinct的使命,即将ZK技术扩展到更广泛的开发人员。

文塔利的行业标准征集: x.com/ventalitan/status/1821661920107069671

Lita的联合创始人文塔利谴责zkVM领域缺乏正确的代码归因和误导性基准,从而解决了这场辩论。他强调了标准化做法的必要性,强调了ZK项目之间的脱节和缺乏商定基准的情况。

文塔利提出了三项举措:确保在稳定的测试条件下实现真正可比的(苹果对苹果)基准测试,使开发人员可以轻松复制基准,并领导建立协作式开源基准测试标准的工作。他们呼吁包括RISC Zero和Succinct Labs在内的zkVM社区共同制定这些标准,以确保公平比较并支持ZK技术的大规模采用。

我们的结论

这场辩论凸显了 zkVM 领域对透明度、正确归因和标准化基准测试的迫切需求。竞争推动创新,但必须以诚信和协作为基础,以确保 zkVM 技术的增长和信誉。呼吁制定更明确的标准和可重复的基准是创建有利于整个社区的健康开源生态系统的必要步骤。向前迈进,当务之急是 齐心协力 建立这些实践,确保 ZK 技术继续以公平、准确和有影响力的方式发展。

值得注意的播客讨论

零知识播客-第 330 集:可编程隐私框架 和 Ying Tong 和 Bryan Gillespie 在一起: zeroknowledge.fm/330-2/

Anna和Guille与Guelle的Geometry Research的赖英通和Inversed Tech的布莱恩·吉莱斯皮聊了聊他们迄今为止的最新研究和工作。他们深入研究了两人最近的著作《SoK:分布式系统中的可编程隐私》,探讨了引入的分类和框架。

House of ZK 电台-#1: DAC Economy 和郭明在一起: open.spotify.com/episode/0pixjn5f4vycyizwoib7GZ

House of ZK 电台的主持人 Cat 和 Alice 与 ZKM 首席研究科学家郭明讨论了 ZK 及其他所有内容。Ming解释了激励他在多个基于区块链的项目中工作的基本哲学,重点介绍了他的DAC Economy世界观和对自我可持续的去中心化经济的终极愿景。

A16z 加密货币:ZK 和密码学 和贾斯汀·泰勒、瓦莱里娅·尼古拉延科和约瑟夫·邦诺在一起: youtube.com/ watchv=5rrss8fswbo

在本次由蒂姆·罗格加登(a16z crypto研究主管)主持的演讲中,a16z加密研究合作伙伴瓦莱里娅·尼古拉恩科、乔·邦诺和贾斯汀·泰勒探讨了密码学的各个方面,深入探讨了各自的研究领域。

零知识播客-第 333 集:可验证的 SQL、Reckle Trees 和 ZK 协处理 与拉格朗日实验室合作: zeroknowledge.fm/333-2/ 

安娜与拉格朗日实验室创始人兼首席执行官伊斯梅尔·希森-雷扎伊扎德以及拉格朗日研究主管兼耶鲁大学应用密码学实验室联合主任查拉兰波斯(巴比斯)帕帕曼舒进行了交谈。他们讨论了 zk 驱动的协处理器、如何将其整合到拉格朗日协处理器系统中、他们在 Reckle Trees 上所做的工作、未来的工作以及所有这些为 dApp 开发人员带来了什么。他们讨论了他们的新证明者市场、基础设施的总体状况以及他们如何渴望将更多概念从通用计算引入去中心化区块链系统。

House of ZK 电台-#2: 密码学的退伍军人 和 Jeroen van de Graaf 在一起: open.spotify.com/episode/2ayzrzfmyk6wzqqptxc7PP

Cat 和 Alice 回来与 ZKM 的资深密码学家 Jeroen van de Graaf 教授讨论了 ZK 的历史以及更多内容。自20世纪80年代以来,Jeroen一直积极参与密码学领域,进入该领域时专注于隐私应用的理论密码学,并且是David Chaum的密切合作者。在本集中,Jeroen讨论了他在整个密码学职业生涯中目睹和贡献的关键事件,从参加世界上最早的密码学课程之一到参加ZK历史上最具标志性的名字的讲座。

加入对话

我们邀请读者分享他们对所提出的问题的看法。在定制电路和 zkVM 之间持续的争论中,你的立场如何?您如何看待特色项目的基准测试方法和主张?你对ZK领域的开源协作和归因有何看法?我们鼓励你保持联系,保持对话的进行,并就这些关键话题发表你的想法。请在下面的评论中与我们互动,为关于 zkVMS 未来的建设性对话做出贡献。请继续关注更多更新,在下次之前,继续探索零知识前沿。此信息由 House of ZK 团队精心策划——如果你发现任何错误或认为缺少重要更新,请发送电子邮件至 contact@zkm.io 附上你的反馈。

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