1. Arun, A., Setty,S., Thaler, J.: Jolt: SNARKs for virtual machines via lookups. In: EUROCRYPT, pp. xx–yy. Springer, Cham (2024)
2. Ben-Sasson, E., Bentov, I., Horesh, Y., Riabzev., M., In: Fast reed-solomon interactive oracle proofs of proximity. In: ICALP (2018)
3. Blum, M., Evans, W., Gemmell, P., Kannan, S., Naor, M.: Checking the correctness of memories. In: FOCS (1991)
4. Boneh, D., Drake, J., Fisch, B., Gabizon, A.: Halo infinite: recursive zk-SNARKs from any additive polynomial commitment scheme. In: Cryptology ePrint Archive, Report 2020/1536 (2020)
5. Lecture Notes in Computer Science;J Bootle,2016