Tác giả:BREAD
Biên dịch: Golem, Odaily Star Daily
Lời biên tập: Trong bài viết mới của mình "Những tương lai có thể của giao thức Ethereum, phần 1: The Merge", nhà sáng lập Ethereum Vitalik đã đề cập đến những lĩnh vực cần cải thiện về mặt kỹ thuật của Ethereum và lý do cũng như con đường để thực hiện điều đó, trong đó ưu tiên hàng đầu là phải thay đổi tính chất cuối cùng (Finality) của Block từ 2-3 epoch (~ 15 phút) thành hoàn tất trong một Slot (~ 12 giây). Vậy tính chất cuối cùng (Finality) mà Vitalik rất quan tâm là gì? Nó được thực hiện như thế nào trong Ethereum và L2?
Bài viết "WTF is Finality?" của nhà nghiên cứu tiền điện tử BREAD giải thích tính chất cuối cùng của Block bằng cách sử dụng ví dụ so sánh. Odaily Star Daily đã biên dịch bài viết này, hy vọng sẽ giúp ích cho độc giả trong việc hiểu rõ hơn vấn đề này.
So sánh tính chất cuối cùng (Finality)
Theo truyền thống của loạt bài "WTF is...", tôi thích bắt đầu bằng cách sử dụng ví dụ từ cuộc sống thực tế, để nếu mọi người không muốn tìm hiểu chi tiết cơ bản, họ có thể nhảy ra ngoài và chỉ hiểu những điểm chính. Đối với tính chất cuối cùng (Finality), chúng ta có thể sử dụng ví dụ về bê tông đang cứng lại theo thời gian, như hình minh họa:
Đây là giải thích cấp độ cao nhất về "tính chất cuối cùng" trong blockchain, giống như bê tông, khi thời gian trôi qua, từ đổ (xác nhận ban đầu) đến đông kết (nhiều lần xác nhận), việc xác định Block ban đầu là "giả" trở nên ngày càng khó khăn, cho đến khi nó hoàn toàn cứng lại (tính chất cuối cùng). Một khi đã đạt đến giai đoạn cuối cùng, gần như không thể thay đổi được nữa.
Tương ứng trong blockchain, trình tự cụ thể là:
Đã gửi (Submitted) > Đã xác nhận (Confirmed) > Tính chất cuối cùng (Finalized)
Nếu bạn muốn tìm hiểu sâu hơn về cách thức, nội dung và lý do của tính chất cuối cùng (trong môi trường Ethereum), hãy tiếp tục đọc bên dưới.
Tính chất cuối cùng (Finality) là gì?
Hãy cùng tìm hiểu một số khái niệm liên quan và hiểu rõ hơn về nó. Dưới đây là giải thích về tính chất cuối cùng và các khái niệm liên quan:
- Slot (còn gọi là Block time): Có thể tên gọi thay thế "Block time" sẽ dễ hiểu hơn, Slot hoặc Block time là đơn vị thời gian được hệ thống sử dụng để tạo ra các Block giao dịch mới và thêm vào chuỗi hiện tại. Ví dụ, Slot của Ethereum là 12 giây, Base là 2 giây, còn Solana là 0,4 giây.
- Confirmation: Xác nhận, đây là khi giao dịch chính thức được đưa vào Block đã được thêm vào chuỗi hiện tại. Nó bây giờ được "xác nhận" là một phần của sổ cái và số lượng xác nhận sẽ tăng lên khi các Block tiếp theo được thêm vào sổ cái.
- Epoch: Mỗi 32 Slot được gọi là một Epoch. Đây là cấu trúc cấp hai trong blockchain, được sử dụng để phân công vai trò và trách nhiệm. Slot được sử dụng để xây dựng Block, trong khi Epoch được sử dụng cho việc truyền bá dữ liệu, phân bổ thưởng, lựa chọn người xác minh, v.v.
- Checkpoint Block: Block kiểm tra, đây là Block đầu tiên được tạo ra trong một Epoch, được sử dụng làm điểm tham chiếu để kiểm tra lịch sử chuỗi.
- Finality: Tính chất cuối cùng, đây là thời điểm giao dịch được coi là không thể đảo ngược khi được thêm vào sổ cái của chuỗi nhất định. Tuy nhiên, về mặt kỹ thuật, thuật ngữ này không được sử dụng thống nhất trong các chuỗi khác nhau, vì vậy không nên giả định rằng tiêu chuẩn là giống nhau trong mọi trường hợp. Trong hệ sinh thái Ethereum, tính chất cuối cùng được đạt đến khi 2 Epoch trôi qua (~ 13 phút); trong Optimistic L2, cần phải đợi đến khi thời gian tranh chấp gian lận kết thúc (~ 7 ngày); trong ZK L2, do có sự đảm bảo từ bằng chứng hiệu lực, có 2 thời điểm tính chất cuối cùng đáng tranh cãi: tính chất cuối cùng cục bộ (khi chứng minh được tạo ra trên L2 [~ vài phút]) và tính chất cuối cùng toàn cầu (khi chứng minh được công bố trên Ethereum và hoàn tất ở đó [~ 13 phút]).
- Block Reorganization ("Reorg"): Tái tổ chức Block, đây là khi một Block đã từng được xác nhận là một phần của chuỗi không còn được coi là hợp lệ nữa và một chuỗi mới được hình thành. Điều này thường đi kèm với các hình phạt.
Hình dưới đây cố gắng trực quan hóa tất cả các thuật ngữ này trong một hình ảnh duy nhất để dễ hiểu hơn:
Tính chất cuối cùng được thực hiện như thế nào?
Ở trên, chúng ta đã hiểu về tính chất cuối cùng và các khái niệm liên quan, vậy chúng hoạt động như thế nào? Các quy tắc là gì?
Đối với Ethereum
- Bỏ phiếu của người xác minh: Các người xác minh trong mỗi Epoch (32 Block) sẽ bỏ phiếu cho Block kiểm tra (Checkpoint Block) hiện tại và trước đó, cho đến khi Block kiểm tra đó nhận được ít nhất 2/3 số phiếu của số ETH đang được stake;
- Checkpoint hợp lý: Một khi Block kiểm tra đạt được ngưỡng phiếu 2/3, nó sẽ được coi là "hợp lý";
- Đa số tuyệt đối của chuỗi: Một khi hai Block kiểm tra liên tiếp a và b đều hợp lý và b đã kết nối với Block tiếp theo, các Block trong Epoch trước Epoch đầu tiên sẽ trở thành các Block cuối cùng, không còn bị ảnh hưởng bởi việc tái tổ chức Block đơn giản.
Đối với L2
L2 được xây dựng trên Ethereum, vậy chúng có giống nhau không?
Câu trả lời có thể là có và không, trong bài "Những tương lai của Ethereum, liệu Based Rollups có chỗ đứng?", đã đề cập rằng L2 là các blockchain độc lập, nhưng họ dựa vào Ethereum để quyết toán tính chất cuối cùng. Điều này có nghĩa là tính chất cuối cùng của họ cũng phân tầng như chuỗi.
Có hai loại:
- Tính chất cuối cùng cục bộ: Đây là tính chất cuối cùng của chính L2, và chỉ áp dụng cho các L2 sử dụng bằng chứng hiệu lực (còn gọi là ZK Rollups). Điều này là do bằng chứng hiệu lực được hỗ trợ bởi toán học, và khi chính bản thân bằng chứng được tạo ra, điều đó có nghĩa là nó là chính xác. Do đó, ngay khi ZK L2 tạo ra bằng chứng của mình, trạng thái L2 có thể được coi là đã đạt đến tính chất cuối cùng, mà không cần phải chờ đến khi bằng chứng được công bố trên Ethereum và được quyết toán ở đó. Tuy nhiên, điều này vẫn mang rủi ro và giả định về độ tin cậy, tùy thuộc vào khả năng chấp nhận rủi ro của bạn.
- Tính chất cuối cùng toàn cầu: Một khi trạng thái được xác định, L2 sẽ xác nhận trạng thái cục bộ của mình và tạo ra bằng chứng (gian lận hoặc hiệu lực), công bố bằng chứng đó lên Ethereum, sau đó Ethereum xác nhận Block chứa bằng chứng đó. Ngay cả như vậy, đối với các L2 sử dụng optimistic, vẫn còn cơ hội để hoàn tác giao dịch cho đến khi thời gian tranh chấp 7 ngày kết thúc. Đây là một sự đánh đổi để giảm lượng tính toán cần thiết khi tạo bằng chứng.
Các mạng L2 có thể có tính chất cuối cùng cục bộ trong một số trường hợp, nhưng nói chung, họ phải đợi đến khi Ethereum hoàn tất thời gian tranh chấp bằng chứng hiệu lực (ZK) hoặc bằng chứng gian lận (Optimistic rollups) của họ.
Đối với Bitcoin/PoW chains
Trong cơ chế PoW của Bitcoin, không có khái niệm về tính chất cuối cùng, vì đối với nó, bất kỳ ai cũng có thể tạo ra chuỗi dài nhất và trở thành sổ cái chính. Điều này có nghĩa là, mặc dù không thực tế, nhưng chỉ cần có đủ tỷ lệ băm, người ta có thể ghi lại lại lịch sử Bitcoin của ngày hôm qua, tuần trước, hoặc thậm chí cả năm trước.
Tuy nhiên, mặc dù phương pháp này tốn kém về tài nguyên và thời gian, và thực tế không khả thi, nhưng nó thực sự tạo ra một sự khác biệt có ý nghĩa giữa các hệ thống và đã dẫn đến một số loại MEV (Giá trị có thể trích xuất tối đa) độc đáo, chẳng hạn như "Tấn công Dài Hạn" và "Giấu Block". Trong những trường hợp này, các thợ đào có thể chọn tạo và giấu một Block, sau đó thêm một Block tiếp theo, hoặc liên tục khai thác nhiều Block, tạo ra và thu giữ các cơ hội lợi nhuận độc đáo.
Tại sao lại cần tính chất cuối cùng?
Ở trên, chúng ta đ
- Tính an toàn kinh tế: Hệ thống (và chúng ta) có thể xem lại một điểm và tự tin khẳng định rằng nó sẽ không thay đổi, điều này mang lại niềm tin cho các bên tham gia hệ sinh thái về "tình hình thực tế". Ví dụ, đối với các khoản chuyển tiền lớn và cho vay, một khi người dùng tin chắc rằng hệ thống không thể thay đổi mà không có sự can thiệp cực đoan, vượt quá thỏa thuận, họ sẽ có niềm tin tham gia vào hệ sinh thái dựa trên tính chân thực này. Đây cũng là lý do tại sao các cầu nối xuyên chuỗi thường phải chờ một số lượng xác nhận nhất định hoặc tính chất cuối cùng hoàn toàn, trước khi giải phóng tài sản trên chuỗi phụ.
- Quyết toán nhanh hơn: Bởi vì trong hệ thống có một thời điểm khiến trạng thái được chính thức xác định là vĩnh viễn, điều này có nghĩa là các bên tham gia hệ sinh thái chỉ cần chờ đến thời điểm quyết toán này, trong khi trong hệ thống , thời điểm này sẽ không bao giờ đến, hoàn toàn phụ thuộc vào nhận định chủ quan của cá nhân.
- Giảm các yếu tố dễ bị tấn công: Như đã đề cập ở trên, trên các chuỗi có một số cơ hội , chỉ giải quyết được vấn đề "không có rủi ro lợi ích" (Nothing at stake), tức là bất kỳ ai có hành vi xấu với hệ thống cũng có thể phải chịu tổn thất. Nhưng trong các chuỗi , nếu bạn là người xác thực và cố gắng thay đổi trạng thái đã kết thúc, bạn phải vi phạm các quy tắc của giao thức, do đó sẽ phải đối mặt với rủi ro bị (tịch thu stake).
Kết luận
Bài viết này đã đơn giản phổ cập về khái niệm tính chất cuối cùng, chỉ muốn mọi người nhận thức rằng đây là một cơ chế blockchain thường được sử dụng nhưng chưa được hiểu sâu sắc. Quá trình tính chất cuối cùng giống như các trong hệ thống trở nên cứng như bê tông, và cuối cùng chúng trở nên vững chắc như đá.
