## Highlights

### 理解 Lasso
- [Github Link](https://github.com/sec-bit/learning-zkp/blob/develop/lookup-arguments/lasso-zh/lasso-0.md)
郭老师的理解 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 积协议，提供了一种验证线性代数关系的替代方法，该协议的具体证明大小优于以往工作。

- [paper：https://eprint.iacr.org/2024/613](https://eprint.iacr.org/2024/613)

### 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