Offline Memory Checking
https://georgwiese.github.io/crypto-summaries/Concepts/Protocols/Offline-Memory-Checking