Formal security analysis of MPC-in-the-head zero-knowledge protocols

Nikolaj Sidorenco, Sabine Oechsner, Bas Spitters. Formal security analysis of MPC-in-the-head zero-knowledge protocols. IACR Cryptology ePrint Archive, 2021:437, 2021. [doi]

Abstract

Abstract is missing.