document sha-256 · merkle proof json · bitcoin block header · inclusion walk · verified failed verdict · runs locally
document hash + merkle proof · or tx list + 80-byte header