Skip to content

2024Q3 ZKP新闻

七月

2024.7.10

【论文】

  • Garg等人在《Insta-Pok3r: Real-time Poker on Blockchain》论文中,介绍了一种用于实时在线扑克游戏的分布式随机性生成服务。该服务通过MPC实现了没有信任第三方的情况下生成密钥编排,保障了玩家的隐私同时允许公共验证,显著提升了区块链游戏的安全性和效率。 论文

  • Heiss等人在《Towards Credential-based Device Registration in DApps for DePINs with ZKPs》论文中提出一种基于凭据的设备注册机制,该机制利用ZKP保护在区块链上注册的设备的秘密属性,为DePINs提供了一种既能确保设备验证又能够保护隐私的新解决方案。 论文

  • Rambaud等人在《Practical Non-interactive Multi-signatures, and a Multi-to-Aggregate Signatures Compiler》论文中提出dms新签名方案,旨在解决聚合签名和非交互式签名的复杂性瓶颈,通过简化验证过程和提升安全保障,为区块链共识协议提供高效解决方案。 论文

  • Bendada等人在《RollupTheCrowd: Leveraging ZkRollups for a Scalable and Privacy-Preserving Reputation-based Crowdsourcing Platform》论文中提出用ZkRollups优化了区块链众包平台的可扩展性和用户隐私保护。 论文

【博客】

  • a16z组织他们的研究团队进行了一场对话,讲了最新的密码学研究进展,比如用密码学解决黑洞悖论;并对密码学技术的未来进行预测,包括MPC、FHE和VDF等;还分享了量子计算对密码学安全的潜在影响,以及公平数据交换等应用。 视频

  • Ingonyama发布了CUDA的上手教学视频,想要入门ZKP硬件编程的,千万不要错过。 视频1视频2

  • Vivek提出了"数据行会"的概念,这是一种借用ZKP技术保护个人数据的模型,对广告行业的用户隐私保护及精准投放具有重要意义。 注:或许这个能产生出zkAds这么一个新兴赛道?博客

【开源】

  • 社区有人发布了专为区块链和证明系统设计的Constantine密码学库。涵盖BLS签名和KZG承诺等,性能测试显示其高效。支持C、Go、Nim以及Rust等语言。 发布说明代码

  • V神上传了使用cupy的CUDA加速版STARK证明代码。 代码

  • cicada是一种基于同态时间锁谜题的私密链上投票协议。 代码

  • Swoirenberg 是一个用于创建和验证ZKP的 Swift 库,它使用 Noir 语言,默认后端证明系统 Barretenberg。 代码

【信息】

  • Antalpha Labs发布7月7日的ZKP相关总结笔记

  • zkHack宣布将于8月9日至11日举办第四届零知识证明黑客松 "ZK Hack Montréal",会议聚焦零知识工具与应用实战,正在报名中。 链接

【新闻】

  • 以色列数学家Adi Shamir因其在数学密码学基础领域的杰出研究,与Noga Alon共同获得Wolf数学奖(Wolf Prize in Mathematics)。 注:Shamir曾于2002年获得图灵奖,他的发明有很多应用在区块链领域,包括RSA、MPC中的秘密共享、ZKP中的Fiat-Shamir转换等。获奖页面

  • StarkWare发布新闻表示新证明器Stwo能在四核CPU上实现每秒50万hash的证明,是现在正在运行的Stone证明器的接近100倍。 链接

2024.7.3

【论文】

  • Polygon的Haboeck等人在论文《A note on adding zero-knowledge to STARKs》中讨论了如何在FRI上添加实用化ZK,并就如何将整体商分解为更小度的多项式展开了讨论。 论文

  • Dziembowski等人在《VIMz: Verifiable Image Manipulation using Folding-based zkSNARKs》论文中用折叠zkSNARK做图像变换验证,支持广泛的变换类型,实验数据显示在4K分辨率(8MP)最快的resize操作,在高端机器中需要974s/10.3G内存。 论文

  • Ebrahimi等人在《From Interaction to Independence: zkSNARKs for Transparent and Non-Interactive Remote Attestation》论文中提出了基于zkSNARKs的透明远程证明协议zRA,利用Circom实现。 论文

  • Monica等人在《Trust Nobody: Privacy-Preserving Proofs for Edited Photos with Your Laptop》论文中提出一种利用笔记本电脑进行隐私保护的图片转换验证系统,成功验证图像编辑操作如调整大小和裁剪,实验数据表明一个30MP可在普通8核4G PC上使用41分钟生成证明。 注:验证时间未提,但不可忽略。论文

  • Lita Foundation的Daniel Dore在其论文《TaSSLE: Lasso for the commitment-phobic》中提出一种新的查找论证TaSSLE。该论证利用对数导数论证替换了Lasso算法中的乘积论证,使得访问大容量数据表更为灵活与高效。 注:可看作Lasso的升级版,借助logUp,将乘积论证替换为更灵活的对数导数论证来实现。论文

  • Quang Dao等人在《Constraint-Packing and the Sum-Check Protocol over Binary Tower Fields》论文中优化了针对二阶塔域的求和检验SNARKs。通过改进零检验PIOP过程,显著降低了预先求值的复杂度。 论文

  • Nyamsi 等人在《Accelerating pairings on BW10 and BW14 Curves》论文中,优化了基于 BW10-511 和 BW14-351 椭圆曲线的 x-superoptimal 配对算法。 论文

  • Gao等人在《A Succinct Range Proof for Polynomial-based Vector Commitment》中提出一种证明方案MissileProof,具有常数时间O(1)的proof、承诺和验证性能,尽管其证明时间复杂度稍增为O(lloglnlogn)论文

  • Ingonyama的Bagad等人在《The Sum-Check Protocol over Fields of Small Characteristic》论文中提出了一种在小特征值域上针对校验和协议的优化实现。该研究可以显著减少在特定条件下的扩展域操作数量。 论文

  • 经典论文Plonk的中文翻译版。 论文

【博客】

  • 这篇博客列出了一些zkID相关项目,包括Sismo、Polygon ID、Holonym、Manta SBT和Etonec。 博客

  • 一篇关于ZK未来发展的博客,里面有一些形象化的现有证明系统的对比数据。 博客

  • 一篇关于ZKP安全工具的博客,报告概述了从理论基础到应用实施的转变,并汇集了该行业的主要参与者与应用案例。 博客

【信息】