Polynomial IOPs for memory consistency checks in zero-knowledge virtual machines
scientific article; zbMATH DE number 7871947
scientific article