Security Bounds for Proof-Carrying Data from Straightline Extractors

Alessandro Chiesa, Ziyi Guan, Shahar Samocha, Eylon Yogev. Security Bounds for Proof-Carrying Data from Straightline Extractors. IACR Cryptology ePrint Archive, 2023:1646, 2023. [doi]

Abstract

Abstract is missing.