A double verification of 32 bytes is cheap