Tag: claim and proof array