MUXProofs: Succinct Arguments for Machine Computation from Tuple Lookups

Zijing Di, Lucas Xia, Wilson D. Nguyen, Nirvan Tyagi. MUXProofs: Succinct Arguments for Machine Computation from Tuple Lookups. IACR Cryptology ePrint Archive, 2023:974, 2023. [doi]

Abstract

Abstract is missing.