Tag: a claim and proof array