@iakovenkos suggested we can probably make a memory-time tradeoff to take advantage of the environment in which we're performing those Verifications
@iakovenkos suggested we can probably make a memory-time tradeoff to take advantage of the environment in which we're performing those Verifications