Edited by ZKPunk
Highlights
Proofs--Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation
GKR protocol implementation: deep dive into the code
Foundations of High-Speed Cryptography
Quantum Scientists Have Built a New Math of Cryptography
Updates
PQ Signature Acceleration - ZEAM PoV
Whir-P3 Sumcheck
Expander & ECC Prover Update
Papers
Pairing-Based Batch Arguments for NP with a Linear-Size CRS
Revisiting the IPA-sumcheck connection
Technical Note: LeanSig for Post-Quantum Ethereum
SLVer Bullet: Straight-Line Verification for Bulletproofs
HyperFond: A Transparent and Post-Quantum Distributed SNARK with Polylogarithmic Communication
Shred-to-Shine Metamorphosis in Polynomial Commitment Evolution
A Framework for Witness Encryption from Linearly Verifiable SNARKs and Applications
见证加密（Witness Encryption, WE）是一种强大的密码学原语，能够实现许多看似不可行的应用。尽管通用的WE方案需要强假设且效率极低，近期研究表明可以针对特定应用设计特殊用途的WE方案，这些方案可基于更弱的假设，并在实际中表现出较高的效率。已有大量文献构造（隐式地）使用了见证加密方案，但目前尚无对特殊用途见证加密方案的系统研究。
本文朝这一方向迈出重要一步，我们设计了一个模块化且可扩展的框架，既有助于更好地理解现有方案，也使得构造新的见证加密方案成为可能。该框架围绕一些简单而强大的构建模块展开，我们称之为“gadgets”。Gadget可以被视为面向小型目标关系（由线性可验证论证诱导）的见证加密方案，它们之间可以组合，以支持更大、更复杂的关系表达，适用于多种实际应用。为了展示该框架的强大能力，我们系统性地复现了已有结果，对其进行了改进，并给出了若干新的可行性结果。
我们框架的第一个应用是线性长度公共参考字符串（CRS）的注册属性加密（Registered Attribute-Based Encryption, R-ABE）方案[Hohenberger等，Eurocrypt 2023]。尽管已有多种R-ABE方案，但一个具有线性CRS长度（相对于用户数）且基于黑盒构造的R-ABE方案一直是一个长期未解的问题，当前最优具体结果为$N^{1.58}$（Garg等人[GLWW, CRYPTO 2024]）。借助我们的WE框架，我们首次实现了黑盒构造下CRS长度为线性的R-ABE方案。该方案基于我们提出的一种将集合成员加密扩展为析取范式（DNF）公式加密的创新构造。
我们框架的第二个应用是对注册阈值加密（Registered Threshold Encryption, RTE）具备简洁密文的可行性结果。RTE（Branco等人，ASIACRYPT 2024）是最近提出的Silent Threshold Encryption（Garg等人[GKPW, CRYPTO 2024]）在注册环境下的类比。我们重新研究了RTE，并基于WE框架给出了一个有效构造，其加密密钥和密文均为常数长度。
- 本文发表于 CRYPTO 2025。
- https://eprint.iacr.org/2025/1364
If you’d like to receive updates via email, subscribe us!