Skip to content

2024Q4 ZKP新闻

十一月

2024.11.27

【论文】

  • Ingonyama在他们最新的notes《New Bears at the Bear Market: Introducing Polar Bear and Teddy Bear Prime Fields》中介绍了两个新域:Polar Bear pPB=240232+1和Teddy Bear pTB=232230+1及其性质。 论文

  • Wang等人在《Cirrus: Performant and Accountable Distributed SNARK》论文中提出了首个具有线性计算复杂度的可问责分布式SNARK证明生成协议,支持通用可信设置,并实现了高效的水平扩展和低通信成本。 论文

  • zkSecurity分享了零知识证明的发展历程,重点回顾了10篇具有里程碑意义的论文。 博客

  • Yang等人在《Siniel: Distributed Privacy-Preserving zkSNARK》论文中提出了一种zkSNARK隐私委托框架Siniel,基于PIOP和PCS构建,允许计算能力有限的证明者将证明生成任务委托给多个工作者,同时不泄露私有见证信息。 论文

【视频】

  • Devcon7的视频都已经发布了,不过视频太多,推荐先从日程列表挑选,捡自己感兴趣的看。 视频列表日程列表

  • Ingonyama发布视频《10x Faster Sumcheck over Binary Tower Fields》针对《The Sum-Check Protocol over Fields of Small Characteristic》论文进行讲解。 视频

  • Ingonyama发布动画短视频《Sum-Check 101》形象化的介绍Sumcheck协议。 视频

  • Giacomo Fenzi发布视频《STARKs & Friends》介绍STARK及其相关证明算法。 视频

  • ZK Hack组织社区系列视频共同阅读和学习《SNARGs Book》,由该书作者Chiesa教授主讲,正在连载。 视频列表

【博客】

  • Anon Aadhaar团队分享了在Devcon上关于ZKP、可编程加密(ProgCrypto)等隐私安全方向的思考。 博客

  • zkSecurity在博客《Improving the Security of the Jolt zkVM》中披露了Jolt中的一个bug--将执行轨迹截断也能产生正确的proof,并进一步在博客《zkVM Security: What Could Go Wrong?》中探讨了zkVM的安全性问题。 博客1博客2

  • 在Devcon上被重点提出的"圣杯"概念--iO(Indistinguishability Obfuscation),也有博客在讨论。 博客中文翻译

  • Brevis提出了SpaZK,一种专注于ZKML协议,包括通过模型简化技术和专门设计的ZK证明协议实现近100倍的效率提升。 博客𝕏

  • zkSecurity发布博客《ZNARKs: SNARKs for The Integers》,对利用整数域而非有限域的SNARK(出自论文《Fully-Succinct Arguments over the Integers from First Principles》)进行了介绍和解释。 博客对应论文

  • Formal Land分享了针对Noir程序的正式验证工具coq-of-noir的详细内容,包括语义规则、内存处理和循环定义等方面的内容。 博客

【开源】

  • Polyhedra Network团队开源了Expander,宣称是迄今为止最快的ZK证明系统,其通过GKR协议与多项式承诺方案结合。 代码

  • Scroll团队开源新的证明系统Ceno,基于GKR协议用于加速zkVM。 代码论文

  • RISC0发布了开源 Kailua,这是一个用于将OP升级为混合 ZK Rollup的方案。其引入的欺诈证明游戏,可以减少抵押要求和最终性延迟。 代码链接原理介绍

  • zkSecurity与Zircuit团队合作推出了Halo2开发的开源课程,旨在教授Rust开发者从零开始构建Halo2电路。 代码课程主页

  • 有人发布了ZKP编程语言使用情况比较,并将比较代码进行了开源。一个有趣的数据:Circom电路代码仓库约600个,zkVM电路代码仓库约1200个。 代码

  • 有人发布了zkVM的开发模版项目,一个脚本完成多个zkVM的设置,包括Jolt、SP1、RISC0。 代码

  • 有人利用SP1存储证明实现以太坊上的存储证明。 代码

【信息】

  • Antalpha Labs发布11月24日的ZKP相关总结笔记。 链接

  • SP1/Jolt最近的一个工作重点是实现自动形式化证明(使用Lean),以提高代码实现的正确性。 链接

  • zkSecurity团队发布了noname 3.0,包括原生提示、标准库和编译器可视化工具等。 链接

2024.11.6

【论文】

  • Lie等人在《Push-Button Verification for BitVM Implementations》论文中提出了一种针对BitVM实现的正式验证工具,设计了基于寄存器的DSL,简化了复杂堆栈操作,并通过CEGIS过程提升了验证效率,成功验证了94%的基准测试案例。 论文

  • Tiancheng Xie发布技术报告《Advances in Zero-Knowledge Proofs: Bridging the Gap between Theory and Practice》,详细阐述了一系列零知识证明协议------Libra、deVirgo、Orion和Pianist。 论文

  • Seungwoo Kim等人在《zkMarket : Privacy-preserving Digital Data Trade System via Blockchain》论文中提出了一种基于区块链的隐私保护数据交易系统zkMarket。该系统可确保交易隐私和公平性,并利用CP-SNARK和MatPRG提高了数据注册和交易的效率。 论文

  • 张宗洋等人在《零知识证明递归与复合技术研究综述》论文中系统研究了零知识证明的递归与复合技术,分析了其在代数、非代数和复合断言中的应用,为提升协议性能和功能拓展提供了全面视角。 论文

【视频】

  • Antalpha Lab组织了一系列的白板课程,涵盖ZKP相关的多个方面。 视频列表

  • PSE组织了一系列的课程,涵盖FLIP、Pairing和椭圆曲线的相关方面内容。 视频列表

【博客】

  • Succinct分享了EVM对象格式(EOF)升级(EIP-7692)对增强ZKP性能等方面的影响。 𝕏博客EOF

  • Mina讨论了Mina协议上的zkML,包括其在去中心化AI中的应用、计算验证和数据隐私保护等方面的内容。 博客

  • ZEROBASE发布了开源的zkLogin框架,该框架旨在帮助Web3开发者扩展访问和功能。 𝕏博客

  • Polyhedra 团队分享了在 GPU 加速 ZKP 方面的突破,包括 Sumcheck 协议的显著优化、提升轻客户端安全性和状态验证效率等内容。 𝕏博客

  • TACEO团队在博客中探讨了诚实多数多方计算(MPC)在协同SNARKs(coSNARKs)中的效率,包括其安全模型和性能优势等方面的内容。 博客

【开源】

  • Circle 和 Inco 发布了新的白皮书和开源代码库,实现Confidential ERC-20,通过全同态加密(FHE)保护用户隐私,同时保持合规控制。 𝕏博客代码

  • Crema Labs 开源了利用SP1实现的 zkSXG 。 𝕏代码了解zkSXG

【信息】

  • Antalpha Labs发布11月3日的ZKP相关总结笔记。 链接

  • Argument宣布他们的Lurk(ZKP DSL)将在2025支持Lisp以外的语言,如OCaml和JavaScript,同时也将支持除Nova和Plonky3之外的Binius后端。 𝕏

  • ICICLE 3.1发布,支持更多向量操作、支持更多Hash等功能。 𝕏新闻

  • Valida提供了在线实验环境。 𝕏链接

  • Fabric 和 RISC Zero 达成合作,以加速 VPU 上的 Boundless。 𝕏

  • Scroll 发布了 Scroll SDK 和 Gadgets,包括生产就绪的基础设施和定制模块。 𝕏新闻

  • =nil; Foundation发布了Testnet v1。 𝕏

  • BitVM生态参与者Citrea宣布14M的融资。 𝕏

  • Snarkify团队在ZPrize竞赛中再次获胜,专注于基于BLS12-381使用Plonk证明系统加速Merkle树证明,实现了单个商用GPU上比CPU基准快900倍的突破。 𝕏

  • RISC Zero团队发布了zkVM的v0.15版本,引入了continuations功能,能够更好的支持并行,并运行任意长度的指令。 链接

  • Chainlink发布了隐私保护套件,包括CCIP隐私交易、区块链隐私管理器和DECO沙盒,重要特性是利用ZKP确保跨链交易的数据保密性和合规性。 链接

  • Lagrange发布了DARA,这是一种专为ZK证明网络设计的新型双拍卖资源分配机制,实现证明网络的高效资源分配。 链接

  • Space and Time发布了SXT Chain Testnet,其提供ZK-proven数据处理能力,使智能合约能够访问更多数据源。 链接

  • powdr labs 发布了 powdrVM 0.1,包括支持多种后端(Plonky3、Halo2、PIL STARK、Eigen's Starky)、标准 Rust 兼容性和模块化架构,重要特性是未来适应性和高性能。 𝕏链接

【工具】

  • 有人发布了ZK统计数据,包括以太坊主网ZK项目的证明量及费用支出。 链接

【活动】(曼谷专场ZKP活动精选)

  • 11月8日~10日 白天,《MEME.ZKWASM() Bangkok Hackathon》,主办:Delphinus Lab。 链接

  • 11月9日 白天,《House ZeR0 Day: Fenbushi Research House》,主办:RISC0。 链接

  • 11月10日~11日 白天,《ZK Hub Bangkok》,主办:ZK Hub。 链接

  • 11月10日 下午,《Proof Summit @ Devcon》,主办:Lagrange。 链接

  • 11月10日 晚上,《PROVABLE Bangkok》,主办:RISC0,Celestia。 链接

  • 11月10日~11日 白天,《Aggregation Summit》,主办:Polygon。 链接

  • 11月11日 白天,《ZK Accelerate》,主办:Ingonyama。 链接

  • 11月11日 白天,《Aztec NoirCon 0》,主办:Aztec。 链接

  • 11月11日 下午,《ZK Connect》,主办:Brevis。 链接

  • 11月11日 晚上,《ZK Hack Meetup in Bangkok》,主办:ZK Hack。 链接

  • 11月11日 晚上,《ZK Night @ Devcon》,主办:ETH Belgrade。 链接

  • 11月13日 白天,《FHECon: The Frontier of Digital Sovereignty》,主办:zkBankai。 链接

  • 11月13日 下午,《zkBankai PlonkCafÈ》,主办:zkBankai。 链接

  • 11月14日 下午,《Encryption Day: ZK, FHE, & MPC》,主办:Fhenix。 链接

  • 11月14日 晚上,《zkSecurity + Lita Meetup》,主办:zkSecurity。 链接

  • 11月16日 白天,《zkTLS for Founders》,主办:Madhavan。 链接

  • 其他相关活动参见活动列表。 活动列表1活动列表2

十月

2024.10.23

【论文】

  • Li等人在《fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup》论文中,设计fAmulet工具,检测Polygon zkRollup中的最终化失败漏洞,发现12个零日漏洞,并在Scroll zkRollup中发现另一个零日漏洞,展示了其通用性。 论文

  • Nitulescu等人在《FLIP-and-prove R1CS》论文中提出通过新的FLIP折叠方案将R1CS实例折叠成宽松R1CS实例,显著减少了SNARK证明生成的时间和通信复杂度,无需递归证明组合,其应用为Filecoin。 论文

  • Gama等人在《Blind zkSNARKs for Private Proof Delegation and Verifiable Computation over Encrypted Data》论文中,首次实现了将zkSNARK证明生成私有地委托给单个服务器的实际应用。通过同态计算zkSNARK证明生成,显著减少了客户端计算时间,实现客户端几秒的计算,服务器上20分钟的计算。 论文

  • Pappas等人在《Sparrow: Space-Efficient zkSNARK for Data-Parallel Circuits and Applications to Zero-Knowledge Decision Trees》论文中提出了一种新型空间高效zkSNARK,名为Sparrow,适用于数据并行算术电路。该方案在证明者空间和时间上显著优于现有方案,并在树训练和预测中实现了显著的空间节省。 论文

  • Bogdanov 等人在《ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs》论文中提出了一种用于零知识证明的领域特定语言 ZK-SecreC。该语言具有独特的类型系统,支持保密性和完整性类型的分配,并通过实证评估展示了其编译器生成的语句大小和运行时间的有效性。 论文代码

【视频】

  • Sumcheck Builders Seminars 举办了一系列关于ZKP中sumcheck协议的研讨会,网站上有过去的视频列表及未来研讨会计划。 网站

  • ZK Summit 12的剪辑视频,及分会场视频已公开。 视频链接

  • Tiwari在《3 Pre-Singularity Privacy Problems》中讨论了个人智能代理的隐私计算问题,提到目前仅Apple一家公司在该领域尝试。 视频

  • Giacomo Fenzi在Nexus Speaker Series中分享了关于STIR和WHIR的邻近测试与约束测试的研究,其形象化的讲解ZKP系统演化历史值得作为学习材料。 视频

  • Antalpha Labs分享了一系列关于ZKP数学原理的白板展示课程,包括FFT、FRI和STARK等。 视频列表

  • Reclaim Protocol发布了一系列关于zkTLS的基础讲解视频,从基础加密算法到TEE/MPC/Proxy与TLS结合的对比。 视频列表

【开源】

  • BitVMX团队发布了BitVMX CPU和挑战-响应协议PoC,可用于比特币的L2开发。 代码1代码2

【信息】

  • Antalpha Labs发布10月20日的ZKP相关总结笔记。 链接

  • ZEROBASE获得500万美元融资,由BinanceLabs等多家机构参投。专注于实时ZK证明网络。 𝕏

  • 阿根廷的布宜诺斯艾利斯政府已为360万居民推出基于区块链的数字身份,通过QuarkID和ZKsync Era协议实现去中心化。 新闻

2024.10.16

【论文】

  • Campanelli等人在《Fully-Succinct Arguments over the Integers from First Principles》论文中提出了一种基于整数的SNARK构造方法,解决了在有限域上模拟整数运算的开销问题。 论文

  • Arun等人在《Nebula: Efficient read-write memory and switchboard circuits for folding schemes》论文中提出了一种新的折叠方案技术,显著优化了增量可验证计算(IVC)的读写内存和电路设计,实现了更小的约束系统和更快的证明生成速度。 论文

  • Kothapalli等人在《NeutronNova: Folding everything that reduces to zero-check》论文中提出了一种新的零检查关系折叠方案,该方案通过双轮协议实现,内部调用一轮sum-check协议,相比现有技术更高效,并支持多实例折叠。 论文

  • Brehm等人在《Blaze: Fast SNARKs from Interleaved RAA Codes》论文中提出了一种多线性多项式承诺方案Blaze,该方案通过结合代码切换技术和重复累积累积(RAA)码。证明、验证效率更高,证据尺寸更小。 论文

  • Domb等人在《Really Complex Codes with Application to STARKs》论文中提出了一种利用复数域DFT构建实值RS码的方法,该方法在效率上与DCCT相当,并兼容传统技术和优化。 论文𝕏

【视频】

  • Aptos Lab的Benny Pinkas在讲座《Distributed randomness using weighted VRFs》中分享了如何通过加权VRF在区块链中引入共享随机性。 视频

  • Abhi Shelat在讲座《Threshold ECDSA in 3 rounds》中提到他们团队重写了ECDSA签名方程,并开发了适用于最小MPC协议的分布式密钥生成和阈值签名的计算和验证方法,包括3轮或2轮(带预处理)的签名协议,运行时间仅为毫秒级。 视频

  • Mysten Labs (Sui)的 Deepak Maram 在讲座《zkLogin》中详解了zkLogin的方法和问题及解决方案。 视频

  • 首届House of ZK虚拟大会于10月15日在线上举行。 视频日程

【博客】

  • Telos团队分享了最新的加密证明生成与聚合技术Plonky2 Goldibear,包括在BabyBear域上实现显著性能提升等方面的内容。可以做到聚合1024个RISC0 Proof花费6.1秒。 𝕏

【开源】

  • 由以太坊基金会支持的项目Circuitscan正式发布,可以验证链上的电路源代码。 代码官网

【信息】

  • Antalpha Labs发布10月13日的ZKP相关总结笔记。 链接

  • Hashflow发布了Exchange OS (xOS),这是一个利用Risc0的ZK证明和Celestia的DA层技术的通用ZK结算层,旨在使任何(中心化)交易所的交易都可在链上证明。 𝕏链接

2024.10.9

【论文】

  • Mikhail Komarov在《Bitcoin PIPEs: Covenants and ZKPs on Bitcoin Without Soft Fork》论文中提出了一种在不进行软分叉的情况下,通过比特币PIPEs框架实现零知识证明验证的方法。该方法利用PIPE(Polynomial Inner Product Encryption)模拟缺失的契约,并引入nil Foundation新提出的Placeholder证明系统的验证,为比特币上的ZKP验证提供了新途径。 论文𝕏

  • Atapoor等人在《STARK-based Signatures from the RPO Permutation》论文中提出了一种基于RPO排列的数字签名方案,通过DEEP-ALI和BCS变换确保了EUF-CMA安全性,并在单核上实现了13毫秒的签名生成速度和1毫秒的验证速度。 论文

  • Arnon等人在《WHIR: Reed--Solomon Proximity Testing with Super-Fast Verification》论文中提出了一种新的IOP协议WHIR,验证时间通常在几百微秒内,远快于现有技术的几毫秒。WHIR适用于多线性多项式和单变量多项式的查询,实现了高效的SNARG和多项式承诺方案。 论文𝕏

  • Nick等人在《Shielded CSV: Private and Efficient Client-Side Validation》论文中提出了一种全隐私的客户端验证协议,该协议可在比特币上隐藏交易历史,每笔交易链上成本固定为64字节,支持t-of-n账户和原子交换。 论文𝕏

  • Garreta等人在《FLI: Folding Lookup Instances》论文中提出了FLI和FLI+SOS两种折叠方案,通过PIOP验证矩阵行是否为基本基向量,并结合随机系数进行矩阵组合,FLI+SOS进一步利用SOS可分解性,实现了对大型表的折叠。 论文

【视频】

  • 2024年POW峰会于9月27-29日举行,涵盖比特币L2、新兴协议、挖矿可持续性和隐私保护等主题。 日程视频列表

  • ZKSummit12在葡萄牙里斯本举行,涵盖了ZKP的最新进展和应用,现已可以看回放。 回放

  • 在ZKSummit12上,ZKV与Cursive合作做了NFC卡片,结合移动端应用实现了ZKP、MPC等功能。 视频代码

【博客】

  • nil Research 讨论了基于FRI的分布式SNARK证明生成,包括透明设置、PQ安全性、效率权衡等方面的内容,可以提高证明生成效率。 博客

  • zkSecurity分享了WE-KZG(Witness Encryption -KZG)见证加密方案的讲解。 博客

  • Moudy团队分享了zkVM测试报告《zkVM Testing Report》,评估了用于Nescience架构(他们团队提出的架构)的zkVM,测试包括SP1、RISC0、Nexus、zkMIPS、ZKWASM、Valida。 博客

  • RAFAL0X分享了关于Nova折叠方案的深入探讨《Nova Folding and Recursive Proofs》,并通过手写Nova的方式进行讲解。 博客

  • Argument发布博客《Lookups in Lurk》讨论了Lurk的查找架构,包括logUp技术在不同分片间传递计算值的应用,并指出直接应用LogUp可能导致的正确性问题。 部分1部分2

【开源】

  • SuccinctLabs展示了使用SP1验证Cairo证明,使得任何Cairo程序都能生成Snark证明。 代码𝕏

  • Circom 发布2.2.0版本,包括"buses"功能,重要特性是能够结构化电路信号并使用类型区分数据。 代码

  • 1kx发布了zkSafe,这是一个增强Safe多签签名隐私性的模块,重要特性包括使用ZKP隐藏签名者身份,并提供无后端UI,使开发者能够在分叉链上无缝使用Safe。 代码博客

【信息】

  • Antalpha Labs发布10月6日的ZKP相关总结笔记。 链接

  • zkHack(zkMesh)发布了2024年9月ZKP相关动态回顾。 链接

  • SP1在最新的发布中声称他们是现在唯一包含bn254和bls12-381预编译的zkVM。 𝕏博客

  • RISC Zero 发布了 Steel 1.0,这是一个 EVM 智能合约执行证明器,比如可以用300k gas的链上代价证明1.2b gas的合约调用。 𝕏博客

  • Fabric Cryptography 与 Polygon 合作发布了 VPU 加速 ZK 证明系统的创新方案,包括软硬件协同设计以及定制 VPU 指令等。 𝕏

  • zkP2P继续利用zkTLS和zkEmail相关技术基础,将其业务扩展到Web2域名的二级交易。 𝕏

  • zkP2P宣布暂时禁用Venmo的集成功能,原因是支付收据邮件更新删除了关键信息。这是zkEmail服务依赖三方信息的典型脆弱案例。 𝕏

  • 有人在组织Sumcheck Builder Group,有兴趣可以去参加。 𝕏