Bitcoin không phải BFT nghiêm ngặt, mà là cơ chế đồng thuận xác suất đánh đổi bằng giả định về năng lực tính toán
Cơ chế đồng thuận của Bitcoin không phải là sao chép máy trạng thái chịu lỗi Byzantine nghiêm ngặt (BFT-SMR) theo nghĩa truyền thống, mà là một phương thức triển khai gần đúng, bất đồng bộ và dựa trên xác suất. Sự khác biệt này bắt nguồn từ việc Bitcoin theo đuổi tính mở đến mức tối đa: mọi nút đều có thể tự do tham gia hoặc rời khỏi mạng, khiến các giả định về tập nút cố định và truyền thông đồng bộ—vốn là nền tảng của các giao thức BFT kinh điển—không còn đúng. Để chống chịu lỗi Byzantine trong môi trường mở, hay nói chính xác hơn là chống lại các cuộc tấn công Sybil, Bitcoin thay thế giả định an toàn truyền thống bằng giả định về năng lực tính toán. Cốt lõi của sự chuyển đổi này là thiết lập mối liên hệ chặt chẽ giữa năng lực tính toán và nhiệm vụ tính toán thực tế; logic nền tảng của nó bắt nguồn sâu sắc từ lý thuyết độ phức tạp tính toán. Trong mô hình tiên tri ngẫu nhiên (Random Oracle Model, RO), giao thức lấy số lần truy vấn hàm băm làm đơn vị tài nguyên và giả định rằng mỗi truy vấn tạo ra một kết quả độc lập, phân bố đều. Trong môi trường lý tưởng hóa này, xác suất tìm được bằng chứng công việc (PoW) hợp lệ hoàn toàn do độ khó của mạng quyết định, qua đó ngân sách truy vấn của kẻ tấn công trực tiếp giới hạn lượng công việc hợp lệ mà họ có thể tạo ra. Dù tạo ra bao nhiêu danh tính giả, kẻ tấn công cũng không thể vượt quá giới hạn ngân sách tính toán này; nhờ đó, khả năng chống tấn công Sybil được thiết lập. Tuy nhiên, thế giới thực không phải là mô hình RO lý tưởng. Khi rời khỏi khuôn khổ trừu tượng ấy, giao thức phải dựa vào các giả định cụ thể về độ khó tính toán để định lượng khả năng tăng tốc của kẻ tấn công. Đây chính là lĩnh vực then chốt mà độ phức tạp chi tiết (Fine-grained Complexity) phát huy vai trò: chúng ta cần bảo đảm định lượng về chi phí tính toán, và chênh lệch hiệu suất giữa thuật toán trung thực với thuật toán tấn công tối ưu trực tiếp quyết định tỷ lệ tài nguyên độc hại tối đa mà giao thức có thể chịu đựng. Công trình dựa trên Beacon năm 2024 tiếp tục phát triển PoW theo hướng này: Beacon cung cấp đúng thời điểm các dữ liệu ngẫu nhiên để tạo thách thức mới; tính an toàn được bảo đảm bởi các giả định về độ khó tính toán, chứ không chỉ dựa vào tính khó đoán của hàm băm.
Chìa khóa để chuyển nhiệm vụ tính toán thành tính an toàn của đồng thuận nằm ở việc xác định bản chất của “chuỗi” và mối liên kết giữa chuỗi với lịch sử. Trong mô hình trừu tượng BFT-SMR kinh điển, mục tiêu của giao thức là thiết lập thứ tự tổng thể (Total Order) cho một chuỗi thao tác. Mỗi nút trung thực, dựa trên các thông điệp của giao thức, xác định cục bộ tiền tố nhật ký có thể cam kết; đồng thuận bảo đảm các quyết định cục bộ này tương thích với nhau. Trong trường hợp này, số thứ tự trực tiếp biểu thị thứ tự thực thi thao tác, bởi nội dung được cam kết ở mỗi vị trí đã được giao thức bảo đảm là nhất quán. Nhưng trong Bitcoin, chuỗi là một biểu diễn lịch sử có thứ tự được xây dựng thông qua công việc tính toán; do đó, cần quy định rõ mỗi bằng chứng công việc hỗ trợ đoạn lịch sử nào. Nếu chỉ gắn chiều cao cho khối thì không thể xác định khối đó thuộc về nhánh nào: một khối ở độ cao 100 sẽ nối tiếp khối nào ở độ cao 99? Điều này quyết định nhánh lịch sử mà nó kế thừa. Bitcoin đưa hàm băm của khối trước (Previous Hash) vào đầu vào PoW, buộc mỗi khối phải tham chiếu rõ ràng đến khối cha của nó. Lần theo các tham chiếu hàm băm ngược về khối khởi nguyên sẽ xác định duy nhất toàn bộ lịch sử mà khối đó kế thừa, đồng thời xác định độ cao của nó trong lịch sử. Cơ chế Previous Hash tổ chức các công việc đào độc lập thành chuỗi, gắn mỗi bằng chứng công việc với một nhánh lịch sử cụ thể và cho phép cộng dồn công việc trên cùng một nhánh.
Cơ chế liên kết này đồng thời quy định quy tắc kéo dài chuỗi và đặc tính chống đào trước. Giả sử đầu chuỗi hiện tại ở độ cao h; để kéo dài chuỗi đó, cần đào khối tiếp theo bằng cách lấy hàm băm của khối này làm đầu vào. Nếu vẫn dùng hàm băm của khối cha ở độ cao h-1, khối được đào sẽ thuộc về một nhánh cạnh tranh ở độ cao h, chứ không làm tăng độ dài hoặc tổng công việc của chuỗi chính hiện tại. Muốn kế thừa công việc mà chuỗi dài nhất hiện tại đã tích lũy, phải tiếp tục tính toán dựa trên đầu chuỗi đó. Cơ chế này hàm ý một ràng buộc an toàn quan trọng: các nút độc hại không thể giành lợi thế bổ sung bằng cách dự đoán hoặc đào trước. Trong mô hình RO, không thể dự đoán hiệu quả hàm băm cụ thể của một khối chưa được tạo ra, nên cũng không thể chuẩn bị trước công việc cho khối kế tiếp. Kẻ tấn công có thể đào trước một nhánh rẽ của riêng mình, nhưng sau khi các nút trung thực tạo ra khối mới, họ không thể “chuyển” công việc đã đào trước sang phần tiếp nối khối đó để kế thừa công việc mới nhất. Muốn kế thừa công việc của khối mới nhất, phải tính toán theo thời gian thực dựa trên đầu chuỗi hiện tại. Đặc tính này bảo đảm tính kịp thời và không thể chuyển giao của bằng chứng công việc, ngăn việc tích trữ tài nguyên làm sai lệch quá trình đồng thuận.
Nhìn ở tầm vĩ mô, đồng thuận Nakamoto kết nối độ phức tạp tính toán, mật mã học và tính toán phân tán thành một chuỗi lập luận hoàn chỉnh. Độ phức tạp tính toán cung cấp cơ sở định lượng cho chi phí công việc, bảo đảm rằng kẻ tấn công phải bỏ ra lượng tài nguyên tỷ lệ thuận với các nút trung thực mới có thể tác động đến đồng thuận. Mật mã học xây dựng các chứng nhận công việc có thể được kiểm chứng công khai, đồng thời chứng minh rằng những chứng nhận này vẫn đòi hỏi mức chi phí tính toán tương ứng ngay cả trong các trường hợp chọn dữ liệu độc hại, tiền xử lý và tái sử dụng, qua đó ngăn việc làm giả hoặc tái sử dụng kém hiệu quả bằng chứng công việc. Tính toán phân tán quy định mô hình mạng đồng bộ và mô hình đối thủ, thiết kế quy tắc lựa chọn chuỗi (quy tắc chuỗi dài nhất) cùng cơ chế xác nhận, chuyển các ràng buộc về tài nguyên thành năng lực chịu lỗi trong khuôn khổ BFT-SMR. Logic cốt lõi của toàn hệ thống là chuyển tỷ lệ tài nguyên tính toán của kẻ tấn công thành các ràng buộc lỗi mà giao thức phân tán có thể xử lý, rồi từ đó thiết lập đồng thuận. Thành công hay thất bại của Bitcoin rốt cuộc không phụ thuộc vào việc nó có thể đạt được khả năng chịu lỗi Byzantine tuyệt đối hay không, mà phụ thuộc vào việc nó có thể duy trì tính hiệu lực của giả định về năng lực tính toán, cũng như mối liên hệ ổn định giữa chi phí tính toán và tính an toàn của đồng thuận trong môi trường mở, phi tập trung hay không. Khi hiệu suất phần cứng tăng lên và phân bố năng lực tính toán thay đổi, tính ổn định của mối liên hệ này sẽ liên tục chịu thử thách. Tuy vậy, logic nền tảng của nó—đổi chi phí tính toán lấy niềm tin—vẫn là cơ sở kiến trúc có sức bền cao nhất trong các hệ thống tiền tệ phi tập trung hiện nay.
Hãy theo dõi tôi để không bỏ lỡ bài đọc nhanh diễn biến thị trường tiếp theo.
Cơ chế đồng thuận của Bitcoin không phải là sao chép máy trạng thái chịu lỗi Byzantine nghiêm ngặt (BFT-SMR) theo nghĩa truyền thống, mà là một phương thức triển khai gần đúng, bất đồng bộ và dựa trên xác suất. Sự khác biệt này bắt nguồn từ việc Bitcoin theo đuổi tính mở đến mức tối đa: mọi nút đều có thể tự do tham gia hoặc rời khỏi mạng, khiến các giả định về tập nút cố định và truyền thông đồng bộ—vốn là nền tảng của các giao thức BFT kinh điển—không còn đúng. Để chống chịu lỗi Byzantine trong môi trường mở, hay nói chính xác hơn là chống lại các cuộc tấn công Sybil, Bitcoin thay thế giả định an toàn truyền thống bằng giả định về năng lực tính toán. Cốt lõi của sự chuyển đổi này là thiết lập mối liên hệ chặt chẽ giữa năng lực tính toán và nhiệm vụ tính toán thực tế; logic nền tảng của nó bắt nguồn sâu sắc từ lý thuyết độ phức tạp tính toán. Trong mô hình tiên tri ngẫu nhiên (Random Oracle Model, RO), giao thức lấy số lần truy vấn hàm băm làm đơn vị tài nguyên và giả định rằng mỗi truy vấn tạo ra một kết quả độc lập, phân bố đều. Trong môi trường lý tưởng hóa này, xác suất tìm được bằng chứng công việc (PoW) hợp lệ hoàn toàn do độ khó của mạng quyết định, qua đó ngân sách truy vấn của kẻ tấn công trực tiếp giới hạn lượng công việc hợp lệ mà họ có thể tạo ra. Dù tạo ra bao nhiêu danh tính giả, kẻ tấn công cũng không thể vượt quá giới hạn ngân sách tính toán này; nhờ đó, khả năng chống tấn công Sybil được thiết lập. Tuy nhiên, thế giới thực không phải là mô hình RO lý tưởng. Khi rời khỏi khuôn khổ trừu tượng ấy, giao thức phải dựa vào các giả định cụ thể về độ khó tính toán để định lượng khả năng tăng tốc của kẻ tấn công. Đây chính là lĩnh vực then chốt mà độ phức tạp chi tiết (Fine-grained Complexity) phát huy vai trò: chúng ta cần bảo đảm định lượng về chi phí tính toán, và chênh lệch hiệu suất giữa thuật toán trung thực với thuật toán tấn công tối ưu trực tiếp quyết định tỷ lệ tài nguyên độc hại tối đa mà giao thức có thể chịu đựng. Công trình dựa trên Beacon năm 2024 tiếp tục phát triển PoW theo hướng này: Beacon cung cấp đúng thời điểm các dữ liệu ngẫu nhiên để tạo thách thức mới; tính an toàn được bảo đảm bởi các giả định về độ khó tính toán, chứ không chỉ dựa vào tính khó đoán của hàm băm.
Chìa khóa để chuyển nhiệm vụ tính toán thành tính an toàn của đồng thuận nằm ở việc xác định bản chất của “chuỗi” và mối liên kết giữa chuỗi với lịch sử. Trong mô hình trừu tượng BFT-SMR kinh điển, mục tiêu của giao thức là thiết lập thứ tự tổng thể (Total Order) cho một chuỗi thao tác. Mỗi nút trung thực, dựa trên các thông điệp của giao thức, xác định cục bộ tiền tố nhật ký có thể cam kết; đồng thuận bảo đảm các quyết định cục bộ này tương thích với nhau. Trong trường hợp này, số thứ tự trực tiếp biểu thị thứ tự thực thi thao tác, bởi nội dung được cam kết ở mỗi vị trí đã được giao thức bảo đảm là nhất quán. Nhưng trong Bitcoin, chuỗi là một biểu diễn lịch sử có thứ tự được xây dựng thông qua công việc tính toán; do đó, cần quy định rõ mỗi bằng chứng công việc hỗ trợ đoạn lịch sử nào. Nếu chỉ gắn chiều cao cho khối thì không thể xác định khối đó thuộc về nhánh nào: một khối ở độ cao 100 sẽ nối tiếp khối nào ở độ cao 99? Điều này quyết định nhánh lịch sử mà nó kế thừa. Bitcoin đưa hàm băm của khối trước (Previous Hash) vào đầu vào PoW, buộc mỗi khối phải tham chiếu rõ ràng đến khối cha của nó. Lần theo các tham chiếu hàm băm ngược về khối khởi nguyên sẽ xác định duy nhất toàn bộ lịch sử mà khối đó kế thừa, đồng thời xác định độ cao của nó trong lịch sử. Cơ chế Previous Hash tổ chức các công việc đào độc lập thành chuỗi, gắn mỗi bằng chứng công việc với một nhánh lịch sử cụ thể và cho phép cộng dồn công việc trên cùng một nhánh.
Cơ chế liên kết này đồng thời quy định quy tắc kéo dài chuỗi và đặc tính chống đào trước. Giả sử đầu chuỗi hiện tại ở độ cao h; để kéo dài chuỗi đó, cần đào khối tiếp theo bằng cách lấy hàm băm của khối này làm đầu vào. Nếu vẫn dùng hàm băm của khối cha ở độ cao h-1, khối được đào sẽ thuộc về một nhánh cạnh tranh ở độ cao h, chứ không làm tăng độ dài hoặc tổng công việc của chuỗi chính hiện tại. Muốn kế thừa công việc mà chuỗi dài nhất hiện tại đã tích lũy, phải tiếp tục tính toán dựa trên đầu chuỗi đó. Cơ chế này hàm ý một ràng buộc an toàn quan trọng: các nút độc hại không thể giành lợi thế bổ sung bằng cách dự đoán hoặc đào trước. Trong mô hình RO, không thể dự đoán hiệu quả hàm băm cụ thể của một khối chưa được tạo ra, nên cũng không thể chuẩn bị trước công việc cho khối kế tiếp. Kẻ tấn công có thể đào trước một nhánh rẽ của riêng mình, nhưng sau khi các nút trung thực tạo ra khối mới, họ không thể “chuyển” công việc đã đào trước sang phần tiếp nối khối đó để kế thừa công việc mới nhất. Muốn kế thừa công việc của khối mới nhất, phải tính toán theo thời gian thực dựa trên đầu chuỗi hiện tại. Đặc tính này bảo đảm tính kịp thời và không thể chuyển giao của bằng chứng công việc, ngăn việc tích trữ tài nguyên làm sai lệch quá trình đồng thuận.
Nhìn ở tầm vĩ mô, đồng thuận Nakamoto kết nối độ phức tạp tính toán, mật mã học và tính toán phân tán thành một chuỗi lập luận hoàn chỉnh. Độ phức tạp tính toán cung cấp cơ sở định lượng cho chi phí công việc, bảo đảm rằng kẻ tấn công phải bỏ ra lượng tài nguyên tỷ lệ thuận với các nút trung thực mới có thể tác động đến đồng thuận. Mật mã học xây dựng các chứng nhận công việc có thể được kiểm chứng công khai, đồng thời chứng minh rằng những chứng nhận này vẫn đòi hỏi mức chi phí tính toán tương ứng ngay cả trong các trường hợp chọn dữ liệu độc hại, tiền xử lý và tái sử dụng, qua đó ngăn việc làm giả hoặc tái sử dụng kém hiệu quả bằng chứng công việc. Tính toán phân tán quy định mô hình mạng đồng bộ và mô hình đối thủ, thiết kế quy tắc lựa chọn chuỗi (quy tắc chuỗi dài nhất) cùng cơ chế xác nhận, chuyển các ràng buộc về tài nguyên thành năng lực chịu lỗi trong khuôn khổ BFT-SMR. Logic cốt lõi của toàn hệ thống là chuyển tỷ lệ tài nguyên tính toán của kẻ tấn công thành các ràng buộc lỗi mà giao thức phân tán có thể xử lý, rồi từ đó thiết lập đồng thuận. Thành công hay thất bại của Bitcoin rốt cuộc không phụ thuộc vào việc nó có thể đạt được khả năng chịu lỗi Byzantine tuyệt đối hay không, mà phụ thuộc vào việc nó có thể duy trì tính hiệu lực của giả định về năng lực tính toán, cũng như mối liên hệ ổn định giữa chi phí tính toán và tính an toàn của đồng thuận trong môi trường mở, phi tập trung hay không. Khi hiệu suất phần cứng tăng lên và phân bố năng lực tính toán thay đổi, tính ổn định của mối liên hệ này sẽ liên tục chịu thử thách. Tuy vậy, logic nền tảng của nó—đổi chi phí tính toán lấy niềm tin—vẫn là cơ sở kiến trúc có sức bền cao nhất trong các hệ thống tiền tệ phi tập trung hiện nay.
Hãy theo dõi tôi để không bỏ lỡ bài đọc nhanh diễn biến thị trường tiếp theo.