SP1 storage proof verifier