Sự đồng thuận của Ethereum 2.0 an toàn đến mức nào?

Lưu ý của biên tập viên: Bài viết này đến từGhi chú cáo xanhLưu ý của biên tập viên: Bài viết này đến từ

Ghi chú cáo xanh

(ID: lanhubiji), tác giả: Alex Stokeso, biên dịch: SL, phát hành dưới sự cho phép.

Một trong những thay đổi chính của Ethereum 2.0 là thay đổi cơ chế đồng thuận, chuyển từ PoW sang PoS (Casper). Nó sẽ an toàn hơn PoW chứ?

Hoạt động bình thường của giao thức đồng thuận bằng chứng cổ phần của Casper dẫn đến việc tạo ra các thuộc tính cuối cùng trên dữ liệu và những người tham gia đạt được sự đồng thuận trong quá trình tham gia. Chúng tôi coi dữ liệu này là dữ liệu cuối cùng, bởi vì sau khi đạt được, dữ liệu không thể thay đổi mà không đốt cháy hơn 1/3 số mã thông báo đã cam kết mà người tham gia gửi vào hệ thống. Hóa ra thuộc tính này bổ sung một số đảm bảo bảo mật tốt mà các hệ thống PoW hiện tại thiếu.

Một cách để nghĩ về Casper là các trình xác thực trong hệ thống (tương tự như các công cụ khai thác trong PoW) được giao nhiệm vụ bỏ phiếu cho các khối trong chuỗi khối mà chúng coi là "chuẩn". Những người xác thực riêng lẻ được khen thưởng khi đạt được sự đồng thuận với những người xác thực khác (khuyến khích sự đồng thuận trên một chuỗi) và bị trừng phạt vì hành vi nguy hiểm đã được chứng minh (chẳng hạn như cố gắng bỏ phiếu cho hai chuỗi khác nhau). Hình phạt được thi hành thông qua các khoản tiền gửi được bảo đảm (đặt cược), mã thông báo đặt cược bị khóa trong hệ thống bởi những người xác thực trước khi tham gia.

Tính bảo mật của Ethereum 2.0 bắt nguồn từ tổng số tiền gửi này và các quy tắc của nó (chẳng hạn như "điều kiện gạch chéo", v.v.), đảm bảo rằng những người xác thực sẽ mất tiền gửi nếu họ cố gắng tấn công sự đồng thuận. Để thêm một số nhiên liệu vào biên độ an toàn, lỗi đồng thuận Ethereum 2.0 sẽ yêu cầu hơn 1/3 số trình xác thực đang hoạt động trên mạng vi phạm điều kiện để giảm thiểu. Giả sử mức độ tham gia lành mạnh vào hệ thống Ethereum là 10 triệu ETH, một cuộc tấn công thành công có nghĩa là đốt cháy 3,3 triệu ETH, tổng giá trị hơn 500 triệu USD tại thời điểm viết bài. ( Blue Fox Ghi chú: Con số hiện tại đã vượt quá 700 triệu đô la Mỹ, nói cách khác, dựa theo tình hình hiện tại, chi phí cho cuộc tấn công của nó ít nhất phải là 700 triệu đô la Mỹ.)

Với kích thước của giới hạn an toàn này, quy trình Casper coi mọi dữ liệu được chuẩn hóa là dữ liệu cuối cùng, vì chi phí hoàn tác quá trình "chuẩn hóa" này là một lượng lớn tự hủy. Tính hữu hạn của sự đồng thuận này trái ngược với sự đảm bảo đồng thuận của Nakamoto, vốn chỉ là một tuyên bố mang tính xác suất về tính bảo mật của một dữ liệu nhất định, dựa trên bằng chứng về công việc được thực hiện trên đó.