implement HashSalsa208Sha256Verify helper