Compact Proofs of Partial Knowledge for Overlapping CNF Formulae

Gennaro Avitabile, Vincenzo Botta, Daniele Friolo, Daniele Venturi 0001, Ivan Visconti. Compact Proofs of Partial Knowledge for Overlapping CNF Formulae. IACR Cryptology ePrint Archive, 2024:1488, 2024. [doi]

Abstract

Abstract is missing.