Highlights

理解 Lasso

  • Github Link 郭老师的理解 Lasso 系列文章，将 Lasso 总共分成四个不同的 Indexed Lookup Arguments 协议：
  • Lookup Arguments based on Offline Memory Checking
  • Lookup Arguments based on Spark
  • Lookup Arguments based on Surge
  • Lookup Arguments based on Sparse-dense Sumcheck

并单独对这些协议进行了解析。

Updates

Ulvetanna 现已更名为 Irreducible

Irreducible 最近发布的基准测试显示，在没有使用 Binius 的情况下，他们的 Polygon Hermes FPGA 证明器 (Plonky2) 就要比 GCP 参考实例快 40%，而且比 spot 用例更便宜。 这个基准测试通过将低度扩展和叶哈希计算迁移到 FPGA 上，同时在一个 64 核 CPU 上完成其他所有操作。

出处：

  • https://twitter.com/gakonst/status/1783589455271739678

相关链接：

  • https://www.irreducible.com/posts/becoming-irreducible
  • https://www.irreducible.com/posts/accelerating-polygon-zkevm

Hadamard Product Argument from Lagrange-Based UnivariatePolynomials

这篇论文提出了一种新方案，用于证明两个向量的 Hadamard 积关系，作为基于一元多项式的 SNARKs 的一个子协议。证明者使用线性密码学操作生成包含对数场元素的证明。验证需要对数密码学操作和固定数量的双线性群配对。该方案的构建基于 Lagrange 形式的 KZG（Kate, Zaverucha和Goldberg在2010年Asiacrypt上的工作）承诺和折叠技术。通过在 Lagrange 形式的一元多项式上使用折叠技术，构造了一个内积协议，通过精心选择适合折叠技术的随机多项式，从内积协议构造了 Hadamard 积协议，提供了一种验证线性代数关系的替代方法，该协议的具体证明大小优于以往工作。

Noir 更新到 v0.27.0

重大变更：Brillig 实现了类型化的内存 这一版使 "Brillig" 更符合 AVM 的标准，并且删除了 arithmetic.rs 中的截断操作。

  • 相关链接：https://github.com/noir-lang/noir/releases/tag/v0.27.0

一季度 ZK 前沿研究汇总

  • STIR: Reed–Solomon Proximity Testing with Fewer Queries
  • Beyond the Circuit: How to Minimize Foreign Arithmetic in ZKP Circuits
  • Circle STARKs
  • SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs
  • zkPi: Proving Lean Theorems in Zero-Knowledge
  • Parallel zkVM

出处:

  • https://twitter.com/zkv_xyz/status/1782832332862263454

zkSummit 11 系列 talk 已全部上线

出处: https://www.youtube.com/playlist?list=PLj80z0cJm8QFy2umHqu77a8dbZSqpSH54