ZK Shanghai

Appearance

2024Q4 ZKP新闻 ​

十月 ​

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，有兴趣可以去参加。 𝕏