ANALOGY IRL

Theo truyền thống của các bài viết “WTF is…” của tôi, tôi thích bắt đầu bằng một ví dụ thực tế để cho phép mọi người hiểu được ý chính và có thể bỏ qua nếu họ không quan tâm đến các chi tiết cơ bản.

Đối với chủ đề này, chúng tôi sẽ sử dụng quá trình khô bê tông theo thời gian:

Đó là mức độ cao của điều 'finality' có nghĩa trong ngữ cảnh của blockchain. Tương tự như bê tông, khi thời gian trôi qua từ điểm được đổ (xác nhận ban đầu) qua quá trình cứng (nhiều lần xác nhận) thì khó khăn để xem xét khối ban đầu không còn 'đúng' đã trở nên khó khăn hơn cho đến khi nó hoàn toàn cứng (finalized). Khi đạt được điểm đó, nó gần như không thể.

TLDR chỉ cần nhớ thứ tự các bước:

Đã nộp -> Đã xác nhận -> Đã hoàn tất

Nếu điều đó đủ tốt để bạn xem xét trường hợp này đã đóng cửa, tôi mời bạn nhấn vào bài viết với một like và tiếp tục ngày của bạn. Nếu bạn muốn tham khảo cách, điều gì và tại sao của tính chất cuối cùng (trong ngữ cảnh Ethereum); tiếp tục đi mon frere.

FINALITY NERD-OUT

Được rồi - hãy cố gắng xây dựng một số cấu trúc xung quanh khái niệm này và hiểu nó. May mắn thay, điều đó đưa cho chúng ta một cái gì đó để xây dựng từ khi tất cả các thành phần đều được đưa vào chơi như một sản phẩm phụ thuộc vào thời gian trôi qua, vì vậy chúng ta sẽ sử dụng điều đó.

Đầu tiên, hãy bổ sung kiến thức của chúng ta với các định nghĩa.

TỪ ĐIỂN

Khe (Thời gian khối): Bạn có thể hiểu được tên thay thế cho nó là Thời gian khối. Một khe hoặc thời gian khối, là khoảng thời gian được cung cấp cho hệ thống để tạo ra một khối giao dịch mới để thêm vào chuỗi chính hiện tại.

Ví dụ về khe/thời gian khối:

Ethereum - 12 giây

Cơ sở - 2 giây

• Solana - 0.4 giây
• Xác nhận: Đây là điều xảy ra khi giao dịch của bạn chính thức được thêm 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" là một phần của sổ cái và khi các khối được thêm vào của bạn, nó tích luỹ thêm xác nhận.
• Epoch: Một chuỗi gồm 32 Khe cắm. Được tạo ra như một cấu trúc phụ trong blockchain được sử dụng để phân quyền và trách nhiệm của cổ đông. Khe cắm được sử dụng để xây dựng các khối trong khi Epochs được sử dụng cho truyền thông dữ liệu, phân phối phần thưởng, lựa chọn người xác thực, vv, vv.
• Khối Kiểm tra: Đây là khối đầu tiên được tạo ra trong một Epoch cụ thể và được sử dụng như một điểm tham chiếu để củng cố lịch sử chuỗi.

Sự xác định cuối cùng: Điểm mà giao dịch được xem 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. Thuật ngữ này không được sử dụng đồng nhất trên các chuỗi khi nó liên quan đến các thuộc tính kỹ thuật, vì vậy tốt nhất là không nên giả định tương đồng trong tất cả các ngữ cảnh. Trong hệ sinh thái Ethereum, điều này được sử dụng khi các điều kiện dưới đây được đáp ứng:

Ethereum - Khi đã trôi qua 2 Epoch (~13 phút)

Optimistic L2 - Khi cửa sổ gian lận đã qua (~7 ngày)

• ZK L2 - Do các cam kết được cung cấp bởi bằng chứng về tính hợp lệ, có 2 thời điểm cuối cùng có thể tranh cãi: cuối cùng cục bộ (khi bằng chứng được tạo ra trên L2 [~vài phút]) và cuối cùng toàn cầu (khi bằng chứng được đăng lên Ethereum và hoàn tất ở đó [~13 phút])
• Reorganize Block (“Reorg”): Điều này xảy ra khi các block trước đây được xác nhận là một phần của sổ cái, vì một lý do nào đó, không còn được coi là hợp lệ và chuỗi mới đã được hình thành. Điều này thường đi kèm với hình phạt.

và đây là một cố gắng để hình dung tất cả những thuật ngữ đó trong một hình ảnh duy nhất để làm cho chúng dễ tiêu hóa hơn một chút:

FINALITY NHƯ THẾ NÀO?

Vậy bây giờ chúng ta đã có các phần tử được sử dụng để xác định tính chất cuối cùng, làm cách nào chúng được ghép lại? Quy tắc là gì?

Cho Ethereum

1. Bỏ phiếu của người xác thực - Mỗi kỷ nguyên (cửa sổ 32 khối) các người xác thực sẽ bỏ phiếu cho khối điểm kiểm tra của kỷ nguyên hiện tại và trước đó cho đến khi các khối điểm kiểm tra cụ thể đạt được 2/3 số phiếu đa số của đã đặt cược $ETH
2. Justified Checkpoints - Khi một khối kiểm tra đạt đến ngưỡng 2/3, nó được coi là “được chứng minh”
3. Liên kết đa số siêu lớn - Khi hai khối kiểm tra liên tiếp a) được chứng minh và b) liên kết với nhau, các khối được bao gồm trong kỷ nguyên trước khi các kỷ nguyên được chứng minh, bây giờ đã được liên kết, trở thành cuối cùng. Chúng không còn bị ảnh hưởng bởi một sự tái tổ chức đơn giản.

Visualized

Cho L2s

Vâng, L2 được xây dựng trên Ethereum nên chúng cơ bản giống nhau, phải không?

Có và không, độc giả thân mến. Hãy nhớ cấu trúc bài đăng từ của tôibài viết trước về Based Rollups. L2s là các blockchain riêng của chúng, đúng vậy, nhưng chúng phụ thuộc vào Ethereum để giải quyết cuối cùng. Điều đó có nghĩa là câu trả lời cũng phức tạp như các chuỗi chính.

Những lớp này phân ra thành hai loại sự kết thúc:

1. Finality cục bộ - Đây là sự cố định trong L2 chính nó và chỉ có thể thực hiện được với các L2 sử dụng chứng minh tính hợp lệ (còn gọi là ZK Rollups). Điều này bởi vì chứng minh tính hợp lệ được hậu thuẫn bởi toán học và việc sản xuất chứng minh chính nó có nghĩa là nó đúng. Do đó, khi một ZK L2 sản xuất chứng minh của mình, trạng thái L2 có thể được coi là hoàn chỉnh mà không cần phải chờ đợi chứng minh được đăng lên và giải quyết trên Ethereum. Lưu ý rằng điều này vẫn đi kèm với các rủi ro và giả định về sự tin cậy, nhưng có thể thực hiện với một số sự tự tin tùy thuộc vào khả năng chịu đựng rủi ro của bạn.
2. Sự hoàn thiện toàn cầu - Trạng thái đạt được khi L2 đã xác nhận trạng thái cục bộ của nó, tạo ra một bằng chứng (gian lận hoặc tính hợp lệ), đăng bằng chứng đó lên Ethereum và Ethereum cũng đã hoàn thiện khối mà bằng chứng đã được đăng. Ngay cả khi vậy, đối với một phần con L2 lạc quan, khả năng hoàn nguyên vẫn tồn tại cho đến khi kết thúc thời gian thách thức. Đây là một sự đánh đổi nhằm giảm tính toán cần thiết cho việc tạo ra bằng chứng.

Vì vậy, L2s có thể có mức độ hoàn thiện cục bộ nếu chúng là một loại cụ thể nhưng nếu không phải thì phải đợi cho đến khi Ethereum hoàn tất chứng minh tính hợp lệ của họ (ZK) hoặc cửa sổ thách thức đã qua cho chứng minh gian lận (Optimistic rollups).

Đối với Bitcoin / Chứng minh về công việc

Điều này thực sự khá dễ dàng - không có tính chất cuối cùng trong việc triển khai cụ thể của PoW của Bitcoin. Đối với nó, người tạo ra khối nặng nhất (đọc: tạo ra đủ khối để trở thành bảng ghi "dài nhất") trở thành sổ cái cổ động. Điều này có nghĩa, mặc dù không thực tế vì nhiều lý do, có người có thể tạo ra đủ hash để viết lại ngày, tuần, năm gần đây nhất của lịch sử Bitcoin.

Một lần nữa, tuy không thực tế cho lượng tài nguyên và thời gian mà nó sẽ mất, nhưng việc phân biệt này đáng giá của các hệ thống và thực sự dẫn đến một số loại MEV duy nhất, như "Tấn công từ xa" và "Chặn lưu thông" nơi các nhà khai thác có thể sản xuất (và ẩn) một khối để sau đó gắn thêm một khối tiếp theo hoặc khai thác một số khối liên tiếp để tạo ra và bắt kịp các cơ hội lợi nhuận độc đáo.

Visualized:

TẠI SAO CẦN SỰ HOÀN THIỆN?

Vì vậy, chúng ta biết cách đạt được sự hoàn thiện cuối cùng trong chuỗi Proof of Stake lớn nhất trong tiền điện tử, nhưng đó có vẻ như là một công việc rất nhiều - tại sao chúng ta lại làm điều đó?

Tốt, nó đi kèm với một số lợi ích:

1. An ninh kinh tế - Việc có một điểm mà hệ thống (và chúng tôi) có thể nhìn lại và nói với sự tự tin cao rằng nó sẽ không thay đổi mang lại sự tự tin cho các thành viên hệ sinh thái hành động dựa trên "sự thật là gì". Hãy nghĩ về các giao dịch lớn và khoản vay. Khi bạn biết chắc chắn rằng hệ thống không thể thay đổi mà không có can thiệp cực đoan, nằm ngoài giao thức, điều đó mang lại sự tự tin để hành động dựa trên sự thật đó. Đó là lý do tại sao cầu thường chờ đợi X lượng xác nhận hoặc hoàn toàn cuối cùng trước khi phát hành quỹ trên chuỗi phụ. Điều này đưa tôi đến...
2. Quy trình thanh toán nhanh hơn - Bởi vì có một điểm nào đó mà các vấn đề được chính thức hóa thành vĩnh viễn, điều đó có nghĩa là các bên hoạt động trong hệ sinh thái có thời gian thanh toán tối đa mà họ tất cả phải chờ đợi, trong khi trong hệ thống PoW, điểm đó không bao giờ đến và chỉ là một quyết định cá nhân theo tiện ích cá nhân.
3. Giảm Vector Tấn Công - Chúng tôi đã đề cập đến vài cơ hội MEV được kích hoạt trên các chuỗi PoW, nhưng cuối cùng nó chỉ giải quyết vấn đề “Không có gì để đánh cược” nơi mà bất kỳ ai hành động một cách độc hại đối với hệ thống cũng có điều gì để mất. Nếu bạn là một người xác minh và cố gắng thay đổi những điều được kết thúc, bạn sẽ phải vi phạm các quy tắc giao thức và do đó sẽ phải chịu sự cắt giảm của số cược của bạn.

KẾT LUẬN

Tại sao tôi lại đề cập đến tính cuối cùng? Không có ý tưởng thực sự - tôi chỉ nghe nó được ném xung quanh bởi một số người gần đây và nhận ra nó là một cơ chế thường được sử dụng, nhưng không được hiểu sâu sắc về blockchain.

Hy vọng bạn đã thích nó và nhớ rằng; chỉ là các khối của bạn cứng như bê tông trong hệ thống và vào một thời điểm nào đó chúng sẽ vững chãi.

Thông báo:

1. Bài viết này được tái bản từ [BREAD], Tiêu đề gốc là [WTF is Finality?], Tất cả bản quyền thuộc về tác giả gốc [@0xBreadguy]. Nếu có ý kiến ​​phản đối về việc tái in này, vui lòng liên hệ với Cổng Họcđội ngũ, và họ sẽ xử lý nhanh chóng.
2. Miễn trách nhiệm về trách nhiệm: Quan điểm và ý kiến được biểu đạt trong bài viết này chỉ thuộc về tác giả và không đại diện cho bất kỳ lời khuyên đầu tư nào.
3. Các bản dịch của bài viết sang các ngôn ngữ khác được thực hiện bởi nhóm Gate Learn. Trừ khi có ghi chú, việc sao chép, phân phối hoặc đạo văn các bài viết dịch là cấm.