Chủ quan yếu kém

Tính chủ quan trong các chuỗi khối đề cập đến sự phụ thuộc vào thông tin xã hội để đồng thuận về trạng thái hiện tại. Có thể có nhiều phân nhánh hợp lệ được chọn từ đó theo thông tin thu thập được từ các máy ngang hàng khác trên mạng. Ngược lại là tính khách quan, đề cập đến các chuỗi chỉ có một chuỗi hợp lệ duy nhất mà tất cả các nút nhất thiết sẽ đồng thuận bằng cách áp dụng các quy tắc được mã hóa của chúng. Ngoài ra còn có một trạng thái thứ ba, được gọi là tính chủ quan yếu. Điều này đề cập đến một chuỗi có thể tiến triển một cách khách quan sau khi một số mầm mống thông tin ban đầu được truy xuất một cách xã hội.

Điều kiện tiên quyết

Để hiểu trang này, trước tiên cần phải hiểu các nguyên tắc cơ bản của bằng chứng cổ phần.

Tính chủ quan yếu giải quyết những vấn đề gì?

Tính chủ quan vốn có trong các chuỗi khối bằng chứng cổ phần vì việc chọn chuỗi chính xác từ nhiều phân nhánh được thực hiện bằng cách đếm các phiếu bầu trong quá khứ. Điều này phơi bày chuỗi khối trước một số véc-tơ tấn công, bao gồm cả các cuộc tấn công tầm xa, theo đó các nút đã tham gia từ rất sớm trong chuỗi duy trì một phân nhánh thay thế mà chúng phát hành sau đó rất lâu để trục lợi. Ngoài ra, nếu 33% người xác thực rút cổ phần của họ nhưng vẫn tiếp tục chứng thực và tạo khối, họ có thể tạo ra một phân nhánh thay thế xung đột với chuỗi chính tắc. Các nút mới hoặc các nút đã ngoại tuyến trong một thời gian dài có thể không biết rằng những người xác thực tấn công này đã rút tiền của họ, vì vậy những kẻ tấn công có thể lừa họ đi theo một chuỗi không chính xác. Ethereum có thể giải quyết các véc-tơ tấn công này bằng cách áp đặt các ràng buộc làm giảm các khía cạnh chủ quan của cơ chế—và do đó là các giả định về sự tin cậy—xuống mức tối thiểu.

Các điểm kiểm tra tính chủ quan yếu

Tính chủ quan yếu được triển khai trong Ethereum bằng chứng cổ phần bằng cách sử dụng "các điểm kiểm tra tính chủ quan yếu". Đây là các gốc trạng thái mà tất cả các nút trên mạng đều đồng thuận thuộc về chuỗi chính tắc. Chúng phục vụ cùng mục đích "sự thật phổ quát" như các khối khởi nguyên, ngoại trừ việc chúng không nằm ở vị trí khởi nguyên trong chuỗi khối. Thuật toán lựa chọn phân nhánh tin tưởng rằng trạng thái chuỗi khối được xác định trong điểm kiểm tra đó là chính xác và nó xác minh chuỗi một cách độc lập và khách quan kể từ thời điểm đó trở đi. Các điểm kiểm tra hoạt động như "giới hạn hoàn nguyên" vì các khối nằm trước các điểm kiểm tra tính chủ quan yếu không thể bị thay đổi. Điều này làm suy yếu các cuộc tấn công tầm xa đơn giản bằng cách xác định các phân nhánh tầm xa là không hợp lệ như một phần của thiết kế cơ chế. Việc đảm bảo rằng các điểm kiểm tra tính chủ quan yếu được ngăn cách bởi một khoảng cách nhỏ hơn thời gian rút tiền của người xác thực đảm bảo rằng một người xác thực phân nhánh chuỗi sẽ bị phạt cắt giảm ít nhất một số tiền ngưỡng trước khi họ có thể rút cổ phần của mình và những người mới tham gia không thể bị lừa vào các phân nhánh không chính xác bởi những người xác thực đã rút cổ phần.

Sự khác biệt giữa các điểm kiểm tra tính chủ quan yếu và các khối đã hoàn tất

Các khối đã hoàn tất và các điểm kiểm tra tính chủ quan yếu được các nút Ethereum xử lý khác nhau. Nếu một nút nhận biết được hai khối đã hoàn tất đang cạnh tranh nhau, thì nó sẽ bị giằng co giữa hai lựa chọn - nó không có cách nào để tự động xác định đâu là phân nhánh chính tắc. Đây là triệu chứng của sự cố đồng thuận. Ngược lại, một nút chỉ đơn giản là từ chối bất kỳ khối nào xung đột với điểm kiểm tra tính chủ quan yếu của nó. Từ góc nhìn của nút, điểm kiểm tra tính chủ quan yếu đại diện cho một sự thật tuyệt đối không thể bị phá vỡ bởi kiến thức mới từ các máy ngang hàng của nó.

Yếu đến mức nào?

Khía cạnh chủ quan của bằng chứng cổ phần của Ethereum là yêu cầu một trạng thái gần đây (điểm kiểm tra tính chủ quan yếu) từ một nguồn đáng tin cậy để đồng bộ hóa. Rủi ro nhận được một điểm kiểm tra tính chủ quan yếu sai là rất thấp vì chúng có thể được kiểm tra đối chiếu với một số nguồn công khai độc lập như các trình duyệt khối hoặc nhiều nút. Tuy nhiên, luôn có một mức độ tin cậy nhất định được yêu cầu để chạy bất kỳ ứng dụng phần mềm nào, ví dụ, tin tưởng rằng các nhà phát triển phần mềm đã tạo ra phần mềm trung thực.

Một điểm kiểm tra tính chủ quan yếu thậm chí có thể là một phần của phần mềm máy khách. Có thể cho rằng một kẻ tấn công có thể làm sai lệch điểm kiểm tra trong phần mềm và cũng có thể dễ dàng làm sai lệch chính phần mềm đó. Không có con đường kinh tế-mật mã thực sự nào để giải quyết vấn đề này, nhưng tác động của các nhà phát triển không đáng tin cậy được giảm thiểu trong Ethereum bằng cách có nhiều nhóm máy khách độc lập, mỗi nhóm xây dựng phần mềm tương đương bằng các ngôn ngữ khác nhau, tất cả đều có lợi ích cố hữu trong việc duy trì một chuỗi trung thực. Các trình duyệt khối cũng có thể cung cấp các điểm kiểm tra tính chủ quan yếu hoặc một cách để tham chiếu chéo các điểm kiểm tra thu được từ nơi khác với một nguồn bổ sung.

Cuối cùng, các điểm kiểm tra có thể được yêu cầu từ các nút khác; có lẽ một người dùng Ethereum khác chạy một nút đầy đủ có thể cung cấp một điểm kiểm tra mà sau đó những người xác thực có thể xác minh với dữ liệu từ một trình duyệt khối. Nhìn chung, việc tin tưởng nhà cung cấp một điểm kiểm tra tính chủ quan yếu có thể được coi là có vấn đề tương tự như việc tin tưởng các nhà phát triển máy khách. Mức độ tin cậy tổng thể được yêu cầu là thấp. Điều quan trọng cần lưu ý là những cân nhắc này chỉ trở nên quan trọng trong trường hợp rất khó xảy ra là đa số người xác thực âm mưu tạo ra một phân nhánh thay thế của chuỗi khối. Trong bất kỳ trường hợp nào khác, chỉ có một chuỗi Ethereum để lựa chọn.

Đọc thêm

• Tính chủ quan yếu trong Eth2 (opens in a new tab)
• Vitalik: Tôi đã học cách yêu tính chủ quan yếu như thế nào (opens in a new tab)
• Tính chủ quan yếu (tài liệu Teku) (opens in a new tab)
• Hướng dẫn về tính chủ quan yếu Giai đoạn 0 (opens in a new tab)
• Phân tích tính chủ quan yếu trong Ethereum 2.0 (opens in a new tab)