Cyprien Delpech de Saint Guilhem, Emmanuela Orsini, Titouan Tanguy, Michiel Verbauwhede. Efficient Proof of RAM Programs from Any Public-Coin Zero-Knowledge System. In Clemente Galdi, Stanislaw Jarecki, editors, Security and Cryptography for Networks - 13th International Conference, SCN 2022, Amalfi, Italy, September 12-14, 2022, Proceedings. Volume 13409 of Lecture Notes in Computer Science, pages 615-638, Springer, 2022. [doi]
Abstract is missing.