a16z: “Chất lượng chuỗi mạnh” đảm bảo mỗi người đặt cược đều có 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ó 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 làm chủ”?
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ó có nghĩa là:
Nếu bạn nắm giữ 3% tổng số token được đặt cược (staked), thì về mặt trung bình trong khoảng thời gian dài, 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, khái niệm chất lượng chuỗi đã đủ phù hợp. Tuy nhiên, các blockchain hiện đại có băng thông lớn hơn nhiều, và mỗi khối có thể 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ệ trung bình về không gian khối theo thời gian, mà còn tập trung vào cách phân chia không gian khối 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ố token được đặ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 cho phép các bên liên quan sở hữu một «làn đường ảo» bên trong một blockchain có thông lượng cao, từ đó đảm bảo giao dịch của họ luôn được đưa vào khối.
«Chất lượng chuỗi» trong blockchain
Một trong những đột phá 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 cho người đề xuất khối ngay trong giao thức: Bên thành công trong việc nối khối vào máy trạng thái sẽ nhận được cả tiền thưởng mới được đúc (minted tokens) lẫn phí giao dịch. Các khoản phần thưởng này được quy định bởi hàm chuyển đổi trạng thái 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 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 tác nhân này theo đuổi tối đa hóa lợi nhuận cá nhân, họ vô tình cũng đồng hành cùng 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 của giao thức, chúng 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 số token được đặt cược sẽ có xác suất X% trở thành người đề xuất mỗi khối được đưa vào chuỗi, sau thời điểm toàn cầu ổn định (GST – Global Stabilization Time).
Nếu một chuỗi lệch khỏi yêu cầu về chất lượng chuỗi, một số liên minh có thể chiếm được phần thưởng vượt mức tỷ lệ thông thường, từ đó làm suy yếu động lực tuân thủ và đe dọa đến an ninh của giao thức.
Nhiều blockchain hiện nay đáp ứng hoặc đang nỗ lực đáp ứng thuộc tính này thông qua «cơ chế luân phiên người lãnh đạo ngẫu nhiên dựa trên trọng số đặt cược». Những thách thức điển hình hiện nay bao gồm vấn đề «đào mỏ vị kỷ» (selfish mining) trong Bitcoin; vấn đề kháng 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.
Sự ra đời 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 để một người đề xuất duy nhất độc quyền toàn bộ nội dung khối. 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 khác nhau. Định nghĩa kinh tế mật mã về «chất lượng chuỗi mạnh» chính là biểu đạt 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 số token được đặ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 toàn cầu ổn định (GST).
Thuộc tính lý tưởng hóa này ngầm dẫn tới 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 dụng 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 — thu nhập này có thể đến từ phí giao dịch hoặc từ giá trị có thể khai thác tối đa (MEV – Maximum Extractable Value). Các thực thể bên ngoài sẽ cạnh tranh để giành và duy trì những làn đường này, chủ yếu thông qua việc đặt cược token, từ đó tạo ra nhu cầu bền vững đối với token 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 cao, thì động lực cạnh tranh để đặt cược token 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 lớn. Thông qua khái niệm trừu tượng 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) đóng vai trò cực kỳ quan trọng. Các 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à 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 khả dụng, thì không một giao thức nào có thể thỏa mãn 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 một cách thực tế hơn: Thay vì yêu cầu tất cả giao dịch trung thực luôn được đưa vào, SCQ 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 trên các giao thức đồng thuận kiểu PBFT (Practical Byzantine Fault Tolerance) hiện hữu nhằm trang bị khả năng chống kiểm duyệt cho chúng. Giao thức này đồng thời đáp ứng yêu cầu SCQ — phân bổ không gian khối cho người đề xuất dựa trên tỷ lệ token đặt cược. Các giao thức BFT dựa trên đồ thị acyclic hướng (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), cũng mang một mức độ khả năng chống kiểm duyệt nhất định.
Tuy nhiên, các triển khai tiêu chuẩn của các giao thức này thường không đáp ứng nghiêm ngặt SCQ, vì chúng 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. Nhưng chỉ cần điều chỉnh nhẹ các giao thức này, ta hoàn toàn có thể tái thiết lập SCQ. Một hướng liên quan là «buộc đưa giao dịch vào» (forced transaction inclusion), nhằm giảm thiểu hành vi kiểm duyệt.
MCP còn minh họa cách thực hiện 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 ngoài. Chúng tôi sẽ trình bày chi tiết hơn về khía cạnh này trong bài viết tiếp theo.
Làm thế nào để thực hiện chất lượng chuỗi mạnh
Để đạt được chất lượng chuỗi mạnh sau thời điểm toàn cầu ổn định (GST), điều cốt yếu là đả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ể đạt được thông qua một giao thức hai vòng. Với hầu hết các giao thức BFT dựa trên khung nhìn (view-based BFT), chỉ cầ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 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 các khối chứa đầy đủ toàn bộ đầu vào nằm trong danh sách 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 «đồng ý» nếu khối đó chứa đầy đủ toàn bộ đầu vào 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 trên, ta có thể xây dựng nên một giao thức đầy đủ. Giao thức này đảm bảo chất lượng chuỗi mạnh sau thời điểm toàn cầu ổn định (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, ta cần chờ đủ số lượng (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 bài viết tiếp theo.
Các nghiên cứu gần đây cho thấy để thực hiện 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 thông thường của giao thức BFT. Kết quả này cũng sẽ được trình bày chi tiết trong 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 ràng buộc cách sắp xếp các giao dịch bên trong khối. SCQ có thể hiểu là: dành sẵn không gian cho từng 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 thêm 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
