BLAKE2¶

1. Khái niệm thuật toán, giải quyết vấn đề gì, bảo vệ cái gì¶

BLAKE2 là họ hàm băm mật mã nhanh, an toàn (hậu duệ của BLAKE). Mục tiêu: thay thế SHA-2/SHA-3 cho checksum, MAC, KDF, và hash table với tốc độ cao. Bảo vệ tính toàn vẹn dữ liệu, chống va chạm (collision resistance), chống preimage; hỗ trợ keyed hashing để đảm bảo tính xác thực.

2. Toán học, công thức (tóm tắt)¶

3. Cách hoạt động¶

Init: tạo vector trạng thái h từ IV và tham số (key, outlen, fanout,…).
Xử lý khối: chia message thành khối kích thước B (64/128 bytes), cập nhật counter t, gọi compression F cho mỗi khối.
Finalize: xử lý khối cuối với flag final, xuất digest length bytes từ h.

4. Cấu trúc dữ liệu¶

Trạng thái nội bộ: h (8 từ), v (16 từ tạm), m (16 từ message block).
Tham số cấu hình (param block): digest_length, key_length, fanout, depth, leaf_length, node_offset, node_depth, inner_length, salt, personal.
Counter t: 128-bit (hai từ) đếm tổng số byte đã xử lý.

5. So sánh với thuật toán khác¶

So với MD5/SHA-1: an toàn hơn, không yếu về va chạm.
So với SHA-2: thường nhanh hơn trên CPU hiện đại; bảo mật tương đương cho mục đích chung.
So với SHA-3: thiết kế khác (sponge vs HAIFA-like); thường BLAKE2 nhanh hơn cho nhiều ứng dụng.
Hỗ trợ keyed hashing trực tiếp (không cần HMAC) nên tiện cho MAC/KDF.

6. Luồng hoạt động (flow)¶

Khởi tạo h với IV và tham số.
Nếu có key, pad key thành một khối đầu.
Lặp: đọc khối message, tăng counter t, gọi compression F.
Ở khối cuối đặt final flag, gọi F.
Trích xuất digest từ h.

flowchart TD
    A["Khởi tạo h (IV + param block)"] --> B{Có key?}
    B -- Có --> C[Pad key thành 1 block; xử lý block key]
    B -- Không --> D[Tiếp tục đọc message]
    C --> D
    D --> E[Đọc khối message]
    E --> F[Cập nhật counter t]
    F --> G["Compress F(h, m, t, final=false)"]
    G --> H{Còn khối?}
    H -- Có --> E
    H -- Không --> I[Đặt final flag]
    I --> J["Compress cuối cùng F(..., final=true)"]
    J --> K["Trích xuất digest (truncate theo outlen)"]

Hold "Alt" / "Option" to enable pan & zoom

graph LR
    h["State h (8 words)"] --> v["v = h || IV"]
    m["Message m (16 words)"] --> v
    t["Counter t (128-bit)"] --> v
    f[Final flag] --> v
    v --> rounds["G rounds (mixing, σ permutation)"]
    rounds --> h2["h' = h xor (v0..7 xor v8..15)"]

Hold "Alt" / "Option" to enable pan & zoom

7. Các sai lầm triển khai phổ biến¶

Sai kích thước từ (dùng 32-bit/64-bit không đúng biến thể).
Không xử lý đúng counter 128-bit khi tổng bytes vượt quá 2^64.
Bỏ quên finalization flag → digest sai hoặc kém an toàn.
Không làm rõ padding cho key hoặc xử lý key như dữ liệu bình thường.
Implement non-constant-time cho thao tác liên quan đến key → rò rỉ thông tin.

8. Threat Model¶

Threats: collision attacks, preimage attacks, length-extension (BLAKE2 không mắc length-extension trong chế độ keyed), side-channel (timing, cache), chosen-prefix.
Khả năng tấn công thực tế phụ thuộc biến thể, độ dài digest, và cách dùng (keystore, KDF, streaming).

9. Biện pháp giảm thiểu¶

Dùng digest đủ dài (>= 256 bit cho bảo mật dài hạn).
Dùng chế độ keyed hoặc dùng HMAC-like construction khi cần authenticate.
Bảo vệ implementation khỏi side-channel: constant-time cho thao tác liên quan key, tránh branch phụ thuộc key.
Kiểm soát input size và xử lý counter đúng.
Dùng thư viện chính thức được review, không tự triển khai nếu không cần thiết.

10. Test Vectors¶

Sử dụng RFC 7693 và bản viết tắt chính thức để kiểm tra: tạo test cases cho empty, short ASCII, long stream, keyed mode, personalization/salt.
Ví dụ kiểm tra cơ bản (kiểm tra tự động với reference implementation):
- empty string → compare digest với vector tham chiếu.
- "abc" → compare với vector tham chiếu.
- keyed("key", "message") → compare.
  (Tài liệu chính thức chứa bảng giá trị hex chi tiết — luôn dùng vector RFC/implementation để kiểm tra.)

11. Code (bỏ qua cũng được)¶

Khuyến nghị: sử dụng implementation đã được audit (libsodium, BLAKE2 reference C, OpenSSL 1.1+/libcrypto nếu hỗ trợ).
Nếu cần minimal pseudocode:
- init(h, param)
- for each block B: t += len(B); compress(h, B, t, final=false)
- compress last block with final=true
- return truncate(h, digest_len)

12. Checklist bảo mật¶

Dùng biến thể phù hợp (BLAKE2b cho 64-bit, BLAKE2s cho 32-bit).
Chọn digest length đủ lớn.
Sử dụng implementation đã audit hoặc chính thức.
Xử lý key và param đúng (padding, param block).
Kiểm tra test vectors (RFC 7693).
Bảo vệ khỏi side-channel nếu dùng key.
Kiểm soát kích thước input và counter overflow.
Đăng ký/ghi nhận personalization/salt khi cần để tránh collision qua sử dụng chung.

Nguồn tham khảo chuẩn: RFC 7693 (BLAKE2) và implementation chính thức để test và test vectors.

13. Đặc điểm và biến thể¶

Đặc điểm chính:
- Rất nhanh trên CPU hiện đại; thiết kế tối ưu cho các ISA 64-bit/32-bit.
- Hỗ trợ keyed hashing (MAC), personalization, salt, và output length biến thiên.
- An toàn theo các thuộc tính mật mã tiêu chuẩn (collision/preimage) với mức bảo mật phụ thuộc digest length.
- Thiết kế mô-đun: compression function nhẹ, dễ streaming và incremental.
- Không phụ thuộc vào cấu trúc sponge → khác với SHA‑3; không cần HMAC khi dùng keyed mode.
Biến thể tiêu biểu:
- BLAKE2b: cho hệ 64-bit, digest tối đa 64 bytes (512 bit), tối ưu cho server/desktop.
- BLAKE2s: cho hệ 32-bit/nhúng, digest tối đa 32 bytes (256 bit).
- BLAKE2bp / BLAKE2sp: biến thể đa luồng (parallel) dùng tree hashing để tận dụng nhiều lõi.
- BLAKE2X: chế độ extendable-output (tạo luồng dài output) dựa trên BLAKE2.
- (Lưu ý) BLAKE3 là họ tiếp theo với thiết kế khác (sinh parallel mạnh hơn) — không phải biến thể trực tiếp của BLAKE2.
Các tính năng triển khai:
- Tree hashing cho dữ liệu lớn / parallel processing.
- Param block cho cấu hình (personalization, salt, fanout, depth, …).
- Hỗ trợ incremental API, streaming và keyed API.

14. Ứng dụng¶

Kiểm tra tính toàn vẹn dữ liệu: checksums, file integrity, deduplication.
MAC / authentication: thay thế HMAC trong nhiều trường hợp bằng keyed BLAKE2.
KDF/PRF: dùng làm thành phần trong KDF/HKDF hoặc PRF; lưu ý cần thiết kế KDF đúng tiêu chuẩn nếu dùng cho mật khẩu.
Content-addressed storage và hash-based IDs (ví dụ: hệ thống lưu trữ, cache, dedupe).
Signatures / certificates: làm hash đầu vào cho chữ ký số.
Network protocols và TLS extensions, file formats, container checksums — nơi cần hash nhanh và an toàn.
Embedded/IoT: BLAKE2s phù hợp cho thiết bị 32-bit.
Không khuyến nghị dùng BLAKE2 như thay thế password hash chuyên dụng (dùng Argon2/Bcrypt/scrypt cho mật khẩu).
Lợi ích thực tế: lựa chọn biến thể theo môi trường (BLAKE2b cho server, BLAKE2s cho nhúng, BLAKE2bp/sp cho đa lõi).
Thực tế: ưu tiên libraries đã audit (libsodium, reference impl., OpenSSL nếu hỗ trợ) thay vì tự triển khai.

Nguồn tham khảo: RFC 7693 và tài liệu implementation cho từng biến thể.