Lookup Arguments over Rings and Applications to Batch-Verification of RAM ProgramsJonathan BootleJulia Guskindet al.2026AsiaCrypt 2026Conference paper