NotesNotes要点

• First transport-agnostic security model for zkTLS, defined at the application layer.
• zkPoPE requires proof that private input and received reply satisfy a property, and that the reply came from a real execution, not fabrication.
• zkPoPE is formalized as UC ideal functionality F_zkpope.
• Reclaim Protocol UC-realizes F_zkpope under a deployment-aligned trust model and underlies a production system.
• It introduces Distributed-AEAD, a new three-party authenticated-encryption primitive.
• On a lower-mid-range phone, it attests 1200kB in 7.28s, two orders beyond prior zkTLS benchmarks.

• 首个传输无关的zkTLS安全模型，定义在应用层而非TLS层。
• zkPoPE要求证明方证明其私有输入与真实收到的回复满足属性，且回复来自真实双方协议执行，而非伪造。
• 将zkPoPE形式化为UC理想功能F_zkpope。
• Reclaim Protocol在部署对齐信任模型下UC实现F_zkpope，并已支撑生产系统。
• 引入Distributed-AEAD三方认证加密原语，作为协议构建基础。
• 中低端手机7.28秒证明1200kB响应，规模比此前zkTLS基准高两个数量级。

• zkTLS向け初の輸送非依存セキュリティモデルで、TLS層ではなく応用層で定義される。
• zkPoPEは、秘密入力と受信返答が性質を満たし、返答が実プロトコル実行に由来することを示す。
• zkPoPEはUC理想機能F_zkpopeとして形式化される。
• Reclaim Protocolは展開整合型信頼モデルの下でF_zkpopeをUC実現し、本番システムを支える。
• 三者認証暗号プリミティブDistributed-AEADを導入する。
• 中低端スマホで1200kB応答を7.28秒で証明し、従来zkTLSベンチを2桁上回る。