Highlights

Binius

highly efficient proofs over binary fields

来自 Vitalik Buterin，指明方向:

  • https://vitalik.eth.limo/general/2024/04/29/binius.html

Tower field and commitment in binius

来自 Wang Yao 的分享，学习 binius 的材料:

  • 视频链接 https://youtu.be/X_kmmbBY6rQ
  • Ref：https://www.ulvetanna.io/news/binius-hardware-optimized-snark
  • Paper：https://eprint.iacr.org/2023/1784

Updates

On Proving Pairings

基于配对的协议被广泛使用，但在实际应用中配对计算成本过高依然是一个很大的问题。本文提出了一种高效的方式去证明椭圆曲线配对关系。

  • 配对验证最后的求幂步骤可以被替换为更高效的“residue check”，并且合并到“Miller loop”中。

  • 通过预计算必要的行来降低“Miller loop”的成本，并且当预先固定第二配对参数时，会相当高效。

  • 如何通过组合商来改进[gar]的协议，从而更有效地证明更高阶关系，这些技术也自然延续到配对验证中。

  • Paper Link

Vision Mark-32: A ZK-Friendly Hash Function Over Binary Tower Fields

  • Irreducible（原 Ulvetanna）和 3MI Labs合作，提出新的 ZK 友好哈希函数--Vision Mark-32。这是一种面向算术化的哈希函数，专为与 Binius 一起使用而设计。Vision Mark-32 是 Vision 结构的一个特殊实例化，利用二进制塔域的独特性质来实现硬件的高性能实现，同时在 Bi​​nius 证明系统中保持高效可验证性，是对 Binus 论文提出的 Grøstl 哈希函数进一步地可以降低验证成本和证明大小的优化。
  • Link
  • paper

Keelung

一个基于 Haskell 的 ZK 开发的工具. 得益于 Haskell 强大的函数式编程能力，你可以通过基础的内置数据类型，复合成复杂的数据结构。目前基隆的默认后端使用的是 Aurora，开发者正在支持 Groth16 和 PLONK。0.21 版本已经支持了绝大部份的算法，比较，位操作。0.22 版本将支持 slicing 和 joining。喜欢 Haskell的同学可以尝试一下。

Proof of Passport

护照证明让用户可以扫描政府颁发的护照中的 NFC 芯片，并证明 zk-SNARK 中签名的正确性。这解锁了两个有趣的用例：

  • 对于抗女巫攻击，护照证明可以提供唯一身份的来源。

  • 为了身份和隐私，护照证明允许选择性地披露私人数据。例如，用户可以透露他们的国籍或出生日期，而无需透露任何其他私人信息。

  • Github Link

Justin Thaler 关于 Sumcheck/LASSO/JOLT 最新的两个播客

Introducing Expander: The Fastest GKR Proof System to Date

Polyhedra Network 推出了新的开源 ZK 证明系统 Expander，其生成速度打破现有的世界纪录，为实现 ZKVM 和 ZKML 提供了基础设施。

Expander 使得任何规模的项目都能高效、安全、低成本地处理数据。同時，它为 AI Layer1 的实现提供了强大的支持，并且让用户使用手机支持 AI 分布式算力，推动 AI 和区块链技术的深度集成。