Finality Gadget

Finality Gadget là gì?

Finality gadget là một thành phần đồng thuận blockchain xác định thời điểm một khối hoặc checkpoint cần được xem là đã hoàn tất.Khối đã hoàn tất được xem là một phần của lịch sử blockchain bất biến theo các giả định bảo mật thông thường của giao thức.Để đảo ngược một khối đã hoàn tất cần có sự cố đồng thuận nghiêm trọng, lượng quyền biểu quyết không trung thực lớn, hình phạt kinh tế đáng kể hoặc sự can thiệp xã hội bất thường.Từ “gadget” cho biết cơ chế finality có thể được bổ sung vào hoặc kết hợp với một hệ thống khác chịu trách nhiệm tạo khối và chọn chuỗi hiện tại.Finality gadget không nhất thiết quyết định người tham gia nào tạo khối tiếp theo.Thay vào đó, cơ chế này thu thập phiếu bầu của validator và nâng cấp các khối đã được đề xuất gần đây thành checkpoint được xác nhận hợp lệ và hoàn tất.Ví dụ nổi tiếng nhất là Casper the Friendly Finality Gadget, thường được gọi là Casper FFG.Casper FFG là thành phần finality trong cơ chế đồng thuận Proof of Stake của Ethereum.Ethereum kết hợp Casper FFG với quy tắc chọn nhánh LMD-GHOST trong một thiết kế đồng thuận hoàn chỉnh có tên Gasper.

Tài liệu Gasper chính thức của Ethereum giải thích Casper hoàn tất các checkpoint, còn LMD-GHOST giúp các node chọn chain head chính xác.

Finality của blockchain có nghĩa là gì?

Finality của blockchain là mức độ tin cậy rằng giao dịch đã xác nhận sẽ không bị xóa hoặc thay đổi bởi đợt tái tổ chức chuỗi sau đó.Giao dịch trước tiên được đưa vào một khối đã đề xuất.Khối đó có thể được bổ sung thêm các khối khác và phiếu bầu của validator.Khi mức hỗ trợ tăng lên, khả năng hoặc tính khả thi về kinh tế của việc đảo ngược giao dịch giảm xuống.Giao dịch đã hoàn tất đạt mức xác nhận mạnh nhất theo tiêu chuẩn của giao thức.Finality không có nghĩa mọi máy tính, website, ví hoặc ứng dụng đều đã hiển thị giao dịch.Điều đó có nghĩa hệ thống đồng thuận blockchain đã cam kết với khối chứa giao dịch.

Bảng thuật ngữ Ethereum định nghĩa finality là sự đảm bảo rằng một nhóm giao dịch không thể bị thay đổi nếu không làm mất một lượng ETH đã staking rất lớn.

Tại sao blockchain cần finality?

Blockchain cho phép nhiều máy tính độc lập duy trì lịch sử giao dịch chung.Độ trễ mạng có thể khiến các node khác nhau nhận được các khối hợp lệ khác nhau gần như cùng lúc.Tình huống này có thể tạm thời tạo ra các nhánh cạnh tranh, gọi là fork.Quy tắc chọn nhánh giúp các node quyết định hiện tại nên theo nhánh nào.Tuy nhiên, nhánh đang thắng theo quy tắc lựa chọn hiện thời vẫn có thể bị thay thế khi các phiếu bầu hoặc khối mới ủng hộ nhánh khác.Finality gadget tạo ra cam kết mạnh hơn đối với các khối cũ.Khi một checkpoint đã hoàn tất, các node trung thực không nên thay thế nó bằng checkpoint xung đột.Cam kết này giúp người dùng crypto, ứng dụng, đơn vị lưu ký, bridge và hợp đồng thông minh xác định khi nào một giao dịch đã được thanh toán đủ chắc chắn.

Tại sao gọi là gadget?

Finality gadget được gọi như vậy vì có thể hoạt động như một mô-đun riêng trong cơ chế đồng thuận lớn hơn.Hệ thống nền tảng có thể tiếp tục đề xuất khối nhanh chóng ngay cả trước khi các khối đó đạt finality đầy đủ.Sau đó, gadget áp dụng quy tắc bỏ phiếu của validator cho các khối hoặc checkpoint được chọn.Cấu trúc mô-đun này tách biệt hai câu hỏi có liên quan nhưng khác nhau.Câu hỏi thứ nhất là khối nào nên được xem là chain head hiện tại.Câu hỏi thứ hai là những khối cũ nào đủ an toàn để được xem là đã hoàn tất.Tách biệt hai chức năng này có thể giúp blockchain tạo khối thường xuyên trong khi chỉ áp dụng quy tắc đồng thuận mạnh hơn theo từng khoảng thời gian dài hơn.

Tạo khối và finality của khối

Tạo khối là quy trình chọn người tham gia để tạo và phát đi khối mới.Finality của khối là quy trình đạt đồng thuận mạnh rằng khối sẽ vẫn nằm trong chuỗi chính thức.Blockchain có thể sử dụng một giao thức để tạo khối và một giao thức khác để đạt finality.Ethereum sử dụng validator Proof of Stake để đề xuất khối theo từng slot.Quy tắc chọn nhánh sử dụng thông điệp của validator để xác định chain head.Casper FFG riêng biệt sử dụng phiếu bầu cho checkpoint để xác nhận hợp lệ và hoàn tất các phần của chuỗi đó.Blockchain khác có thể sử dụng giao thức tạo khối khác và bổ sung finality gadget riêng.

Finality gadget hoạt động như thế nào?

Finality gadget thường hoạt động bằng cách thu thập phiếu bầu từ validator đã đặt giá trị kinh tế hoặc hình thức ủy quyền khác sau các quyết định của họ.Validator kiểm tra blockchain và bỏ phiếu cho mối liên hệ giữa checkpoint trước đó với checkpoint mới hơn.Checkpoint trước thường được gọi là source.Checkpoint mới hơn thường được gọi là target.Khi đủ trọng số phiếu bầu ủng hộ mối liên hệ này, giao thức công nhận một liên kết siêu đa số.Checkpoint target có thể được xác nhận hợp lệ.Khi mối liên hệ biểu quyết bắt buộc tiếp tục qua các checkpoint sau đó, checkpoint đã được xác nhận hợp lệ trước đó có thể được hoàn tất.Validator ký các phiếu bầu mâu thuẫn có thể bị slashing hoặc bị loại khỏi tập validator.Các hình phạt này khiến việc đạt finality mâu thuẫn trở nên tốn kém về kinh tế.

Checkpoint là gì?

Checkpoint là khối được chọn tại một mốc định kỳ để sử dụng trong quá trình bỏ phiếu finality.Finality gadget không phải lúc nào cũng yêu cầu validator bỏ phiếu finality đầy đủ cho từng khối riêng lẻ.Thay vào đó, validator có thể bỏ phiếu cho các checkpoint đại diện cho nhóm khối.Trên Ethereum, thời gian được chia thành slot và epoch.Mỗi slot hiện kéo dài 12 giây.Một epoch gồm 32 slot, do đó kéo dài khoảng 6,4 phút.Khối ở đầu epoch đóng vai trò checkpoint của epoch đó.Nếu slot đầu tiên của epoch không có khối, khối gần nhất trước đó có thể đại diện cho ranh giới checkpoint theo quy tắc của giao thức.

Định nghĩa checkpoint chính thức của Ethereum giải thích rằng việc bỏ phiếu checkpoint cho phép kết hợp hoạt động của validator trong cả epoch thành quyết định siêu đa số.

Attestation là gì?

Attestation là phiếu bầu của validator về trạng thái và lịch sử của blockchain.Trên Ethereum, attestation chứa thông tin được sử dụng trong cả quy trình chọn nhánh lẫn quy trình finality.Validator bỏ phiếu cho khối mà họ cho là chain head.Validator cũng bỏ phiếu cho checkpoint source và checkpoint target được Casper FFG sử dụng.Validator được chỉ định thời điểm cụ thể để công bố attestation.Attestation chính xác và đúng hạn giúp mạng lưới chọn chuỗi và hoàn tất checkpoint.Attestation bị thiếu, trễ hoặc mâu thuẫn có thể làm giảm phần thưởng validator hoặc dẫn đến hình phạt.

Liên kết siêu đa số là gì?

Liên kết siêu đa số tồn tại khi phiếu bầu của validator đại diện cho ít nhất hai phần ba lượng stake đang hoạt động liên quan ủng hộ mối liên hệ giữa hai checkpoint.Các phiếu bầu xác nhận checkpoint target là hậu duệ hợp lệ của checkpoint source.Ngưỡng hai phần ba rất quan trọng vì hai nhóm phiếu bầu mâu thuẫn có quy mô như vậy phải chồng lấn ít nhất một phần ba tổng stake.Nếu cả hai checkpoint mâu thuẫn đều được hoàn tất, ít nhất một phần ba stake phải vi phạm quy tắc bỏ phiếu.Stake chồng lấn đó có thể được xác định và xử phạt.Do đó, ngưỡng này liên kết tính an toàn của đồng thuận với hậu quả kinh tế có thể đo lường.

Checkpoint được xác nhận hợp lệ là gì?

Checkpoint được xác nhận hợp lệ là checkpoint nhận đủ sự ủng hộ siêu đa số từ một checkpoint trước đó đã được xác nhận hợp lệ.Trạng thái xác nhận hợp lệ thể hiện mức đồng thuận mạnh nhưng chưa phải cuối cùng.Checkpoint đã được xác nhận hợp lệ khó bị loại bỏ, nhưng giao thức chưa trao cho checkpoint đó trạng thái finality mạnh nhất.Theo quy trình Ethereum đơn giản hóa, trước tiên validator xác nhận hợp lệ checkpoint mới hơn thông qua liên kết siêu đa số hai phần ba.Việc tiếp tục bỏ phiếu cho checkpoint sau đó có thể hoàn tất checkpoint đã được xác nhận hợp lệ trước đó.

Checkpoint đã hoàn tất là gì?

Checkpoint đã hoàn tất là checkpoint được xác nhận hợp lệ và có thêm mối liên hệ biểu quyết cần thiết theo quy tắc finality.Trong ví dụ Ethereum thường dùng, checkpoint A đã được xác nhận hợp lệ.Sau đó, validator tạo liên kết siêu đa số từ checkpoint A đến checkpoint B tiếp theo.Checkpoint B được xác nhận hợp lệ, còn checkpoint A được hoàn tất.Mọi khối ở checkpoint A hoặc trước đó trở thành một phần lịch sử chuỗi đã hoàn tất.Giao dịch nằm trong một trong các khối này đã đạt finality ở cấp giao thức Ethereum.

Casper FFG là gì?

Casper FFG là viết tắt của Casper the Friendly Finality Gadget.Đây là giao thức finality Proof of Stake được thiết kế để bổ sung hoặc hỗ trợ quy trình tạo khối và chọn nhánh của blockchain.

Bài nghiên cứu gốc về Casper FFG mô tả hệ thống finality Proof of Stake có thể bổ sung mức bảo vệ mạnh hơn trước việc đảo ngược khối cho một blockchain hiện có.

Thiết kế này kết hợp tiền ký quỹ của validator, bỏ phiếu siêu đa số, hoàn tất checkpoint và các điều kiện slashing.Ethereum sử dụng phiên bản Casper FFG đã điều chỉnh trong hệ thống đồng thuận Proof of Stake hiện tại.Không nên nhầm Casper FFG với toàn bộ cơ chế đồng thuận Ethereum.Casper FFG cung cấp quy tắc finality, còn các thành phần khác xử lý đề xuất khối, thực thi giao dịch, kết nối mạng và chọn nhánh.

Gasper là gì?

Gasper là tên gọi thiết kế đồng thuận Proof of Stake của Ethereum.Tên này kết hợp GHOST và Casper.LMD-GHOST giúp các node chọn chain head hiện tại của blockchain.Casper FFG xác nhận hợp lệ và hoàn tất checkpoint.Thành phần chọn nhánh có thể nhanh chóng phản ứng với khối mới và thông điệp của validator.Thành phần finality tạo ra cam kết chậm hơn nhưng mạnh hơn về mặt kinh tế đối với lịch sử blockchain.Sự kết hợp này cho phép Ethereum tạo khối mỗi slot trong khi đạt finality đầy đủ trong thời gian dài hơn.

LMD-GHOST là gì?

LMD-GHOST là viết tắt của Latest Message Driven Greedy Heaviest Observed SubTree.Đây là quy tắc chọn nhánh được các client đồng thuận của Ethereum sử dụng.Quy tắc này xem xét thông điệp hợp lệ mới nhất từ mỗi validator.Quy tắc đi theo nhánh có trọng số hỗ trợ của validator lớn nhất xuyên suốt cây khối.LMD-GHOST xác định chain head hiện tại, trạng thái có thể thay đổi khi khối và attestation mới xuất hiện.Casper FFG tạo ra ranh giới mà quy trình chọn nhánh không nên vượt qua trong điều kiện thông thường.Do đó, hai cơ chế giải quyết các vấn đề đồng thuận liên quan nhưng riêng biệt.

Ethereum mất bao lâu để đạt finality?

Trong điều kiện mạng thông thường, Ethereum hiện mất khoảng 15 phút để hoàn tất một khối.Mỗi epoch kéo dài khoảng 6,4 phút vì gồm 32 slot, mỗi slot 12 giây.Để đạt finality, thông thường cần có sự ủng hộ cho checkpoint qua các epoch liên tiếp.Thời gian chính xác mà một giao dịch phải chờ phụ thuộc vào vị trí khối của giao dịch trong epoch và thời điểm xử lý đủ phiếu bầu của validator.Khối có thể ngày càng an toàn trước khi đạt finality đầy đủ, nhưng chưa đạt mức thanh toán mạnh nhất của giao thức.

Lộ trình single-slot finality chính thức của Ethereum cho biết quy trình hiện tại mất khoảng 15 phút.

Finality và xác nhận khối

Xác nhận khối thường có nghĩa là một khối khác hoặc một đơn vị tiến triển của chuỗi đã được thêm sau giao dịch.Nhiều xác nhận hơn thường làm giảm khả năng xảy ra tái tổ chức chuỗi.Mức độ an toàn dựa trên xác nhận có thể mang tính xác suất, nghĩa là khả năng đảo ngược giảm dần theo thời gian nhưng có thể không bao giờ bằng tuyệt đối không về mặt toán học.Finality gadget cung cấp trạng thái giao thức riêng, dựa trên sự đồng thuận của validator và hình phạt kinh tế.Giao dịch có thể có nhiều xác nhận mà vẫn chưa được hoàn tất.Ứng dụng có thể sử dụng cả độ sâu xác nhận gần nhất lẫn trạng thái finality khi thiết lập chính sách nạp hoặc rút.

Finality xác suất và finality kinh tế

Finality xác suất tăng lên khi có thêm khối được tạo sau giao dịch.Việc đảo ngược khối cũ ngày càng khó vì kẻ tấn công phải thay thế lượng công việc hoặc trọng số của chuỗi đã được chấp nhận lớn hơn.Finality kinh tế dựa trên cam kết của validator có thể bị trừng phạt.Lịch sử đã hoàn tất nhưng mâu thuẫn sẽ đòi hỏi validator vi phạm quy tắc và khiến tài sản đã staking của họ gặp rủi ro.Casper FFG tạo ra finality kinh tế vì hành vi hoàn tất gian lận có thể khiến một phần đáng kể stake của validator bị slashing.Từ “kinh tế” rất quan trọng vì finality phụ thuộc vào chi phí và hậu quả của việc vi phạm đồng thuận chứ không phải tính bất khả thi về mặt vật lý.

Finality có hoàn toàn không thể đảo ngược không?

Finality không khẳng định rằng việc đảo ngược là không thể trong mọi hoàn cảnh có thể tưởng tượng.Đây là bảo đảm của giao thức rằng việc đảo ngược không thể xảy ra nếu các giả định an toàn của hệ thống vẫn được duy trì.Khối đã hoàn tất chỉ có thể bị thách thức sau một sự kiện nghiêm trọng như validator vi phạm quy tắc trên quy mô lớn, lỗi đồng thuận nghiêm trọng hoặc quyết định xã hội sau một sự cố thảm khốc.Độ trễ mạng thông thường, một khối bị bỏ lỡ hoặc sự cố nhỏ của validator không nên đảo ngược lịch sử đã hoàn tất.Trong thực tế sử dụng crypto, giao dịch đã hoàn tất được xem là đã thanh toán vì việc thay đổi giao dịch đòi hỏi chi phí và gián đoạn đặc biệt lớn.

Điều kiện slashing là gì?

Điều kiện slashing xác định những hành vi của validator chứng minh rằng validator đã ký các thông điệp đồng thuận mâu thuẫn.Slashing phá hủy một phần hoặc toàn bộ tiền mã hóa đã staking của validator và loại validator khỏi hoạt động.Finality kiểu Casper dựa trên hai nhóm phiếu bầu checkpoint bị cấm chính.Nhóm thứ nhất là bỏ phiếu hai lần.Nhóm thứ hai là bỏ phiếu bao trùm.Các quy tắc này được thiết kế để việc hoàn tất các checkpoint mâu thuẫn làm lộ ra hành vi vi phạm của lượng validator lớn có thể bị xử phạt.

Bỏ phiếu hai lần là gì?

Bỏ phiếu hai lần xảy ra khi validator gửi hai phiếu checkpoint khác nhau có cùng epoch target.Về cơ bản, validator ủng hộ các target mâu thuẫn trong cùng một kỳ finality.Validator trung thực chỉ được công bố một phiếu target hợp lệ cho epoch đó.Có thể dùng hai phiếu mâu thuẫn đã ký làm bằng chứng mật mã về hành vi vi phạm.

Bỏ phiếu bao trùm là gì?

Bỏ phiếu bao trùm xảy ra khi một phiếu của validator bao trùm một phiếu khác do cùng validator thực hiện.Điều này có nghĩa source của một phiếu sớm hơn, còn target muộn hơn cả hai mốc của phiếu kia.Quy tắc này ngăn validator ủng hộ các lịch sử checkpoint xung đột trong những khoảng thời gian chồng lấn.Cũng như bỏ phiếu hai lần, có thể chứng minh hành vi bỏ phiếu bao trùm bằng các thông điệp đã ký.

Tại sao một phần ba stake quan trọng?

Ngưỡng một phần ba đóng vai trò cốt yếu đối với các thuộc tính an toàn và khả năng tiếp tục hoạt động của Casper FFG.Để hoàn tất cần phiếu bầu đại diện cho ít nhất hai phần ba stake đang hoạt động.Hai nhóm mâu thuẫn, mỗi nhóm có hai phần ba phiếu bầu, phải có ít nhất một phần ba tổng trọng số biểu quyết trùng lặp.Nhóm trùng lặp đó phải vi phạm điều kiện slashing nếu ủng hộ cả hai lần hoàn tất mâu thuẫn.Do đó, theo các giả định của giao thức, để hoàn tất các lịch sử mâu thuẫn thì ít nhất một phần ba tổng stake phải chịu rủi ro bị slashing.

Tài liệu chính thức của Ethereum về Proof of Stake giải thích rằng để đảo ngược lịch sử đã hoàn tất, kẻ tấn công phải đặt ít nhất một phần ba tổng ETH đã staking vào nguy cơ bị phá hủy.

Điều gì xảy ra nếu hơn một phần ba validator ngừng hoạt động?

Nếu hơn một phần ba stake đang hoạt động không bỏ phiếu chính xác, các validator còn lại không thể lập tức đạt ngưỡng hai phần ba cần thiết để hoàn tất.Khối vẫn có thể tiếp tục được đề xuất và quy tắc chọn nhánh vẫn có thể xác định chain head.Tuy nhiên, checkpoint có thể ngừng được hoàn tất.Tình trạng này được gọi là trì hoãn finality hoặc lỗi khả năng tiếp tục hoạt động.Trì hoãn finality không tự động có nghĩa blockchain ngừng xử lý mọi giao dịch.Điều đó có nghĩa trạng thái thanh toán mạnh nhất của giao thức không tiếp tục tiến triển.

Inactivity leak là gì?

Inactivity leak là cơ chế của Ethereum được thiết kế để khôi phục finality sau thời gian dài không có đủ validator tham gia.Khi finality không đạt được trong nhiều epoch, các validator không tham gia đúng cách bắt đầu mất stake với tốc độ tăng dần.Validator đang hoạt động dần chiếm tỷ lệ lớn hơn trong tổng stake hiệu lực còn lại.Cuối cùng, nhóm đang hoạt động có thể lấy lại đa số hai phần ba cần thiết để hoàn tất checkpoint.

Tài liệu về phần thưởng và hình phạt của Ethereum giải thích inactivity leak làm giảm ảnh hưởng của validator không hoạt động cho đến khi đa số đang tham gia có thể khôi phục finality.

Cơ chế này hỗ trợ khả năng tiếp tục hoạt động, nhưng quá trình khôi phục có thể mất thời gian trong trường hợp mạng bị phân vùng nghiêm trọng hoặc nhiều validator gặp sự cố.

Tính an toàn và khả năng tiếp tục hoạt động

Tính an toàn có nghĩa các node trung thực không hoàn tất hai lịch sử blockchain mâu thuẫn.Khả năng tiếp tục hoạt động có nghĩa blockchain có thể tiếp tục phát triển và hoàn tất checkpoint mới.Finality gadget phải cân bằng cả hai thuộc tính.Từ chối hoàn tất khi chưa chắc chắn có thể duy trì tính an toàn nhưng làm chậm thanh toán.Hoàn tất quá dễ dàng có thể tăng tốc độ nhưng làm suy yếu khả năng bảo vệ trước lịch sử mâu thuẫn.Casper FFG ưu tiên tính an toàn mạnh và sử dụng inactivity leak để khôi phục khả năng tiếp tục hoạt động sau gián đoạn kéo dài.

Trì hoãn finality là gì?

Trì hoãn finality xảy ra khi khối vẫn được tạo nhưng checkpoint không nhận đủ phiếu bầu đủ điều kiện để được hoàn tất.Nguyên nhân có thể gồm sự cố validator, lỗi phần mềm, phân vùng mạng, attestation sai hoặc hành vi tấn công có chủ đích.Ứng dụng vẫn có thể hiển thị các giao dịch mới được đề xuất trong thời gian trì hoãn.Tuy nhiên, hệ thống giá trị cao có thể chờ finality được khôi phục trước khi xem các giao dịch đó là đã thanh toán vĩnh viễn.Không nên nhầm trì hoãn finality với tình trạng tái tổ chức chuỗi đã được xác nhận.Đây là dấu hiệu cho thấy mức độ bất định về các khối gần đây tăng lên, chứ không phải bằng chứng các khối đó đã bị xóa.

Hoàn tất kép là gì?

Hoàn tất kép xảy ra khi hai checkpoint mâu thuẫn đều có vẻ đáp ứng quy tắc hoàn tất của giao thức.Đây là sự cố đồng thuận nghiêm trọng.Theo mô hình Casper FFG thông thường, ít nhất một phần ba stake của validator phải ký các phiếu mâu thuẫn có thể bị slashing.Các node quan sát thấy hai lịch sử đã hoàn tất nhưng mâu thuẫn không thể tự động xử lý vấn đề bằng quy tắc chọn nhánh thông thường.Có thể cần phối hợp off-chain và đồng thuận xã hội để xác định lịch sử nào được chấp nhận.Do đó, hoàn tất kép nghiêm trọng hơn nhiều so với tái tổ chức chuỗi ngắn thông thường.

Finality gadget và tái tổ chức chuỗi

Tái tổ chức chuỗi xảy ra khi node thay thế các khối gần đây bằng một nhánh cạnh tranh.Tái tổ chức nhỏ có thể xảy ra trước finality vì validator nhận khối và thông điệp vào các thời điểm khác nhau.Finality gadget giới hạn mức độ mà một đợt tái tổ chức thông thường có thể mở rộng.Trong điều kiện thông thường, node trung thực không bao giờ nên tái tổ chức chuỗi sang nhánh mâu thuẫn với checkpoint đã hoàn tất mới nhất.Ứng dụng chấp nhận khối chưa hoàn tất cần tính đến khả năng còn lại của việc tái tổ chức chuỗi ngắn.

Finality và khoản nạp crypto

Dịch vụ nạp crypto có thể chờ giao dịch đạt số xác nhận cụ thể hoặc đạt finality của giao thức trước khi khả dụng hóa tiền.Khoản nạp nhỏ có thể được ghi có trước khi đạt finality đầy đủ nếu dịch vụ chấp nhận rủi ro tái tổ chức ở mức hạn chế.Khoản nạp lớn có thể cần mức độ chắc chắn thanh toán cao hơn.Thời gian chờ yêu cầu là quyết định quản lý rủi ro vận hành, không phải quy tắc blockchain phổ quát.Người dùng nên phân biệt giữa việc đưa giao dịch vào khối, hiển thị trong ví, được dịch vụ ghi có và thanh toán cuối cùng.

Finality và bridge cross-chain

Bridge cross-chain theo dõi một blockchain và thực hiện hành động trên blockchain khác sau khi phát hiện sự kiện ở chuỗi nguồn.Bridge hoạt động trước khi chuỗi nguồn đạt finality có thể xử lý giao dịch chuyển tiền sau đó bị xóa do tái tổ chức chuỗi.Kẻ tấn công có thể tìm cách nhận tài sản trên chuỗi đích trước khi giao dịch trên chuỗi nguồn biến mất.Chờ finality làm giảm rủi ro này nhưng kéo dài thời gian chuyển tiền.Đơn vị thiết kế bridge cũng phải xem xét tính bảo mật của validator, relayer, hợp đồng thông minh, light client và chuỗi đích.Finality của chuỗi nguồn chỉ bảo vệ một phần trong toàn bộ hệ thống bridge.

Finality và mạng Layer 2

Mạng Layer 2 xử lý giao dịch bên ngoài blockchain cơ sở rồi công bố dữ liệu, bằng chứng hoặc cam kết trở lại blockchain đó.Người dùng có thể nhận xác nhận cục bộ nhanh chóng trước khi giao dịch liên quan trên Layer 1 đạt finality.Thanh toán đầy đủ có thể phụ thuộc vào thiết kế Layer 2, hệ thống bằng chứng, thời hạn thử thách, tính sẵn có của dữ liệu và finality của Layer 1.Giao dịch được mô tả là hoàn tất trong ứng dụng Layer 2 có thể chưa đạt thanh toán cuối cùng trên blockchain nền tảng.Người dùng nên xem ứng dụng đang nói đến loại finality nào.

Finality và hợp đồng thông minh

Giao dịch hợp đồng thông minh có thể được thực thi thành công trước khi khối chứa giao dịch đạt finality.Các ứng dụng khác có thể lập tức thực hiện thêm thao tác dựa trên trạng thái tạm thời đó.Tái tổ chức chuỗi có thể xóa giao dịch và mọi thay đổi trạng thái phụ thuộc vào giao dịch trong nhánh bị thay thế.Do đó, các hành động off-chain có giá trị cao nên chờ mức xác nhận hoặc finality phù hợp.Hợp đồng thông minh chạy trên cùng một chuỗi thường không thể chờ finality trong khi một giao dịch đang thực thi vì giao dịch được xử lý trong một khối.Quy trình cần finality thường phải sử dụng giao dịch sau đó, relayer hoặc hoạt động giám sát off-chain.

Weak subjectivity là gì?

Weak subjectivity là thuộc tính của Proof of Stake, theo đó node mới hoặc ngừng hoạt động lâu cần checkpoint đáng tin cậy gần đây để xác định chuỗi chính xác một cách an toàn.Kẻ tấn công tầm xa có thể tìm cách tạo lịch sử thay thế bằng khóa validator đã rút stake từ lâu.Stake của các validator cũ này có thể không còn hoạt động để chịu cơ chế slashing thông thường.Checkpoint weak subjectivity gần đây cho node biết lịch sử blockchain nào được cộng đồng đang hoạt động công nhận.

Tài liệu chính thức của Ethereum về weak subjectivity giải thích cách checkpoint gần đây bảo vệ node đang đồng bộ khỏi các lịch sử thay thế lỗi thời.

Weak subjectivity không có nghĩa mọi giao dịch hằng ngày đều cần một cơ quan trung ương đáng tin cậy.Khái niệm này chủ yếu áp dụng khi khởi tạo node một cách an toàn nếu node không có thông tin gần đây về chuỗi.

Checkpoint weak subjectivity và checkpoint đã hoàn tất

Checkpoint đã hoàn tất được tạo bởi quy trình bỏ phiếu của validator trong giao thức.Checkpoint weak subjectivity là điểm tham chiếu đáng tin cậy gần đây được cung cấp cho node mới hoặc node đã ngừng hoạt động lâu.Nếu node phát hiện hai checkpoint đã hoàn tất nhưng mâu thuẫn, node có bằng chứng về sự cố đồng thuận nghiêm trọng nhưng không thể tự động xác định nhánh được xã hội chấp nhận.Nếu một khối mâu thuẫn với checkpoint weak subjectivity đáng tin cậy của node, node sẽ từ chối khối đó.Hai khái niệm có liên quan nhưng phục vụ các mục đích bảo mật khác nhau.

Đồng bộ hóa từ checkpoint là gì?

Đồng bộ hóa từ checkpoint cho phép node Proof of Stake bắt đầu đồng bộ từ checkpoint đáng tin cậy gần đây thay vì xử lý toàn bộ lịch sử đồng thuận từ khối genesis.Điều này có thể rút ngắn thời gian khởi chạy node.Node phải lấy checkpoint từ nguồn đáng tin cậy hoặc được xác minh độc lập.Sử dụng checkpoint độc hại có thể khiến node tham gia vào chuỗi sai.Người vận hành node có thể so sánh checkpoint từ nhiều nguồn độc lập trước khi tin cậy một giá trị.

Finality gadget và quy tắc chọn nhánh

Quy tắc chọn nhánh xác định nhánh mà node nên theo tại thời điểm hiện tại.Finality gadget xác định checkpoint cũ nào không nên bị thay thế nữa.Kết quả chọn nhánh có thể thay đổi khi có thông điệp mới.Ranh giới đã hoàn tất cần duy trì ổn định trừ khi xảy ra sự cố đồng thuận nghiêm trọng.LMD-GHOST của Ethereum là quy tắc chọn nhánh, còn Casper FFG là finality gadget.

Finality gadget và cơ chế đồng thuận

Cơ chế đồng thuận là tập hợp đầy đủ các quy tắc, cơ chế khuyến khích, giả định về kết nối mạng, logic chọn nhánh, quy trình chọn validator và quy trình finality được dùng để duy trì sự đồng thuận.Finality gadget là một thành phần của hệ thống lớn hơn đó.Gọi Casper FFG là toàn bộ cơ chế đồng thuận Ethereum sẽ bỏ qua việc đề xuất khối, LMD-GHOST, thực thi giao dịch, phần thưởng, kết nối mạng và các chức năng thiết yếu khác.

Tài liệu về cơ chế đồng thuận Ethereum giải thích rằng đồng thuận bao gồm toàn bộ tập hợp giao thức và cơ chế khuyến khích, chứ không chỉ Proof of Stake hoặc một thuật toán bỏ phiếu.

Finality gadget và Proof of Stake

Proof of Stake là phương thức phân bổ ảnh hưởng trong đồng thuận dựa trên tài sản crypto đã staking.Finality gadget là tập hợp quy tắc sử dụng phiếu bầu của validator để hoàn tất khối hoặc checkpoint.Blockchain Proof of Stake có thể sử dụng finality gadget, nhưng hai thuật ngữ này không thể thay thế cho nhau.Các mạng Proof of Stake khác nhau có thể sử dụng quy tắc finality, ngưỡng, lịch bỏ phiếu và hình phạt khác nhau.

Finality gadget và khả năng chịu lỗi Byzantine

Khả năng chịu lỗi Byzantine mô tả khả năng của một hệ thống phân tán duy trì đồng thuận dù một số thành viên hành động sai hoặc độc hại.Nhiều finality gadget sử dụng các ý tưởng từ cơ chế đồng thuận chịu lỗi Byzantine.Ngưỡng bỏ phiếu siêu đa số cho phép hệ thống chịu được tỷ lệ có giới hạn trọng số validator bị lỗi.Hình phạt kinh tế bổ sung lớp khuyến khích Proof of Stake vào các quy tắc bỏ phiếu đó.Do đó, finality gadget là một thành phần blockchain thực tiễn, còn khả năng chịu lỗi Byzantine là thuộc tính và lĩnh vực nghiên cứu rộng hơn của hệ thống phân tán.

GRANDPA với vai trò finality gadget

GRANDPA là viết tắt của GHOST-based Recursive ANcestor Deriving Prefix Agreement.Đây là finality gadget được sử dụng trong thiết kế đồng thuận Polkadot.GRANDPA tách biệt với cơ chế tạo khối ứng viên.Validator bỏ phiếu cho chuỗi và có thể hoàn tất tổ tiên chung qua nhiều khối thay vì chỉ hoàn tất một khối mới mỗi lần.

Tài liệu đồng thuận chính thức của Polkadot mô tả GRANDPA là finality gadget bất đồng bộ và có thể quy trách nhiệm.

Casper FFG và GRANDPA cho thấy khái niệm finality gadget có thể được triển khai bằng các thuật toán khác nhau.

Ưu điểm của finality gadget riêng biệt

Gadget riêng biệt cho phép quá trình tạo khối tiếp tục nhanh trong khi finality mạnh hơn được hình thành thông qua phiếu bầu của validator.Gadget có thể cung cấp trạng thái finality rõ ràng thay vì yêu cầu người dùng chỉ ước tính độ an toàn dựa trên số xác nhận.Điều kiện slashing giúp một số vi phạm đồng thuận có thể được chứng minh công khai và xử phạt về kinh tế.Thiết kế mô-đun có thể giúp nhà nghiên cứu cải thiện riêng quy tắc chọn nhánh và finality.Thiết kế cũng có thể hỗ trợ cơ chế tạo khối vẫn hoạt động trong các đợt trì hoãn finality tạm thời.

Hạn chế của finality gadget

Finality gadget làm tăng độ phức tạp của giao thức.Validator phải quản lý khóa, lịch bỏ phiếu, kết nối mạng và rủi ro slashing.Để đạt đa số tuyệt đối cần thời gian và liên lạc.Sự cố lớn của validator có thể làm trì hoãn finality ngay cả khi khối vẫn tiếp tục được tạo.Stake tập trung có thể khiến sự cố phối hợp hoặc kiểm duyệt trở nên nghiêm trọng hơn.Node mới và node ngừng hoạt động lâu có thể cần checkpoint đáng tin cậy gần đây theo các giả định weak subjectivity.Finality kinh tế cũng phụ thuộc vào giá trị thực và mức độ phân bổ của tài sản đã staking.

Mức độ tập trung validator và rủi ro finality

Finality gadget an toàn hơn khi stake của validator được phân bổ cho các nhà vận hành, client phần mềm, vị trí địa lý và nhà cung cấp hạ tầng độc lập.Stake tập trung có thể cho phép một tổ chức hoặc nhóm phối hợp trì hoãn finality.Lỗi phần mềm phổ biến cũng có thể ảnh hưởng đồng thời đến nhiều validator.Nếu một client đồng thuận nắm hơn một phần ba stake, lỗi nghiêm trọng có thể ngăn cản finality.Nếu một bản triển khai lỗi nắm đa số tuyệt đối, hậu quả có thể nghiêm trọng hơn.

Hướng dẫn về tính đa dạng client của Ethereum giải thích vì sao phân bổ việc sử dụng validator giữa các bản triển khai client độc lập giúp giảm rủi ro đồng thuận tương quan.

Phân vùng mạng và finality

Phân vùng mạng xảy ra khi các nhóm validator không thể liên lạc ổn định với nhau.Mỗi nhóm có thể nhìn thấy tập hợp khối và attestation khác nhau.Nếu không bên nào kiểm soát hai phần ba stake đang hoạt động, không bên nào được hoàn tất checkpoint mới.Việc mất khả năng tiếp tục hoạt động này bảo vệ tính an toàn vì các nhóm không dễ hoàn tất lịch sử mâu thuẫn.Inactivity leak cuối cùng có thể giúp một bên lấy lại finality nếu tình trạng phân vùng kéo dài đủ lâu.Quá trình khôi phục có thể cần phối hợp cẩn thận vì validator ở các phía khác nhau có thể chịu hình phạt.

Finality gadget có thể hoàn tất giao dịch không hợp lệ không?

Finality gadget không thay thế quy trình xác thực giao dịch và khối thông thường.Client thực thi xác minh chữ ký, số dư, quy tắc hợp đồng thông minh và các yêu cầu giao dịch khác.Client đồng thuận xác minh quy tắc về khối và validator.Node trung thực từ chối khối không hợp lệ trước khi xem sự ủng hộ của validator là hợp lệ.Do đó, việc hoàn tất khối không hợp lệ đòi hỏi sự cố nghiêm trọng liên quan đến hành vi validator, phần mềm client, giả định triển khai hoặc quản trị mạng.Finality khiến lịch sử hợp lệ đã được chấp nhận khó bị đảo ngược, nhưng không biến giao dịch hiển nhiên không hợp lệ thành hợp lệ khi client hoạt động đúng.

Validator có thể đảo ngược khối đã hoàn tất không?

Validator tuân thủ giao thức không bỏ phiếu cho chuỗi mâu thuẫn với checkpoint đã hoàn tất.Nhóm tìm cách hoàn tất lịch sử thay thế cần đủ quyền biểu quyết để vi phạm quy tắc đồng thuận.Phiếu bầu mâu thuẫn sẽ khiến ít nhất một phần stake không trung thực có nguy cơ bị slashing.Tấn công bằng hơn hai phần ba stake có thể tạm thời kiểm soát quá trình hoàn tất, nhưng hậu quả kinh tế và xã hội sẽ rất nghiêm trọng.Do đó, người dùng nên xem khối đã hoàn tất khác với khối mới được đề xuất.

Single-slot finality là gì?

Single-slot finality là thiết kế blockchain đề xuất trong đó khối có thể được đề xuất và hoàn tất trong cùng một slot.Quy trình finality hiện tại của Ethereum mất khoảng 15 phút.Single-slot finality sẽ rút ngắn thời gian chờ cho ứng dụng và người dùng.Cơ chế này cũng có thể giới hạn khoảng thời gian khối gần đây dễ bị tấn công tái tổ chức.Để triển khai ở quy mô Ethereum cần tổng hợp và xác minh hiệu quả số lượng validator rất lớn.Tính đến tháng 7 năm 2026, single-slot finality vẫn thuộc lộ trình tương lai của Ethereum, chưa phải quy trình finality đang được sử dụng trên mainnet.

Tại sao đạt finality nhanh hơn lại khó?

Đạt finality nhanh hơn đòi hỏi validator liên lạc, bỏ phiếu, tổng hợp chữ ký và xác minh kết quả trong thời gian ngắn hơn.Mạng validator toàn cầu gặp độ trễ, sự cố tạm thời và chất lượng kết nối không đồng đều.Yêu cầu mọi validator bỏ phiếu trong mỗi slot có thể đòi hỏi đáng kể về băng thông và năng lực tính toán.Sử dụng các committee nhỏ hơn giúp tăng hiệu quả nhưng có thể giảm mức độ bảo mật kinh tế được đại diện bởi mỗi phiếu bầu.Nhà thiết kế giao thức phải cân bằng tốc độ, tính phi tập trung, độ an toàn, yêu cầu phần cứng và khả năng chống chịu.

Tại sao finality quan trọng với trader crypto?

Finality giúp trader hiểu khi nào khoản nạp hoặc giao dịch chuyển tiền khó có khả năng biến mất do tái tổ chức chuỗi.Giao dịch chỉ hiển thị trong khối mới được đề xuất vẫn có rủi ro tái tổ chức nhất định.Giao dịch đã hoàn tất đạt ngưỡng đồng thuận thông thường mạnh nhất của mạng lưới.Người chuyển số tiền lớn có thể chọn chờ finality ngay cả khi dịch vụ ghi có giao dịch nhỏ sớm hơn.Finality không thể bảo vệ trader khỏi gửi crypto sai địa chỉ, ký giao dịch độc hại hoặc mua tài sản mất giá.

Tại sao finality quan trọng với nhà phát triển?

Nhà phát triển phải quyết định khi nào ứng dụng nên xem một sự kiện on-chain là đã thanh toán.Phản hồi ngay lập tức giúp tăng tốc độ nhưng làm tăng rủi ro tái tổ chức chuỗi.Chờ finality đầy đủ giúp tăng độ tin cậy thanh toán nhưng kéo dài độ trễ.Ứng dụng nên phân biệt trạng thái khối được đề xuất, an toàn và đã hoàn tất nếu giao diện mạng hỗ trợ các trạng thái đó.Ứng dụng cross-chain nên xem xét finality trên cả chuỗi nguồn lẫn chuỗi đích.Hệ thống giám sát nên phát hiện trì hoãn finality thay vì mặc định finality luôn tiến triển đúng lịch.

Tại sao finality quan trọng với validator?

Validator góp phần tạo finality bằng cách công bố attestation nhất quán và đúng hạn.Họ phải bảo vệ khóa ký và tránh chạy cấu hình có thể tạo thông điệp mâu thuẫn.Hệ thống chuyển đổi dự phòng cần được thiết kế cẩn thận vì hai phiên bản validator cùng hoạt động và dùng chung một khóa có thể bỏ phiếu hai lần.Validator nên sử dụng cơ sở dữ liệu bảo vệ khỏi slashing nếu phần mềm hỗ trợ.Tính đa dạng client, đồng bộ thời gian đáng tin cậy, kết nối mạng an toàn và giám sát cũng giúp giảm rủi ro liên quan đến finality.

Cách người dùng kiểm tra finality

Trình khám phá blockchain hoặc giao diện node có thể gắn nhãn khối đã hoàn tất.API đồng thuận Ethereum cũng cung cấp thông tin về checkpoint đã hoàn tất.Ví có thể chỉ hiển thị giao dịch là đã xác nhận mà không cho biết đã đạt finality đầy đủ hay chưa.Người dùng xử lý giao dịch giá trị cao có thể so sánh khối chứa giao dịch với khối đã hoàn tất mới nhất của mạng.Giao diện bên thứ ba có thể hiển thị dữ liệu trễ hoặc không chính xác, vì vậy hệ thống quan trọng có thể truy vấn node riêng hoặc nhiều nguồn độc lập.

Những hiểu lầm thường gặp về finality gadget

Finality gadget không phải toàn bộ cơ chế đồng thuận blockchain.Finality gadget không nhất thiết tạo khối.Khối mới được xác nhận không phải lúc nào cũng đã hoàn tất.Finality không có nghĩa mọi ứng dụng đã ghi có giao dịch.Giao dịch đã hoàn tất không thể bị đảo ngược trong điều kiện giao thức thông thường, nhưng về lý thuyết vẫn có thể xảy ra sự cố đồng thuận thảm khốc.Không phải validator nào bỏ lỡ một phiếu bầu cũng bị slashing.Slashing nhắm đến hành vi mâu thuẫn có thể chứng minh hoặc hành vi gian lận nghiêm trọng, còn việc bỏ lỡ tham gia thông thường thường chỉ chịu hình phạt nhỏ hơn.Trì hoãn finality không tự động có nghĩa blockchain ngừng tạo khối.Casper FFG không giống LMD-GHOST.Single-slot finality hiện chưa hoạt động trên Ethereum mainnet.

Câu hỏi thường gặp

Finality gadget trong crypto có nghĩa là gì?

Finality gadget là thành phần đồng thuận sử dụng phiếu bầu của validator và quy tắc kinh tế để xác định khi nào khối hoặc checkpoint được xem là đã hoàn tất.

Mục đích của finality gadget là gì?

Mục đích là tạo bảo đảm thanh toán mạnh và ngăn các đợt tái tổ chức chuỗi thông thường thay thế lịch sử blockchain đã hoàn tất.

Finality gadget nổi tiếng nhất là gì?

Casper the Friendly Finality Gadget, hay Casper FFG, là ví dụ nổi tiếng nhất và được sử dụng trong hệ thống đồng thuận Proof of Stake của Ethereum.

FFG là viết tắt của từ gì?

FFG là viết tắt của Friendly Finality Gadget.

Casper FFG có giống Proof of Stake của Ethereum không?

Không. Casper FFG là thành phần finality trong cơ chế đồng thuận Proof of Stake rộng hơn của Ethereum.

Gasper là gì?

Gasper là thiết kế đồng thuận của Ethereum, kết hợp finality gadget Casper FFG với quy tắc chọn nhánh LMD-GHOST.

Casper FFG khác LMD-GHOST như thế nào?

Casper FFG hoàn tất checkpoint, còn LMD-GHOST chọn chain head hiện tại của blockchain.

Khối đã hoàn tất là gì?

Khối đã hoàn tất là khối không thể bị xóa trong điều kiện giao thức thông thường nếu không xảy ra sự cố đồng thuận nghiêm trọng và hình phạt lớn đối với validator.

Checkpoint được xác nhận hợp lệ là gì?

Checkpoint được xác nhận hợp lệ đã nhận liên kết siêu đa số đủ điều kiện từ checkpoint trước đó cũng đã được xác nhận hợp lệ, nhưng chưa chắc đã đạt finality.

Liên kết siêu đa số là gì?

Đó là phiếu bầu cho checkpoint được ít nhất hai phần ba stake validator đang hoạt động liên quan ủng hộ.

Ethereum mất bao lâu để đạt finality?

Trong điều kiện thông thường, Ethereum hiện đạt finality đầy đủ ở cấp giao thức trong khoảng 15 phút.

Một epoch Ethereum kéo dài bao lâu?

Một epoch Ethereum gồm 32 slot, mỗi slot 12 giây, và kéo dài khoảng 6,4 phút.

Một xác nhận Ethereum đã đủ finality chưa?

Chưa. Khối có thể được xác nhận và chấp nhận làm chain head hiện tại trước khi đạt finality ở cấp giao thức.

Giao dịch đã hoàn tất có thể bị đảo ngược không?

Không trong điều kiện vận hành thông thường, vì việc đảo ngược cần validator vi phạm quy tắc nghiêm trọng, chịu hình phạt kinh tế hoặc xảy ra sự cố đồng thuận đặc biệt.

Cần bao nhiêu stake để hoàn tất checkpoint?

Cần phiếu bầu đại diện cho ít nhất hai phần ba stake đang hoạt động để tạo liên kết siêu đa số cần thiết.

Tại sao một phần ba stake quan trọng?

Hơn một phần ba stake có thể trì hoãn finality, còn việc hoàn tất các checkpoint mâu thuẫn khiến ít nhất một phần ba stake có thể bị slashing theo các giả định Casper thông thường.

Điều gì xảy ra khi một phần ba validator ngoại tuyến?

Mạng có thể ngừng hoàn tất checkpoint mới vì trọng số biểu quyết còn lại không đạt ngưỡng hai phần ba bắt buộc.

Inactivity leak là gì?

Đây là cơ chế dần giảm stake của validator không tham gia trong thời gian finality thất bại kéo dài, để validator đang hoạt động cuối cùng có thể lấy lại đa số tuyệt đối.

Trì hoãn finality có dừng mọi giao dịch không?

Không nhất thiết, vì khối vẫn có thể được đề xuất dù checkpoint mới chưa đạt finality.

Hoàn tất kép là gì?

Hoàn tất kép là sự cố đồng thuận nghiêm trọng trong đó hai checkpoint mâu thuẫn có vẻ đều được hoàn tất.

Bỏ phiếu hai lần là gì?

Bỏ phiếu hai lần xảy ra khi validator ký các target checkpoint khác nhau cho cùng một epoch target.

Bỏ phiếu bao trùm là gì?

Bỏ phiếu bao trùm xảy ra khi một phiếu checkpoint của validator bao trùm trái phép một phiếu khác do chính validator đó thực hiện.

Slashing là gì?

Slashing là việc phá hủy stake của validator và loại validator khỏi hoạt động xác thực sau khi chứng minh được hành vi vi phạm đồng thuận nghiêm trọng.

Finality gadget chỉ được Ethereum sử dụng không?

Không. Các hệ thống blockchain khác sử dụng cơ chế finality riêng, trong đó có finality gadget GRANDPA.

GRANDPA là gì?

GRANDPA là finality gadget bỏ phiếu cho các chuỗi và hoàn tất tổ tiên chung, tách biệt với quy trình tạo khối.

Weak subjectivity là gì?

Weak subjectivity có nghĩa node Proof of Stake mới hoặc ngừng hoạt động lâu cần checkpoint đáng tin cậy gần đây để đồng bộ an toàn.

Đồng bộ hóa từ checkpoint là gì?

Đồng bộ hóa từ checkpoint cho phép node bắt đầu đồng bộ đồng thuận từ checkpoint đáng tin cậy gần đây thay vì xử lý toàn bộ lịch sử từ khối genesis.

Single-slot finality là gì?

Single-slot finality là thiết kế được đề xuất, trong đó một khối được đề xuất và hoàn tất trong cùng một slot.

Ethereum hiện đang sử dụng single-slot finality không?

Không. Tính đến tháng 7 năm 2026, đây vẫn là mục tiêu trong lộ trình tương lai.

Tại sao crypto bridge chờ finality?

Bridge chờ để giảm rủi ro phát hành tài sản hoặc thông điệp dựa trên giao dịch chuỗi nguồn sau đó bị xóa do tái tổ chức chuỗi.

Finality có bảo vệ khỏi việc ví bị đánh cắp không?

Không. Finality bảo vệ lịch sử blockchain chứ không bảo vệ khóa riêng tư, quyền của ví, tính bảo mật của hợp đồng thông minh hoặc giá trị đầu tư.

Người dùng kiểm tra khối đã hoàn tất như thế nào?

Người dùng có thể so sánh khối chứa giao dịch với checkpoint đã hoàn tất mới nhất do trình khám phá blockchain đáng tin cậy hoặc node đồng thuận cung cấp.

Kết luận

Finality gadget là thành phần đồng thuận blockchain biến sự đồng thuận của validator thành bảo đảm thanh toán mạnh.Finality gadget hoạt động song song với quy tắc tạo khối và chọn nhánh, chứ không thay thế toàn bộ cơ chế đồng thuận.Casper FFG của Ethereum sử dụng phiếu bầu checkpoint, liên kết siêu đa số hai phần ba, cơ chế xác nhận hợp lệ, hoàn tất và điều kiện slashing để bảo vệ lịch sử blockchain.Ethereum kết hợp Casper FFG với LMD-GHOST trong thiết kế đồng thuận rộng hơn có tên Gasper.Checkpoint đã hoàn tất không thể bị thay thế trong điều kiện vận hành thông thường nếu không có vi phạm quy tắc nghiêm trọng của validator và hình phạt kinh tế đáng kể.Finality gadget có thể duy trì tính an toàn bằng cách trì hoãn việc hoàn tất khi quá nhiều validator ngoại tuyến hoặc bất đồng.Inactivity leak của Ethereum được thiết kế để khôi phục khả năng tiếp tục hoạt động bằng cách giảm ảnh hưởng của stake không tham gia trong thời gian finality thất bại kéo dài.Finality có ý nghĩa với khoản nạp crypto, bridge, hệ thống Layer 2, hợp đồng thông minh, validator và mọi ứng dụng cần xác định khi nào một sự kiện on-chain đã được thanh toán vĩnh viễn.Finality hiện tại của Ethereum mất khoảng 15 phút, còn single-slot finality vẫn là mục tiêu phát triển trong tương lai.Hiểu rõ sự khác biệt giữa đề xuất khối, chọn nhánh, xác nhận, xác nhận hợp lệ và hoàn tất giúp người dùng crypto đánh giá rủi ro thanh toán blockchain chính xác hơn.