Check attested residues against sequence