a16z: “Chất lượng chuỗi mạnh” đảm bảo mỗi người đặt cược đều có một không gian riêng trong khối
Tuyển chọn TechFlowTuyển chọn TechFlow
a16z: “Chất lượng chuỗi mạnh” đảm bảo mỗi người đặt cược đều có một không gian riêng trong khối
Từ chất lượng chuỗi đến chất lượng chuỗi mạnh: Trong kỷ nguyên thông lượng cao, làm thế nào để thực sự đạt được khẩu hiệu “Giao dịch của tôi, tôi tự quyết định”.
Chuyên sâu báo cáo Web3Tác giả: @ittaia, @PGarimidi và @jneu_net
Biên dịch: AididiaoJP, Foresight News
Chất lượng chuỗi (Chain Quality – CQ) là một thuộc tính cốt lõi của blockchain. Một cách diễn giải đơn giản:
Nếu bạn nắm giữ 3% tổng số tài sản đã đặt cược (staked), thì trong khoảng thời gian trung bình, bạn sẽ kiểm soát được 3% không gian khối (block space).
Đối với các blockchain sơ khai có thông lượng thấp, chất lượng chuỗi đã đủ đáp ứng yêu cầu. Tuy nhiên, các blockchain hiện đại có băng thông lớn hơn nhiều, cho phép mỗi khối chứa một lượng giao dịch rất lớn.
Điều này dẫn đến một khái niệm mạnh hơn và tinh vi hơn — không chỉ quan tâm đến tỷ lệ không gian khối trung bình theo thời gian, mà còn tập trung vào cách phân chia không gian khối bên trong từng khối riêng lẻ. Chúng ta gọi đây là «chất lượng chuỗi mạnh» (Strong Chain Quality – SCQ):
Nếu bạn nắm giữ 3% tổng số tài sản đã đặt cược, thì trong mỗi khối, bạn đều kiểm soát được 3% không gian khối.
Về bản chất, thuộc tính này trao cho các bên liên quan một «làn đường ảo» (virtual lane) bên trong blockchain có thông lượng cao, từ đó đảm bảo giao dịch của họ được đưa vào khối.
«Chất lượng chuỗi» trong blockchain
Một trong những đổi mới then chốt của Bitcoin — ngày nay gần như mọi blockchain đều sở hữu — là việc tích hợp cơ chế phần thưởng dành riêng cho người đề xuất khối ngay trong giao thức: Bên thành công trong việc gắn khối vào máy trạng thái sẽ nhận được cả tiền xu mới được đúc và phí giao dịch. Những phần thưởng này do hàm chuyển đổi trạng thái quy định và cuối cùng phản ánh trong trạng thái hệ thống.
Trong mô hình tính toán phân tán truyền thống, các thực thể tham gia được phân loại thành các bên trung thực và các bên độc hại. Việc thưởng cho hành vi trung thực là không cần thiết, bởi vì hành vi trung thực vốn là giả định mặc định trong mô hình này.
Trong mô hình kinh tế mật mã (cryptoeconomic model), các thực thể tham gia được xem là những tác nhân lý tính, với hàm lợi ích (utility function) có thể chưa biết. Mục tiêu là thiết kế các cơ chế khuyến khích sao cho khi các thực thể này theo đuổi tối đa hóa lợi nhuận cá nhân, thì hành vi của họ tự nhiên sẽ phù hợp với sự vận hành thành công của giao thức. Kết hợp với cơ chế phần thưởng nội tại trong giao thức, ta có thể đưa ra định nghĩa lý tưởng hóa sau đây về chất lượng chuỗi:
Chất lượng chuỗi (CQ): Một liên minh nắm giữ X% tổng tài sản đã đặt cược sẽ có xác suất X% trở thành người đề xuất khối cho mỗi khối được đưa vào chuỗi, sau Thời điểm Ổn định Toàn cục (GST – Global Stability Time).
Nếu một chuỗi lệch khỏi yêu cầu về chất lượng chuỗi, điều này có thể khiến một số liên minh thu được phần thưởng vượt quá tỷ lệ thông thường, từ đó làm suy yếu động lực để hành xử trung thực và đe dọa an ninh của giao thức.
Nhiều blockchain hiện nay sử dụng «cơ chế luân phiên người lãnh đạo ngẫu nhiên dựa trên trọng số tài sản đã đặt cược» nhằm đáp ứng hoặc hướng tới đạt được thuộc tính này. Các thách thức điển hình hiện nay bao gồm: vấn đề «khai thác tư lợi» (selfish mining) trong Bitcoin; vấn đề kháng cự với phân nhánh đuôi (tail fork resistance) trong Monad; và các vấn đề trong giao thức LMD GHOST của Ethereum.
Nguồn gốc của «chất lượng chuỗi mạnh»
Khi không gian khối đủ dồi dào, chúng ta không nhất thiết phải giao toàn bộ nội dung khối cho một người đề xuất duy nhất. Thay vào đó, không gian khối trong cùng một khối có thể được chia sẻ bởi nhiều thực thể tham gia. Định nghĩa kinh tế mật mã về «chất lượng chuỗi mạnh» chính là sự thể hiện rõ ràng của tư tưởng này:
Chất lượng chuỗi mạnh (SCQ): Một liên minh nắm giữ X% tổng tài sản đã đặt cược sẽ kiểm soát được X% không gian khối trong mỗi khối, sau Thời điểm Ổn định Toàn cục (GST).
Thuộc tính lý tưởng này ngầm dẫn đến khái niệm trừu tượng «làn đường ảo». Nói cách khác, liên minh thực tế kiểm soát một tỷ lệ nhất định không gian khối chuyên biệt trong mỗi khối.
Xét về góc độ kinh tế, sở hữu một làn đường ảo tương đương với nắm giữ một tài sản sản xuất mang lại thu nhập — nguồn thu này có thể đến từ phí giao dịch hoặc từ MEV (Giá trị Khai thác Tối đa – Maximum Extractable Value). Các thực thể bên ngoài sẽ cạnh tranh để giành và duy trì các làn đường này thông qua việc đặt cược tài sản, từ đó tạo ra nhu cầu bền vững đối với đồng tiền lớp 1 (L1) nền tảng. Giá trị kinh tế mà một làn đường có thể tạo ra càng lớn, thì động lực để các bên cạnh tranh đặt cược tài sản càng mạnh, và giá trị tích lũy được bởi quyền kiểm soát khả năng truy cập vào không gian khối trên lớp 1 cũng càng cao. Thông qua sự trừu tượng hóa này, khả năng chống kiểm duyệt mạnh hơn có thể được chuyển hóa thành thuộc tính hiệu lực SCQ trong giao thức.
Chất lượng chuỗi mạnh và khả năng chống kiểm duyệt
Các nghiên cứu gần đây cho thấy các giao thức chống kiểm duyệt (anti-censorship protocols) rất quan trọng. Những giao thức như vậy không chỉ đảm bảo đầu vào từ các bên trung thực cuối cùng sẽ được đưa vào, mà còn đảm bảo chúng được đưa vào ngay lập tức. Chất lượng chuỗi mạnh (SCQ) có thể được xem là sự mở rộng của thuộc tính này trong bối cảnh dung lượng khối bị giới hạn.
Trong thực tiễn, nếu khối lượng giao dịch chờ xử lý vượt quá không gian khối sẵn có, thì không một giao thức nào có thể đáp ứng đầy đủ yêu cầu chống kiểm duyệt ở mức lý tưởng. SCQ tiếp cận giới hạn này bằng một tư duy thực tế hơn: Nó không đòi hỏi tất cả giao dịch trung thực luôn được đưa vào, mà thay vào đó cấp cho mỗi nút đã đặt cược một «ngân sách», đảm bảo rằng trong phạm vi ngân sách đó, giao dịch của nút đó sẽ được đưa vào.
Giao thức MCP được đề xuất như một thành phần bổ sung nằm trên các giao thức đồng thuận kiểu PBFT (Byzantine Fault Tolerance) hiện có nhằm trang bị cho chúng khả năng chống kiểm duyệt. Giao thức này đồng thời đáp ứng yêu cầu SCQ — nó phân bổ không gian khối cho người đề xuất theo tỷ lệ tài sản đã đặt cược. Các giao thức BFT dựa trên Đồ thị Có Hướng Không Chu trình (DAG – Directed Acyclic Graph) hiện có cung cấp một cách triển khai bộ nhớ tạm (mempool) đa người ghi (multi-writer), nhờ đó cũng đạt được một mức độ khả năng chống kiểm duyệt nhất định.
Việc triển khai chuẩn của các giao thức này thường không thỏa mãn nghiêm ngặt SCQ, do cho phép người lãnh đạo lựa chọn trì hoãn một số tập con giao dịch nhất định. Tuy nhiên, chỉ cần sửa đổi nhẹ các giao thức này là có thể khôi phục lại SCQ. Một hướng liên quan là «buộc đưa vào giao dịch» (forced transaction inclusion), nhằm giảm thiểu hành vi kiểm duyệt.
MCP còn chứng minh cách thức triển khai một thuộc tính ẩn mạnh hơn. Nhờ thuộc tính này, các bên liên quan có thể tạo ra các làn đường riêng tư ảo, nội dung trong các làn đường này chỉ được tiết lộ khi toàn bộ khối được công bố ra bên ngoài. Chúng tôi sẽ trình bày chi tiết hơn về vấn đề này trong các bài viết tiếp theo.
Làm thế nào để đạt được chất lượng chuỗi mạnh
Để đạt được chất lượng chuỗi mạnh sau Thời điểm Ổn định Toàn cục (GST), chìa khóa nằm ở việc đảm bảo người đề xuất không thể tùy tiện kiểm duyệt đầu vào từ các bên liên quan. Điều này có thể thực hiện được thông qua một giao thức hai vòng. Trên nền tảng hầu hết các giao thức BFT dựa trên khái niệm «view» (góc nhìn), chỉ cần thực hiện hai thay đổi nhỏ:
- Vòng một: Mỗi thực thể tham gia gửi đầu vào đã được xác thực của mình tới tất cả các thực thể tham gia khác.
- Vòng hai: Mỗi thực thể tham gia, nếu nhận được đầu vào đã được xác thực từ thực thể i, sẽ thêm i vào danh sách đưa vào (inclusion list) của riêng mình. Sau đó, thực thể này gửi danh sách đưa vào của mình tới người lãnh đạo. Hành động này tương đương với cam kết rằng thực thể chỉ chấp nhận khối nào chứa đầy đủ tất cả đầu vào nằm trong danh sách đưa vào của mình.
- Đề xuất BFT: Người lãnh đạo, sau khi nhận được các tin nhắn này, sẽ đưa vào khối toàn bộ phần hợp (union) của các danh sách đưa vào đã nhận được.
- Bỏ phiếu BFT: Một thực thể chỉ bỏ phiếu chấp thuận (vote yes) nếu khối đó chứa đầy đủ tất cả đầu vào nằm trong danh sách đưa vào của chính thực thể đó.
Rõ ràng, từ bản phác thảo giao thức này, có thể xây dựng nên một giao thức hoàn chỉnh. Giao thức này sẽ đáp ứng được chất lượng chuỗi mạnh sau Thời điểm Ổn định Toàn cục (GST), cung cấp khả năng chống kiểm duyệt và duy trì tính hoạt động (liveness) khi người lãnh đạo là trung thực. Nếu muốn đạt được SCQ ngay cả trước GST, cần đợi đủ số lượng (số lượng tối thiểu hợp lệ – quorum) các giá trị hoặc danh sách trong mỗi vòng. Chúng tôi sẽ trình bày chi tiết hơn về giao thức này và các dạng mở rộng của nó trong các bài viết tiếp theo.
Các nghiên cứu gần đây cho thấy, để đạt được chất lượng chuỗi mạnh và khả năng chống kiểm duyệt, cần bổ sung thêm hai vòng (như trong bản phác thảo giao thức nêu trên) lên trên các vòng bỏ phiếu tiêu chuẩn trong giao thức BFT thông thường. Chúng tôi cũng sẽ trình bày chi tiết kết quả này trong các bài viết tiếp theo.
Mặc dù chất lượng chuỗi mạnh (SCQ) quy định tỷ lệ không gian khối mà một liên minh có thể kiểm soát, nhưng nó không hoàn toàn xác định thứ tự sắp xếp các giao dịch bên trong khối. SCQ có thể hiểu là: dành trước một không gian cho mỗi nút đã đặt cược, nhưng không đưa ra bất kỳ đảm bảo nào về thứ tự các giao dịch trong không gian đó.
Điều này mở ra một không gian nghiên cứu phong phú cho việc thiết kế cơ chế sắp xếp giao dịch. Một cơ chế sắp xếp tốt có tiềm năng nâng cao hơn nữa tính công bằng và hiệu quả trong hệ sinh thái blockchain. Một hướng đáng chú ý là sắp xếp giao dịch dựa trên phí ưu tiên (priority fee).
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
a16z
