Verify verifies that p is a valid proof of a lookup for key in snap, returning the proved lookup result (val, ok). If the proof is not valid for key in snap, Verify returns a non-nil error.
(snap Snapshot, key Key, proof Proof)
source not stored for this graph (policy: none)
searching dependent graphs…