[
  "function proveAndClaim(bytes,tuple(bytes,bytes)[])",
  "function proveAndClaimWithResolver(bytes,tuple(bytes,bytes)[],address,address)"
]