Edited by ZKPunk

Highlights

How to Build Hash Functions w/ Jean-Philippe (JP) Aumasson

Indistinguishability Obfuscation (iO) with Huijia (Rachel) Lin

What Is the Fourier Transform?

Keeping up with the KEMs, Formally (EasyCrypt Edition)

Updates

Essential Coding Theory

The Little Book of Linear Algebra

Papers

IronDict: Transparent Dictionaries from Polynomial Commitments

Inner-Product Commitments Over Integers With Applications to Succinct Arguments

UC-Security of the ZK-NR Protocol under Contextual Entropy Constraints: A Composable Zero-Knowledge Attestation Framework

Trustless Delegation of Vector Commitment Construction in Resource-Constrained Settings

Constraint-Friendly Map-to-Elliptic-Curve-Group Relations and Their Applications

Hashing-to-Curve Group是许多密码学应用中的基础操作，包括多重集合哈希（multiset hashing）和 BLS 签名。随着零知识证明应用的快速发展，该操作越来越多地被用于约束编程环境中。例如，多重集合哈希被用于 zkVM 中的内存一致性检查，而 BLS 签名则被广泛应用于权益证明（PoS）协议中。在这些应用中 Hashing-to-Curve Group 的构造需具备良好的约束友好性，以便能够高效地产生正确性的简洁证明。然而，现有的构造通常依赖于加密哈希函数，而这些函数在算术约束系统中的表示代价较高，导致证明成本较高。

为此，我们提出了一种约束高效的替代方案：一种映射到椭圆曲线群的关系，该方案无需使用加密哈希函数，可直接替代现有的哈希到曲线的构造，适用于上述实际应用场景。该映射关系天然支持非确定性的映射方式，使其在约束编程框架中更加高效，并能够被高效地集成至零知识证明中。我们在椭圆曲线通用群模型（Elliptic Curve Generic Group Model, EC-GGM）下对该方法的安全性进行了形式化分析。

我们在 Noir/Barretenberg 中的实现展示了该构造在约束编程中的高效性：相比现有最优的哈希到椭圆曲线群方法，我们的方案大幅减少了约束数量，并在大规模场景下显著加快了证明时间。

If you’d like to receive updates via email, subscribe us!

🎉 Supported by GCC 🎉