**Algorithm A4:** Verify

```
Function Verify(C, i, tx, proo f Array):
    result ← sha256(tx || i)
   j ← 0
   while j < sizeOf(proofArray) do
        if result < proofArray[j] then
            result ← hash256(result || proo f Array[j])
        else
            result ← hash256(proo f Array[j] || result)
        end
       j ← j + 1
    end
    if C = result then
        return 1
    else
        return 0
    end
```