Bạn đã học được rằng sự đồng thuận là cách các nút blockchain đồng ý với nhau, và Proof of Stake (PoS) thay thế các câu đố tiêu tốn năng lượng của Proof of Work bằng các đồng coin được đặt cọc. Hãy cùng đi sâu vào Ouroboros – quy trình PoS đặc biệt của Cardano, là quy trình đầu tiên được hỗ trợ bởi một bằng chứng bảo mật toán chính thức.
Đây là phiên bản một câu: Ouroboros là một giao thức Proof of Stake, nơi quyền sản xuất từng khối được phân bổ ngẫu nhiên cho một nhóm stake, với xác suất tương ứng với tổng stake mà nó kiểm soát – và ngẫu nhiên được tạo ra bởi một quả bong bóng mã hóa mà mọi người có thể xác minh là công bằng.
Hình 1: Ouroboros — bốn trụ cột đồng thuận Cardano
Vấn đề "Không có gì đáng để tranh đấu" (Tại sao PoS được coi là không thể thực hiện)
Trước Ouroboros, nhiều nhà khoa học mật mã cho rằng Proof of Stake bị phá vỡ cơ bản. Nguyên nhân là vấn đề "không có gì để đặt cược": trong PoW, việc khai thác tốn nhiều năng lượng, vì vậy các nhà khai thác chỉ hoạt động trên một chuỗi (chuỗi mà họ nghĩ sẽ chiến thắng). Tuy nhiên, trong PoS, xác minh không tốn bất kỳ chi phí nào – do đó, một nhà xác minh lý thuyết có thể xác minh trên tất cả các fork cạnh tranh đồng thời, hy vọng kiếm lợi nhuận bất kể chuỗi nào chiến thắng. Điều này sẽ khiến sự đồng thuận trở nên không thể.
Ouroboros đã giải quyết vấn đề này bằng cách cắt giảm số lượng validator: nếu một validator bị phát hiện kiểm tra trên nhiều fork, họ sẽ mất các đồng coin đã đặt cọc. Chi phí của việc gian lận không phải là năng lượng (như PoW) – đó là mất đi số coin đã đặt cọc của bạn. Điều này khiến việc "kiểm tra trên mỗi fork" trở nên không hợp lý về mặt kinh tế, đồng thời khôi phục an ninh về sự đồng thuận.
Hình 2: Nothing at stake — slashing làm gian lận tốn kém
Cách Ouroboros hoạt động: các thời kỳ, các khung và VRF
Cardano chia thời gian thành các khoảng thời gian – mỗi khoảng thời gian kéo dài 5 ngày, được chia thành 432.000 khoảng trống mỗi khoảng thời gian 1 giây. Đây là cách sản xuất khối hoạt động:
1. Kỳ bầu cử (trước khi kỳ bắt đầu)
Vào đầu mỗi giai đoạn, giao thức thực hiện một cuộc bầu cử: cho mỗi trong 432.000 khung, nó xác định nhóm tài sản nào sẽ tạo khối. Cuộc bầu cử này sử dụng VRF (Verifiable Random Function) – một trò ngẫu nhiên mã hóa có các đặc điểm sau:- Không thể dự đoán trước cuộc bầu cử (không ai có thể biết trước ai sẽ dẫn đầu khung nào)
- Có thể kiểm chứng sau cuộc bầu cử (mọi người có thể kiểm tra xem việc ném số ngẫu nhiên có công bằng hay không)
- Tương quan với số tài sản (những nhóm có nhiều tài sản sẽ có nhiều khung, theo khả năng)
2. Slot Leader sản xuất khối
Khi một khung đến, nhóm được chọn (người dẫn đầu khung) sẽ tạo ra một khối: thu thập các giao dịch đang chờ, xác minh chúng, tạo ra khối và phát tán nó đến mạng lưới.3. Kiểm tra các nút
Mỗi nút kiểm tra: giao dịch hợp lệ? Lãnh đạo khung đúng (với bằng chứng VRF)? Tiếp tục chuỗi hợp lý? Nếu có, chúng sẽ thêm khối.4. Phân phối phần thưởng
Tại cuối mỗi giai đoạn, phần thưởng được phân phối cho tất cả các pool đã tạo các khối, theo tỷ lệ với số lượng khối họ tạo ra. Các nhà điều hành pool chia sẻ phần thưởng với các người ủy quyền (trừ phí biên độ).
Hình 3: Chu kỳ Ouroboros — bầu chọn, slot, block, xác thực, thưởng, lặp
Hồ cược: Bảo đảm và ủy quyền
Sản xuất khối của Cardano được thực hiện thông qua các bể đặt cược – hiện tại có khoảng ~3000+ trên toàn thế giới. Hai loại đặt cược đóng góp vào một bể:
- Đảm bảo: ADA của nhà điều hành bể, được khóa làm tài sản thế chấp. Đảm bảo cao hơn = nhiều quyền lợi trong trò chơi = phần thưởng cao hơn (qua tham số a0). Điều này khuyến khích các nhà điều hành có cam kết thực sự.
Điểm chính: ủy quyền không có nghĩa là trao số coin của bạn cho pool. Bạn không bao giờ mất quyền kiểm soát. Bạn chỉ đơn giản nói "sử dụng trọng lượng của số coin của tôi để giúp pool này được bầu nhiều hơn và chia sẻ phần thưởng với tôi."
Tỷ lệ bầu cử của một pool là tỷ lệ thuận với số lượng stake tổng cộng (pledge + delegation), được giới hạn ở điểm ngập (khoảng 64 triệu ADA) để ngăn chặn một pool nào đó thống trị.
Hình 4: Stake pool — pledge + delegation = total stake cho bầu chọn
VRF: Trò chơi ngẫu nhiên mật mã
Những cải tiến chính trong Ouroboros Praos là VRF (Verifiable Random Function). Đây là những gì nó làm bằng ngôn ngữ đơn giản:
Hãy tưởng tượng mỗi kho chứa có một cặp khóa mã hóa. Tại mỗi ô, kho đó thực hiện một phép tính sử dụng khóa riêng và số ô hiện tại. Điều này tạo ra:
Nếu số ngẫu nhiên thấp hơn một mức giới hạn (tương ứng với phần stake của kho), kho sẽ giành quyền tạo khối của slot đó. Bằng chứng được bao gồm trong khối, vì vậy mỗi nút có thể xác minh: "có, kho này đã hợp pháp giành được slot này".
Tại sao điều này quan trọng:
- Không thể dự đoán được: không ai có thể dự đoán được người chiến thắng trước khi vòng quay đến (tránh các cuộc tấn công có mục tiêu)
An ninh: Tại sao Ouroboros đáng tin cậy
An ninh của Ouroboros đến từ ba lớp:
- An ninh kinh tế (cắt giảm): các validator không trung thực sẽ mất phần vốn của họ. Chi phí tấn công vượt quá lợi ích. 2. An ninh toán học (bằng chứng chính thức): Ouroboros là giao thức PoS đầu tiên có bằng chứng an ninh được kiểm tra bởi các chuyên gia, được công bố tại CRYPTO 2017. Bằng chứng cho thấy một kẻ tấn công kiểm soát ít hơn 50,1% phần vốn không thể phá vỡ các đảm bảo của giao thức. 3. An ninh mã hóa (VRF): việc chọn người dẫn đầu là không thể dự đoán và có thể kiểm chứng, ngăn chặn các cuộc tấn công mục tiêu vào các người dẫn đầu cụ thể.
So sánh với PoW: An ninh của Bitcoin là dựa trên thực nghiệm ("chưa có ai tấn công nó") và kinh tế ("tấn công rất tốn kém"). Ouroboros bổ sung bằng chứng toán học – hình thức bảo đảm an ninh mạnh nhất.
Hình 5: Ba lớp bảo mật Ouroboros — kinh tế, toán học, mật mã
Đối với độc giả Việt Nam: "Cổ phần" và "Lãi suất"
Hai khái niệm Việt Nam làm cho Ouroboros trở nên dễ hiểu:
“Cổ phần” (shares): Đặt cược ADA tương đương với sở hữu cổ phần trong một công ty. Cổ phần nhiều hơn = trọng lượng bỏ phiếu (trong sản xuất khối) nhiều hơn, nhưng cũng có nghĩa là trách nhiệm nhiều hơn. Người điều hành nhóm đặt cược giống như giám đốc điều hành – họ cam kết cổ phần của riêng họ (cổ phần trong trò chơi) và quản lý hoạt động. Người ủy quyền giống như cổ đông – họ đóng góp cổ phần, nhận được lợi tức (hưởng lãi), nhưng không điều hành hoạt động hàng ngày.
Lãi suất (interest rate): phần thưởng staking tương tự như lãi suất gửi tiết kiệm ngân hàng – bạn kiếm được thu nhập thụ động từ vốn của mình. Tuy nhiên, có một điểm khác biệt quan trọng: với ngân hàng, ngân hàng sử dụng tiền của bạn và trả lãi cho bạn. Trong trường hợp staking, bạn giữ quyền sở hữu ADA (nếu bạn là người ủy quyền) và giao thức trả tiền cho bạn từ dự trữ kho bạc. Không có trung gian, không có rủi ro đối tác.
Đó là lý do tại sao Ouroboros quan trọng: nó cho phép "hái lợi nhuận từ tiền tiết kiệm" mà không cần ngân hàng – chỉ cần một giao thức, ví của bạn và ~3000 nhà điều hành kho chứa độc lập trên toàn thế giới.
Hướng dẫn nhanh
| Định nghĩa | Định nghĩa |
|---|---|
| Ouroboros | Protokol đồng thuận PoS của Cardano – đầu tiên có bằng chứng bảo mật chính thức (CRYPTO 2017) |
| Kỷ nguyên | Thời gian 5 ngày, được chia thành 432.000 khung 1 giây |
| Khung | Khung 1 giây; một nhà lãnh đạo slot sản xuất một khối mỗi slot |
| VRF | Công thức ngẫu nhiên có thể kiểm chứng — không thể dự đoán + chọn lãnh đạo có thể kiểm chứng |
| Líder trong lĩnh vực slot | Stake pool được chọn để tạo ra một khối cho một khung thời gian cụ thể |
| Cam kết | ADA của nhà điều hành bể, được khóa làm tài sản đảm bảo (skin in the game) |
| Đội đại biểu | Các chủ sở hữu ADA phân bổ trọng lượng cổ phần cho một nhóm mà không từ bỏ quyền sở hữu |
| Cắt | Thiệt hại về đồng tiền đặt cọc do hành vi không trung thực (xác minh trên nhiều fork) |
| Chỉ số bão hòa | ~ 64 triệu ADA cap cho mỗi nhóm – ngăn chặn bất kỳ nhóm nào thống trị |
| Không có gì đáng lo ngại | Vấn đề của PoS trước khi cắt giảm: xác minh trên tất cả các fork không tốn bất kỳ chi phí nào |
| điều khiển a0 | Kiểm soát cam kết ảnh hưởng đến phần thưởng (a0 càng cao thì phần thưởng càng cao) |