Văn bản gốc từ BREAD
Tổng hợp | Golem hành tinh Odaily ( @web3_golem )
Ghi chú của biên tập viên: Trong bài viết mới của mình Tương lai có thể có của giao thức Ethereum, phần 1: Sự hợp nhất được viết ngày hôm nay, Vitalik, người sáng lập Ethereum, đã đề cập đến những lĩnh vực mà công nghệ Ethereum vẫn cần được cải thiện, lý do và con đường, điều đầu tiên trong đó cần phải thay đổi độ chính xác của khối từ 2-3 kỷ nguyên (~15 phút) sang độ hoàn thiện trong một vị trí (~12 giây). Vậy điều gì về tính hữu hạn mà Vitalik coi trọng đến vậy? Nó được triển khai như thế nào trong Ethereum và L2?
Bài viết của nhà nghiên cứu tiền điện tử BREAD WTF là Finality? giải thích tính chất cuối cùng và quá trình triển khai các khối bằng cách so sánh. Odaily Planet Daily đã đặc biệt biên soạn nó như sau, hy vọng nó sẽ giúp ích cho sự hiểu biết của độc giả.
Sự kết thúc tương tự
Theo truyền thống của loạt bài viết WTF is... của tôi, tôi thích bắt đầu bằng một phép loại suy trong đời thực để nếu mọi người không sẵn sàng hiểu các chi tiết cơ bản, tôi có thể nhảy ra và chỉ nắm được ý chính. Đối với Finality, chúng ta có thể sử dụng ví dụ về độ cứng của bê tông theo thời gian, như trong hình:
Đây là lời giải thích tiên tiến nhất về tính “cuối cùng” trong blockchain Cũng giống như bê tông, theo thời gian, từ việc đổ (xác nhận ban đầu) đến thiết lập ban đầu (xác nhận nhiều lần), khối ban đầu được đánh giá là “sai”” trở nên nhiều hơn. và khó khăn hơn cho đến khi nó cứng lại hoàn toàn (hoàn thiện). Một khi đã đi đến cuối cùng thì gần như không thể thay đổi được.
Thứ tự cụ thể tương ứng trong blockchain là:
Đã gửi > Đã xác nhận > Đã hoàn tất
Nếu bạn cũng muốn tìm hiểu thêm về cách thức, cái gì và lý do của tính hữu hạn (trong bối cảnh Ethereum), vui lòng đọc tiếp.
Cuối cùng là gì?
Chúng ta hãy cố gắng tìm hiểu một số cấu trúc xung quanh khái niệm này và hiểu nó. Sau đây là giải thích về tính hữu hạn và các khái niệm liên quan:
Slot (còn được gọi là thời gian khối): Có lẽ được hiểu rõ hơn bằng tên thay thế thời gian khối, khe hoặc thời gian khối là khoảng thời gian được cung cấp cho hệ thống để hệ thống tạo ra một khối giao dịch mới và nối nó vào hiện tại. xích. Ví dụ: Slot của Ethereum là 12 giây, Base là 2 giây và Solana là 0,4 giây.
Xác nhận : Xác nhận, đây là điều xảy ra khi một giao dịch chính thức đi vào một khối đã được thêm vào chuỗi hiện tại. Bây giờ nó được xác nhận như một phần của sổ cái và khi các khối tiếp theo được thêm vào sổ cái, số lượng xác nhận sẽ tăng lên.
Kỷ nguyên : Cứ 32 ô được gọi là một Kỷ nguyên. Đây là cấu trúc thứ cấp trong blockchain được sử dụng để ủy quyền vai trò và trách nhiệm. Các slot được sử dụng để xây dựng các khối, trong khi Epoch được sử dụng để phổ biến dữ liệu, phân phối phần thưởng, lựa chọn người xác thực, v.v.
Khối điểm kiểm tra : Khối điểm kiểm tra, là khối đầu tiên được tạo trong Epoch và được sử dụng làm điểm tham chiếu để kiểm tra lịch sử của chuỗi.
Tính cuối cùng : Tính cuối cùng, là điểm mà tại đó một giao dịch được coi là được thêm vào sổ cái của một chuỗi nhất định một cách không thể đảo ngược. Tuy nhiên, liên quan đến các thuộc tính kỹ thuật, thuật ngữ này không được sử dụng thống nhất trên các chuỗi, vì vậy tốt nhất là không nên giả định các tiêu chuẩn giống nhau trong mọi trường hợp. Trong hệ sinh thái Ethereum, tính hữu hạn đạt được khi 2 Kỷ nguyên đã trôi qua (~13 phút); trong Optimistic L2, bạn cần đợi cho đến khi thời gian tranh chấp gian lận trôi qua (~7 ngày trong ZK L2, do tính hợp lệ của nó). đảm bảo được cung cấp bởi bằng chứng, có 2 thời điểm gây tranh cãi về tính hữu hạn: cục bộ (khi bằng chứng được tạo trên L2 [~ phút]) và tính hữu hạn toàn cầu (khi bằng chứng được xuất bản lên Ethereum và hoàn thành ở đó [ ~13 phút]).
Tổ chức lại khối (Reorg) : Tổ chức lại khối, có nghĩa là các khối đã 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ệ vì một số lý do và một chuỗi mới được hình thành. Điều này thường đi kèm với hình phạt.
Hình ảnh bên dưới 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 để giúp chúng dễ hiểu hơn:
Tính cuối cùng hoạt động như thế nào?
Ở trên chúng ta đã tìm hiểu về tính hữu hạn và các khái niệm liên quan, vậy chúng phối hợp với nhau như thế nào? Các quy tắc là gì?
Đối với Ethereum
Bỏ phiếu của người xác thực: Người xác nhận của mỗi kỷ nguyên (32 khối) sẽ bỏ phiếu trên khối điểm kiểm tra (Khối điểm kiểm tra) của kỷ nguyên hiện tại và kỷ nguyên trước đó cho đến khi khối điểm kiểm tra nhận được 2/3 số phiếu bầu của số ETH đặt cược;
Điểm kiểm tra hợp lý: Khi khối điểm kiểm tra đạt ngưỡng biểu quyết 2/3 thì được coi là hợp lý;
Chuỗi siêu đa số: Khi cả hai khối điểm kiểm tra tiếp theo a và b đều hợp lệ và b đã được kết nối với khối tiếp theo, các khối có trong kỷ nguyên trước kỷ nguyên đầu tiên sẽ trở thành cuối cùng và chúng sẽ không còn bị ảnh hưởng bởi việc sắp xếp lại khối đơn giản.
Đối với L2
L2 được xây dựng trên Ethereum, vậy về cơ bản chúng có giống nhau không?
Câu trả lời có thể nói là có hoặc không. Liệu Based Rollups có chỗ đứng trong tương lai của Ethereum? “Trong L2 đã đề cập rằng đây là một blockchain độc lập, nhưng họ dựa vào Ethereum để giải quyết cuối cùng. Điều này có nghĩa là mục đích cuối cùng của chúng cũng có thứ bậc như chuỗi.
Có hai loại:
Tính 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 L2 sử dụng Bằng chứng về tính hợp lệ (còn gọi là Bản tổng hợp ZK). Điều này là do bằng chứng về tính hợp lệ được hỗ trợ bởi toán học và khi bằng chứng được đưa ra thì điều đó có nghĩa là nó đúng. Do đó, một khi ZK L2 tạo ra bằng chứng của mình, trạng thái L2 có thể được coi là hoàn thiện mà không cần phải đợi bằng chứng được xuất bản lên Ethereum và giải quyết trên Ethereum. Nhưng điều này vẫn đi kèm với các giả định về rủi ro và sự tin cậy, đồng thời bạn có thể đánh giá xem có nên tin tưởng nó hay không dựa trên mức độ chấp nhận rủi ro của chính bạn.
Tính cuối cùng toàn cầu: Sau khi trạng thái được hoàn tất, L2 xác nhận trạng thái cục bộ của nó, tạo ra bằng chứng (gian lận hoặc tính hợp lệ), xuất bản bằng chứng đó cho Ethereum và Ethereum sau đó xác nhận khối chứa bằng chứng. Dù vậy, đối với những L2 lạc quan, cơ hội đảo ngược giao dịch vẫn tồn tại cho đến khi hết thời gian thử thách 7 ngày. Đây là một sự đánh đổi được thực hiện để giảm số lượng tính toán cần thiết khi tạo bằng chứng.
Mạng L2 có thể có tính hữu hạn tự nhiên trong một số trường hợp, nhưng nói chung, nó phải đợi cho đến khi Ethereum hoàn thành bằng chứng xác thực (ZK) đã được công bố hoặc thời hạn thử thách đối với bằng chứng gian lận đã trôi qua (tổng hợp lạc quan).
Đối với chuỗi Bitcoin/POW
Không có điểm cuối cùng trong cơ chế PoW của Bitcoin, bởi vì với nó, bất kỳ ai cũng có thể tạo ra chuỗi dài nhất trên đó và trở thành sổ cái chính. Điều này có nghĩa là, mặc dù hơi phi thực tế nhưng với đủ sức mạnh tính toán, bạn có thể viết lại ngày, tuần hoặc năm cuối cùng của lịch sử Bitcoin.
Tuy nhiên, mặc dù cách tiếp cận này tốn kém về tài nguyên, thời gian và không thực tế trong thực tế, nhưng nó tạo ra sự khác biệt có ý nghĩa giữa các hệ thống khác nhau và gây ra một số loại MEV (Giá trị có thể trích xuất tối đa) duy nhất, chẳng hạn như Tấn công tầm xa và Giữ lại khối. Trong những trường hợp này, người khai thác có thể chọn tạo và ẩn một khối, sau đó nối thêm khối tiếp theo hoặc khai thác nhiều khối liên tiếp, tạo và nắm bắt các cơ hội lợi nhuận duy nhất.
Tại sao cần có sự cuối cùng?
Ở trên, chúng tôi biết cách đạt được tính cuối cùng trong chuỗi POS và nó đòi hỏi một lượng công việc tương đối lớn. Vậy tại sao chúng ta làm điều này? Câu trả lời là có một số lợi ích khi làm như vậy:
An ninh kinh tế : Hệ thống (và chúng tôi) có thể nhìn lại một điểm nhất định và kết luận với mức độ tin cậy cao rằng nó sẽ không thay đổi, điều này giúp những người tham gia hệ sinh thái tin tưởng vào “sự thật”. Ví dụ: các khoản chuyển khoản và cho vay lớn, một khi người dùng tin rằng hệ thống không thể thay đổi nếu không có sự can thiệp cực đoan của giao thức, điều này sẽ mang lại cho người dùng sự tự tin để tham gia vào hệ sinh thái dựa trên tính xác thực này. Đây là lý do tại sao các cầu nối chuỗi chéo thường chờ đợi một số xác nhận nhất định hoặc hoàn thành quyết định cuối cùng trước khi giải phóng tiền trên chuỗi thứ cấp.
Giải quyết nhanh hơn : Bởi vì có một thời điểm trong hệ thống mà trạng thái chính thức là vĩnh viễn, điều này có nghĩa là những người tham gia hệ sinh thái chỉ cần đợi thời gian giải quyết này, trong khi ở hệ thống PoW (Proof of Work), thời điểm này không bao giờ đến và tất cả đều phụ thuộc vào phán đoán chủ quan của mỗi người.
Giảm yếu tố bị tấn công : Như đã đề cập ở trên, một số cơ hội MEV tồn tại trên chuỗi PoW chỉ giải quyết được vấn đề “Không có gì bị đe dọa”, tức là bất kỳ ai thực hiện hành động ác ý chống lại hệ thống cũng có thể phải đối mặt với tổn thất. . Nhưng trong chuỗi POS, nếu bạn là người xác nhận và cố gắng thay đổi trạng thái cuối cùng, bạn phải vi phạm các quy tắc giao thức và do đó phải đối mặt với nguy cơ bị chém.
Phần kết luận
Bài viết này giới thiệu ngắn gọn về tính hữu hạn là gì, chỉ để mọi người biết rằng đó là một cơ chế blockchain thường được sử dụng nhưng chưa được hiểu sâu. Quá trình cuối cùng giống như các khối trong hệ thống cứng lại như bê tông, và cuối cùng chúng trở nên rắn chắc như đá.
