Ethereum 2.0: Làm thế nào để đạt được mục đích cuối cùng?
Lưu ý của biên tập viên: Bài viết này đến từUnitimes（ID：Uni-times）Lưu ý của biên tập viên: Bài viết này đến từ
, Tác giả: Bruno Škvorc, Trình biên dịch: Summer, được Odaily in lại với sự cho phép.
Trước tiên, hãy cố gắng hiểu tài chính là gì. [Nhận xét: Cũng có bản dịch dịch finality thành "chắc chắn"]
Bạn hẳn đã nhận thấy rằng các nền tảng tiền điện tử và Dapps (ứng dụng phi tập trung) thường đợi một số khối được hoàn thiện trước khi coi giao dịch của bạn là "đã xác nhận". Đây là một cách để đảm bảo rằng một giao dịch đã được "gần như" hoàn tất hoặc giao dịch đó "gần như" không thể đảo ngược, nghĩa là giao dịch đã được "hoàn tất".
Ethereum 2.0 có thể cung cấp sự đảm bảo về tính hữu hạn, đây là một thực tế khách quan được lưu giữ trong chuỗi khối Ethereum, thay vì trạng thái "gần". Điều này rất quan trọng vì nó cho phép giao tiếp trên chuỗi nhanh hơn, tức là nếu một khối vừa được hoàn thiện, thì khối đó sẽ không phải chờ nhiều lần xác nhận.
Điều đó nói rằng, các chuỗi khối dựa trên Proof-of-Work (chẳng hạn như Bitcoin) không bao giờ bao gồm các tính năng giúp giao dịch thực sự là cuối cùng; trong khi chuỗi Ethereum 2.0 được thiết kế để cung cấp sự đảm bảo về tính cuối cùng mạnh mẽ hơn Proof-of-Work.
Hãy cụ thể hơn. Trước tiên hãy xem xét một vài định nghĩa:
LMD GHOST là quy tắc lựa chọn fork được Ethereum 2.0 sử dụng (nghĩa là quy tắc được sử dụng để xác định chuỗi nào là "chuỗi có thẩm quyền"). "
Casper FFG là cơ chế bằng chứng cổ phần (PoS) được Ethereum 2.0 sử dụng và tên đầy đủ của nó là "Casper the Friendly Finality Gadget (Casper the Friendly Finality Gadget)"
Trong chuỗi Ethereum 2.0, mỗi lần tạo 64 khối (khoảng 6,4 phút) được gọi là một kỷ nguyên;
Trong hệ thống Ethereum 2.0, vị trí là thời gian cần thiết để tạo một khối mới, nghĩa là thời gian cần thiết để một khối mới được đề xuất và chứng minh là đúng. Mỗi vị trí được đặt thành 6 giây, nhưng không phải mọi khối mới sẽ được tạo trong mỗi vị trí. Khe cuối cùng trong mỗi epoch được gọi là trạm kiểm soát (checkpoint).
Dựa trên những thông tin trên, chúng ta tiếp tục thảo luận về Justification (bằng chứng) và Finalization (tính cuối cùng).
Casper FFG
tiêu đề phụ
Casper là một phương pháp để chứng thực và hoàn thiện các khối (cho dù chúng được tạo bởi nền tảng chuỗi khối nói chung hay trong các kỷ nguyên trong chuỗi Ethereum 2.0). Casper là một "tiện ích" có mục đích chung có thể được thêm vào bất kỳ chuỗi khối nào cần đạt được tính hữu hạn, nhưng Casper hữu ích nhất trong các chuỗi khối PoS.
Finality trong Ethereum 2.0 là khái niệm mà hệ thống xác định rằng sẽ không có hai điểm kiểm tra hoàn thiện, cạnh tranh và khi điều này xảy ra, ít nhất một phần ba số người xác thực đang hoạt động Người vi phạm sẽ bị cắt giảm. Chúng tôi gọi đó là tài chính kinh tế.
Bạn có thể thắc mắc, tại sao một phần ba số người xác thực sẽ bị cắt giảm? Chúng tôi biết rằng trong hệ thống Ethereum 2.0, hai phần ba số người xác minh phải là người xác minh trung thực để tham gia xác minh (nghĩa là bỏ phiếu), vì vậy nếu có hai điểm kiểm tra cạnh tranh và hoàn thiện trong hệ thống, thì điều đó có nghĩa là hai- một phần ba số người xác thực đã bỏ phiếu cho một trong các điểm kiểm tra, đồng thời, hai phần ba số người xác thực đã bỏ phiếu cho điểm kiểm tra kia, nghĩa là ít nhất một phần ba số người xác nhận đã bỏ phiếu cho điểm kiểm tra này. , những trình xác minh này sẽ được hệ thống coi là trình xác minh độc hại và sẽ bị cắt giảm tương ứng.
Đối với người xác minh, lợi ích lớn nhất đến từ việc hoàn thiện chính xác trạng thái đèn hiệu, thay vì thực hiện các hoạt động độc hại không phù hợp.
Vậy "đã hoàn thiện" trong "điểm kiểm tra đã hoàn thiện" nghĩa là gì? Trước khi giải thích điều này, chúng ta cần giải thích "sự biện minh" là gì.
Bằng chứng là những người xác thực quyết định điểm kiểm tra nào là khối trên cùng của chuỗi đèn hiệu bằng cách bỏ phiếu trên điểm kiểm tra. Nếu hai phần ba số người xác minh (nghĩa là đại đa số người xác minh) đạt được sự đồng thuận trong hai kỷ nguyên liên tiếp, thì hai kỷ nguyên liên tiếp là hợp lý và kỷ nguyên trước đó được coi là đã hoàn thành ( đã hoàn thiện).
LƯU Ý: Các định nghĩa trên phần lớn được đơn giản hóa để dễ hiểu. Một số yếu tố khác cũng có liên quan, nhưng điều này nằm ngoài phạm vi của bài viết này.
Do đó, một kỷ nguyên "hoàn thành" thực sự là một kỷ nguyên "đã được chứng minh", với một điểm khác biệt chính - khi một điều gì đó được "chứng minh", bạn vẫn có thể quay ngược thời gian và khiển trách nó; nhưng khi bạn "đóng dấu" một điều gì đó, điều đó trở nên rất khó khăn để viết lại lịch sử.
Nói cách khác, nếu một cái gì đó được "hoàn thiện", thì điều đó phải có nghĩa là nó đã được "chứng minh" và điều gì đó đã được "chứng minh" không nhất thiết có nghĩa là nó đã được "hoàn thiện".
Do đó, người xác thực chứng thực/hoàn thiện các kỷ nguyên bằng cách bỏ phiếu, đó là cách người xác thực bỏ phiếu cho trạng thái hợp lệ mới nhất đã biết của chuỗi khối Ethereum.
LMD GHOST
tiêu đề phụ
Đây là lúc quy tắc lựa chọn ngã ba phát huy tác dụng.
GHOST thực sự là một giao thức rất phổ biến trên PoW (Proof of Work) và các nền tảng blockchain khác. Giao thức GHOST tuân theo cây con "nặng nhất", là chuỗi dài nhất.
Trong chuỗi khối Bitcoin, nhánh "nặng nhất" là chuỗi đặt nhiều sức mạnh tính toán nhất vào các khối của nó, đây cũng là chuỗi dài nhất. Rõ ràng chuỗi dài nhất là cái mà chúng ta gọi là "chuỗi chính tắc", nhưng vẫn có khả năng chuỗi này chuyển sang chuỗi rẽ nhánh khác (mặc dù khả năng là rất nhỏ), vì vậy tính hữu hạn của chuỗi dài nhất là xác suất tình dục.
LMD làm cho "tin nhắn" hoạt động, có nghĩa là tính hữu hạn trên chuỗi Ethereum 2.0 được "thúc đẩy bởi những tin tức mới nhất". Thông điệp là sự chứng thực và tất cả những gì tóm tắt lại là chuỗi rẽ nhánh có nhiều phiếu bầu nhất sẽ được coi là "chuỗi có thẩm quyền".
Trong hình trên, mặc dù chuỗi rẽ nhánh ở trên cùng là chuỗi dài nhất, nhưng chuỗi các khối màu xanh lá cây bên dưới là "chuỗi có thẩm quyền" vì các khối màu xanh lá cây chứa nhiều bằng chứng nhất và cũng có nghĩa là có nhiều phiếu bầu của người xác thực nhất.
Gasper
tiêu đề phụ
Chúng ta hãy xem slide này từ bài nói chuyện của nhà nghiên cứu Ethereum Justin Drake về Eth2.0 tại hội nghị EthCC.
Mô tả hình ảnh
trượt 1
Trong hình trên, hai ô chấm chấm thể hiện các tình huống bất hợp pháp trong việc lựa chọn ngã ba. Ô chấm chấm bên trái phía trên cho thấy nếu bạn bỏ phiếu cho hai gốc trạng thái khác nhau cùng một lúc thì đó là một cuộc bỏ phiếu bất hợp pháp, tức là bạn không thể bỏ phiếu cho hai nội dung (gốc trạng thái) khác nhau cùng một lúc.
Hộp gạch ngang ở phía trên bên phải cho biết bạn không thể bỏ qua một số kỷ nguyên nhất định và bỏ phiếu cho các kỷ nguyên sau. Nói cách khác, bạn không thể bỏ phiếu cho các kỷ nguyên trong tương lai trước khi bỏ phiếu cho kỷ nguyên ứng cử viên hiện tại.
Hãy nhìn vào slide thứ hai.
Mô tả hình ảnh
Theo quy định trên, việc bỏ phiếu cho hai kỷ nguyên có nội dung khác nhau cùng một lúc là bất hợp pháp. Trong trường hợp nửa dưới của trang trình bày 2 chứa hai chuỗi phân nhánh, hai kỷ nguyên (chấm đỏ) trong chuỗi phân nhánh phía trên đã được hoàn thiện (hoàn thiện), do đó, có vẻ như chuỗi phân nhánh trên là hợp lệ; nhưng chuỗi phân nhánh chuỗi bên dưới cũng chứa hai kỷ nguyên đã được hoàn thiện, nhưng hai kỷ nguyên đó đã được hoàn thiện sau!
Mô tả hình ảnh
trượt 3
Điều này có nghĩa là chuỗi fork bên dưới là một fork không hợp lệ, bởi vì nếu bỏ phiếu theo hai kỷ nguyên đã hoàn thành bên dưới, điều đó có nghĩa là một kỷ nguyên mới được bình chọn sẽ theo sau một kỷ nguyên từ ngã ba khác Kỷ nguyên của chuỗi. Điều này là bất hợp pháp vì các điểm kiểm tra cuối cùng phải theo thứ tự thời gian. Nếu điều này xảy ra, số lượng lớn người xác thực sẽ bị phạt nặng, vì phần lớn người xác thực đã bỏ phiếu cho một kỷ nguyên trên "chuỗi bất hợp pháp". Do đó, những người xác nhận này phải bị trừng phạt.
Đó là nó! Nếu bạn là người xác thực, hãy đảm bảo rằng bạn chỉ bỏ phiếu một lần trong mỗi khoảng thời gian và đảm bảo rằng bạn đang bỏ phiếu cho những người khác đang bỏ phiếu. Để tránh bị mất trắng! (Đừng lo lắng, tất cả những thứ này sẽ được tích hợp vào ứng dụng khách Ethereum 2.0 mà bạn sử dụng)
