Notes Notes 要点

• Focuses on anonymized email verification, proving structured properties of DKIM-signed emails without revealing the full message.
• Uses path verification over ε-free NFAs, with prover complexity linear in the captured path and independent of original email size.
• Integrates DKIM verification, arbitrary-length SHA-256 under RFC 6376, and a general regex primitive into end-to-end ZK Email circuits.
• Shows substantial proving-time improvements over DFA-based approaches while supporting richer regex languages.
• The implementation is integrated with ZK Email, MIT licensed, and evaluated for client-side and zkVM (SP1) deployments.
• Security analysis formalizes zero-knowledge relations under realistic adversary models for email provenance.

• 论文聚焦匿名邮件验证，允许证明DKIM签名邮件中的结构化属性而不公开完整邮件
• 新方案基于ε-free NFA的路径验证，证明者复杂度与捕获路径线性相关，并独立于原始邮件大小
• 系统将DKIM签名验证、RFC 6376下任意长度SHA-256电路和通用正则原语整合进端到端ZK Email电路
• 相较先前DFA方案，实验显示证明时间有显著效率提升，并支持更丰富的正则语言
• 实现已集成到ZK Email并以MIT许可证发布，覆盖客户端和zkVM（SP1）部署场景
• 安全分析覆盖现实对手模型下的零知识关系和邮件来源证明需求

• 匿名化されたメール検証を対象とし、DKIM 署名付きメールの構造化された属性を、メール全文を公開せずに証明できる。
• ε-free NFA 上の経路検証を用い、証明者の計算量を取得された経路に対して線形にし、元のメールサイズに依存しない形にする。
• DKIM 署名検証、RFC 6376 に対応した任意長の SHA-256 回路、汎用的な正規表現プリミティブを、エンドツーエンドの ZK Email 回路に統合する。
• 従来の DFA ベース手法に比べて証明時間を大きく改善し、より表現力の高い正規表現言語を扱えることを示す。
• 実装は ZK Email に統合され、MIT ライセンスで公開されており、クライアント側と zkVM（SP1）での展開を評価している。
• メール由来情報の証明に向け、現実的な攻撃者モデルの下でゼロ知識関係を形式化し安全性を分析する。