MuxProofs: Succinct Arguments for Machine Computation from Vector Lookups.

Zijing Di, Lucas Xia, Wilson D. Nguyen, Nirvan Tyagi

Browse the full ASIACRYPT paper archive.