How to Authenticate a Non-Deterministic Computation

Damiano Abram, Giulio Malavolta, Lawrence Roy. How to Authenticate a Non-Deterministic Computation. IACR Cryptology ePrint Archive, 2026:741, 2026. [doi]

Abstract

Abstract is missing.