Lưu ý đối với Trình xác minh ETH2: Cách xác định tính hợp lệ của "Bằng chứng"

nguồn|Attestant

nguồn|

Ghi chú của người dịch: Làm cách nào để những người xác thực Eth2.0 nhận được phần thưởng cao hơn? Nó chỉ ra rằng bằng chứng được đóng gói vào chuỗi khối càng sớm thì phần thưởng cho người xác minh càng cao. Bài báo này giúp người xác minh đánh giá tính hợp lệ của "bằng chứng đơn lẻ" và "bằng chứng tổng hợp" theo chỉ số chính "khoảng cách bao hàm".

tiêu đề cấp đầu tiên

Bằng chứng đề cập đến các phiếu bầu do người xác thực khởi xướng về trạng thái hiện tại của chuỗi khối Eth2.0. Mỗi trình xác thực đang hoạt động sẽ bắt đầu một bằng chứng mỗi kỷ nguyên (khoảng 6,5 phút), bao gồm các yếu tố sau:

Mô tả hình ảnh

Một trong những quy trình thú vị là bỏ phiếu cho người đứng đầu chuỗi, đề cập đến việc những người xác thực bỏ phiếu để chứng minh khối hợp lệ mới nhất, là người đứng đầu chuỗi. Thành phần của biểu quyết đứng đầu chuỗi được thể hiện trong hình bên dưới:

Mô tả hình ảnh

Hình 2: Thành phần bỏ phiếu của người đứng đầu chuỗi

Ở đây, vị trí đề cập đến vị trí mà trình xác thực đã bỏ phiếu để chứng minh người đứng đầu chuỗi hiện tại và giá trị băm xác định vị trí của trình xác thực. Sự kết hợp của hai điều này xác định duy nhất một điểm nhất định trên chuỗi khối và sau khi có đủ số phiếu bầu, mạng sẽ đạt được sự đồng thuận về trạng thái của chuỗi.

Một tổng hợp bao gồm nhiều bằng chứng và tất cả các bằng chứng đều được bình chọn bởi cùng một ủy ban, bao gồm biểu quyết theo dây chuyền và bỏ phiếu cuối cùng, sau đó được kết hợp thành một bằng chứng tổng hợp:

Mô tả hình ảnh

Hình 3: Thành phần của các bằng chứng tổng hợp

Bằng chứng tổng hợp khác với bằng chứng đơn giản theo hai cách. Đầu tiên, có nhiều trình xác nhận trong một bằng chứng tổng hợp. Thứ hai, chữ ký của anh ấy là một chữ ký tổng hợp, bao gồm các chữ ký của các bằng chứng đơn giản phù hợp. Bằng chứng tổng hợp rất tốt cho việc lưu trữ, nhưng đi kèm với gánh nặng tính toán và giao tiếp bổ sung (thêm về điều này bên dưới).

Trình xác nhận thực hiện quá trình tổng hợp này được gọi là trình tổng hợp.

tiêu đề cấp đầu tiên

Tăng phần thưởng bằng chứng

Eth2.0 sử dụng khoảng cách bao gồm số liệu để tính toán phần thưởng cho người xác thực chứng minh. Khoảng cách đóng gói của một vị trí liên quan đến sự khác biệt giữa vị trí nơi bản in thử được tạo và vị trí đầu tiên đóng gói bản in thử vào khối. Ví dụ: nếu bằng chứng được tạo trong khe ss và nó được đóng gói vào khối trong khe s+1s+1, thì khoảng cách đóng gói là 11. Nếu nó được đóng gói vào khối tại s + 5s + 5, khoảng cách đóng gói là 55.

Để phản ánh giá trị tương đối của bằng chứng, các phần thưởng khác nhau được trao cho người xác minh chịu trách nhiệm về bằng chứng tùy theo kích thước của khoảng cách đóng gói. Cụ thể, phần thưởng được nhân với 1/d, trong đó d là khoảng cách đóng gói.

Mô tả hình ảnh

Nếu mạng hoạt động tốt, tất cả các bằng chứng sẽ có khoảng cách đóng gói là 1. Điều này có nghĩa là chứng minh rằng đạt được hiệu quả tối đa và phần thưởng tối đa tương ứng. Nếu bằng chứng bị trì hoãn, phần thưởng của người xác thực sẽ bị giảm tương ứng.

tiêu đề cấp đầu tiên

Quy trình chứng minh bao bì

Vậy bằng chứng được đóng gói vào chuỗi khối Eth2.0 như thế nào? Quá trình này như sau:

1. Mỗi người xác minh bằng chứng sẽ tạo ra một bằng chứng dựa trên dữ liệu liên quan đến trạng thái chuỗi;

2. Bằng chứng được phát tới bộ tổng hợp tương ứng trong mạng Eth2.0;

3. Người tổng hợp nhận được bằng chứng sẽ hợp nhất nó với các bằng chứng khác do cùng một hội đồng bình chọn;

5. Nếu bằng chứng tổng hợp chưa được thêm vào chuỗi, thì bất kỳ trình xác thực nào đề xuất khối đều có thể đưa nó vào khối. Khi khoảng cách đóng gói đã được chứng minh vượt quá 1, chúng ta cần tìm ra nguyên nhân.Có một số yếu tố ảnh hưởng:

tiêu đề phụ

Trình xác minh có thể gặp sự cố "chậm trễ tạo bằng chứng". Ví dụ: thông tin về trạng thái của chuỗi có thể đã lỗi thời hoặc người xác minh có thể không đủ khả năng để dành nhiều thời gian tạo và ký các bằng chứng. Dù lý do là gì, bằng chứng bị trì hoãn có ảnh hưởng gián tiếp đến các bước còn lại trong quy trình.

tiêu đề phụ

Sau khi người xác minh tạo bằng chứng, nó cần được phát tới các bộ tổng hợp của mạng. Quá trình này được thiết kế để cho phép người tổng hợp nhận được bằng chứng sớm nhất kịp thời để tổng hợp bằng chứng trước khi chúng được phát ra toàn bộ mạng. Trình xác thực nên cố gắng kết nối với càng nhiều trình xác nhận khác càng tốt để đảm bảo bằng chứng phát nhanh tới trình tổng hợp.

tiêu đề phụ

Chứng minh rằng quá trình tổng hợp có thể bị trì hoãn. Lý do phổ biến nhất cho điều này là các bằng chứng được tạo ra làm quá tải các nút. Tuy nhiên, tốc độ của thuật toán tổng hợp cũng có thể gây ra sự chậm trễ đáng kể trong quá trình tổng hợp khi có một số lượng lớn trình xác thực yêu cầu bằng chứng tổng hợp.

tiêu đề phụ

Tương tự như độ trễ phát bằng chứng, bằng chứng tổng hợp cũng cần được phát lên mạng và có thể gặp phải độ trễ tương tự.

tiêu đề phụ

Lỗi sản xuất khối

Nó chứng minh rằng để trở thành một phần của dữ liệu trên chuỗi, nó phải được đóng gói thành một khối. Tuy nhiên, việc tạo khối có thể không thành công. Khi trình xác minh ngoại tuyến hoặc không đồng bộ hóa thành công dữ liệu của các trình xác minh còn lại trong mạng, dữ liệu không hợp lệ được tạo sẽ bị chuỗi từ chối.

Vì việc tạo khối sẽ bị ảnh hưởng bởi trạng thái của trình xác minh, nên chúng tôi xác định vị trí đóng gói sớm nhất, là vị trí đầu tiên sau vị trí mà các khối hợp lệ được tạo và chứng nhận. Các giới hạn như vậy có tính đến việc các bằng chứng không thể được đóng gói vào các khối không tồn tại và tránh bị ảnh hưởng bởi tính hợp lệ của trình xác thực.

tiêu đề phụ

Tuy nhiên, trình xác nhận độc hại có thể từ chối tổng hợp bất kỳ bằng chứng cụ thể nào hoặc từ chối đưa bằng chứng vào khối của nó. Giải pháp cho vấn đề đầu tiên là chỉ định nhiều bộ tổng hợp cho từng nhóm bằng chứng, trong khi giải pháp cho vấn đề thứ hai là xử phạt hành vi từ chối đóng gói các bằng chứng đã tổng hợp thành một khối. Tuy nhiên, nếu hình phạt cho việc từ chối bao gồm một khối được bồi thường về mặt tài chính hoặc nếu hành động đó có giá trị hơn về mặt chính trị, thì người xác nhận chịu trách nhiệm về bằng chứng không thể thực hiện bất kỳ biện pháp nào để buộc người xác nhận chịu trách nhiệm tạo ra khối đưa bằng chứng vào khối.

tiêu đề cấp đầu tiên

Bằng chứng tính toán về tính hợp lệ

Tính hợp lệ của bằng chứng đề cập đến mức độ hữu ích của bằng chứng đối với mạng, có tính đến việc sản xuất khối và khoảng cách khối. Nó được tính như sau:

Nếu một bằng chứng không đóng gói được vì khoảng cách đóng gói của nó tối đa là 32, thì hiệu lực của bằng chứng là 0.

tiêu đề cấp đầu tiên

Đối với một bằng chứng duy nhất, việc tính toán giá trị của bằng chứng có thể thú vị, nhưng bản thân giá trị đó không có ý nghĩa lắm. Hiệu quả của các bằng chứng tổng hợp (bao gồm thời gian dài hơn và nhiều người xác nhận hơn) có thể giúp chúng tôi hiểu rõ hơn về hiệu quả tổng thể của một nhóm người xác nhận. Hiệu lực của một bằng chứng tổng hợp là giá trị trung bình của các bằng chứng riêng lẻ. Ví dụ: lấy nhật ký 7 ngày về tính hợp lệ của tất cả các trình xác nhận trong một nhóm nhất định và lấy giá trị trung bình.

tóm tắt

Tuyên bố miễn trừ trách nhiệm: Công việc dịch thuật của ECN nhằm mục đích cung cấp thông tin và tài nguyên học tập chất lượng cao cho cộng đồng Ethereum Trung Quốc. Bản quyền của bài viết thuộc về tác giả gốc. Các bản in lại phải ghi rõ nguồn của văn bản gốc và ethereum.cn. Về lâu dài in lại, vui lòng liên hệ

Để biết thêm thông tin về Ethereum, vui lòng chú ý đến:

Tài khoản công khai: Trang web ETH Trung Quốc

Trang web: ethereum.cn

Tuyên bố miễn trừ trách nhiệm: Công việc dịch thuật của ECN nhằm mục đích cung cấp thông tin và tài nguyên học tập chất lượng cao cho cộng đồng Ethereum Trung Quốc. Bản quyền của bài viết thuộc về tác giả gốc. Các bản in lại phải ghi rõ nguồn của văn bản gốc và ethereum.cn. Về lâu dài in lại, vui lòng liên hệethereumcn@gmail.comủy quyền.