SNARKs with large memory