List<int> right256Bits(Uint8List hmacSha512Bits) { return hmacSha512Bits.getRange(32, hmacSha512Bits.length).toList(); }