An Efficient SNARK for Field-Programmable and RAM Circuits. - Jehyuk Jang; Jamie Judd (IACR Cryptol. ePrint Arch., 2024)