Tài liệu tham khảo Cơ chế Đồng thuận

Các luồng công việc liên quan: Gửi Sự kiện · Đồng thuận BFT

HieraChain hỗ trợ ba cơ chế đồng thuận có thể cắm (pluggable), được cấu hình thông qua biến môi trường HRC_CONSENSUS_TYPE. Luồng gửi sự kiện (Gửi Sự kiện) là hoàn toàn giống nhau bất kể cơ chế nào được chọn — chỉ khác biệt ở bước finalize_block().

So sánh các Cơ chế

Đồng thuận Ủy quyền (Proof of Authority - PoA)

Kích hoạt khi HRC_CONSENSUS_TYPE=proof_of_authority (mặc định). Một nút ủy quyền duy nhất được đăng ký trước sẽ ký khối bằng khóa riêng tư Ed25519 của nó.

sequenceDiagram
    autonumber
    participant OS as ⚙️ OrderingService
    participant POA as 🔏 ProofOfAuthority

    OS->>POA: finalize_block(block, authority_id)
    POA->>POA: is_authority(authority_id)
    Note right of POA: Từ chối nếu không có trong danh sách ủy quyền
    POA->>POA: _check_block_timing(block, previous_block)
    Note right of POA: block.timestamp - prev.timestamp >= block_interval / 2
    POA->>POA: _validate_block_events()
    Note right of POA: Quét tất cả các sự kiện để tìm cụm từ bị cấm
    POA->>POA: _create_authority_signature(block, authority_id, private_key)
    Note right of POA: Chữ ký Ed25519 (hash + authority_id + timestamp)<br/>Chuyển về KeyPair ngẫu nhiên trong chế độ thử nghiệm
    POA->>POA: Thêm sự kiện consensus_finalization<br/>{ authority_id, authority_signature, finalized_at }
    POA-->>OS: Khối đã Hoàn thiện ✅

Các Lớp Quan trọng — PoA

Đồng thuận Liên minh (Proof of Federation - PoF)

Kích hoạt khi HRC_CONSENSUS_TYPE=proof_of_federation. Trưởng nhóm (Leader) được bầu chọn một cách xác định bằng chỉ số khối. Bắt buộc kiểm tra bằng chứng ZK.

sequenceDiagram
    autonumber
    participant OS as ⚙️ OrderingService
    participant POF as 🤝 ProofOfFederation

    OS->>POF: finalize_block(block, authority_id)
    POF->>POF: can_create_block(authority_id)
    Note right of POF: Yêu cầu >= min_validators (mặc định 3)
    POF->>POF: get_current_leader(block.index)<br/>= Validators[ block.index % n ]
    POF->>POF: validate_block_proposer(block.index, authority_id)
    Note right of POF: Từ chối nếu authority_id != trưởng nhóm dự kiến
    POF->>POF: _validate_block_events()
    Note right of POF: Quét tất cả các sự kiện để tìm cụm từ bị cấm
    POF->>POF: _verify_block_zk_proof(block, previous_block)
    Note right of POF: Bắt buộc — làm hỏng khối nếu ZK không hợp lệ
    POF->>POF: _create_federation_signature(block, leader_id)<br/>SHA-256(hash:leader_id:block.index:time)
    POF->>POF: Thêm sự kiện consensus_finalization<br/>{ leader_id, validators_count, round, signature }
    POF-->>OS: Khối đã Hoàn thiện ✅

Các Lớp Quan trọng — PoF

Chống lỗi Byzantine (BFT / PBFT)

Kích hoạt khi HRC_CONSENSUS_TYPE=byzantine_fault_tolerant. Đầy đủ quy trình PBFT 3 giai đoạn. Xem Đồng thuận BFT để biết luồng chi tiết.

Yêu cầu: Cần n ≥ 3f + 1 nút để dung thứ tối đa f nút bị lỗi hoặc hoạt động sai (lỗi Byzantine).

Thay đổi View (View Change): Nếu trưởng nhóm thất bại trong khoảng thời gian chờ (timeout), view += 1, trưởng nhóm mới = Validators[view % n], giao thức sẽ khởi động lại từ Giai đoạn 1.

Tài liệu Cấu hình