MUXProofs: Succinct Arguments for Machine Computation from Tuple Lookups. - Zijing Di; Lucas Xia; Wilson D. Nguyen; Nirvan Tyagi (IACR Cryptol. ePrint Arch., 2023)

MuxProofs: Succinct Arguments for Machine Computation from Vector Lookups. - Zijing Di; Lucas Xia; Wilson D. Nguyen; Nirvan Tyagi (ASIACRYPT (5), 2024)