Một bài viết để hiểu cách Polkadot thực hiện sharding hiệu quả giữa các parachains
PolkaWorld
2020-08-06 03:30
本文约1833字,阅读全文需要约7分钟
Giao thức về tính khả dụng và hiệu lực của Polkadot.

Lưu ý của biên tập viên: Bài viết này đến từPolkaWorld(ID:gh_6c4c2038ddba), được Odaily sao chép với sự cho phép.

), được Odaily sao chép với sự cho phép.

Giao thức Tính khả dụng và Hiệu lực (AnV: Tính khả dụng và Hiệu lực) của Polkadot cho phép toàn bộ mạng được phân tách hiệu quả giữa các chuỗi song song, đồng thời đảm bảo an ninh mạnh mẽ.

tiêu đề phụ

  • Các giai đoạn của Giao thức AnV

  • Giao thức có sẵn và hợp lệ (Giao thức AnV) được chia thành sáu giai đoạn.

  • Giai đoạn chuỗi song song

  • Giai đoạn cam kết chuỗi chuyển tiếp

  • Thỏa thuận phụ về tình trạng sẵn có và không sẵn có

  • Thủ tục phản đối của người câu cá

Gọi tiện ích cuối cùng Dung sai lỗi Byzantine để củng cố chuỗi

tiêu đề phụ

Giai đoạn parachain của giao thức AnV là khi những người đối chiếu của parachain đề xuất các khối ứng cử viên cho những người xác thực hiện được chỉ định cho parachain.

Khối ứng cử viên là một khối mới từ bộ đối chiếu parachain, có thể hợp lệ hoặc không và phải vượt qua kiểm tra tính hợp lệ trước khi được đưa vào chuỗi chuyển tiếp.

tiêu đề phụ

Giai đoạn cam kết chuỗi chuyển tiếp

  • Sau đó, người xác thực sẽ kiểm tra khối ứng cử viên dựa trên chức năng xác thực được cung cấp bởi mã đăng ký của parachain đó. Nếu quá trình xác minh thành công, trình xác thực sẽ chuyển khối ứng cử viên cho các trình xác thực khác trong mạng tin đồn. Tuy nhiên, nếu xác thực không thành công, trình xác thực sẽ ngay lập tức coi khối ứng cử viên là không hợp lệ.

  • Biên lai của ứng cử viên được chuẩn bị khi hơn một nửa số người xác nhận parachain đồng ý rằng một khối ứng cử viên parachain cụ thể là một quá trình chuyển đổi trạng thái hợp lệ. Biên lai của ứng viên cuối cùng sẽ được đưa vào trạng thái chuỗi chuyển tiếp. Điêu nay bao gôm:

  • ID chuỗi dù

  • ID và chữ ký của người sưu tập

  • Hàm băm nhận ứng viên của khối gốc

  • Gốc Merkle của đoạn mã xóa của khối

  • Bất kỳ rễ Merkle nào phát ra thông điệp

  • khối băm

Sau khi khối được thực thi, trạng thái gốc của parachain

Tất cả thông tin trên đều không đổi, nhưng khối PoV thực tế của parachain có độ dài thay đổi, đủ thông tin cho bất kỳ ai có quyền truy cập vào khối PoV đầy đủ để xác minh các chuyển đổi trạng thái có trong đó.

Thỏa thuận phụ về tình trạng sẵn có và không sẵn có

Trong các giai đoạn giao thức con sẵn có và không sẵn có, trình xác nhận sẽ lưu hành các đoạn mã hóa xóa trong mạng. Ít nhất 1/3 + 1 trình xác thực phải báo cáo rằng họ có trường mã của mình. Sau khi đạt đến ngưỡng trình xác thực, mạng có thể xem xét khối PoV cho parachain.

tiêu đề phụ

xóa mã hóa

Mã hóa xóa chuyển đổi một tin nhắn thành một mã dài hơn, giúp khôi phục tin nhắn gốc từ một tập hợp con của mã mà không yêu cầu các phần của mã. Mã là tin nhắn gốc được nhồi thêm một số dữ liệu, cho phép mã được xây dựng lại trong trường hợp bị xóa.

Trong Polkadot, mã xóa được sử dụng để giữ trạng thái parachain khả dụng cho hệ thống mà không yêu cầu tất cả các trình xác nhận phải theo dõi tất cả các parachain. Thay vào đó, trình xác thực chia sẻ dữ liệu nhỏ hơn và sau đó có thể tái tạo lại toàn bộ dữ liệu theo giả định rằng trình xác thực 1/3 + 1 có thể đóng góp dữ liệu tương ứng của họ.

Lưu ý: Ngưỡng 1/3 + 1 của trình xác thực phải đáp ứng để xây dựng dữ liệu trạng thái parachain hoàn chỉnh tương ứng với các giả định bảo mật của Polkadot về các nút Byzantine.

ngư dân

Anglers là nút đầy đủ của parachains, tương tự như Collator, nhưng đóng một vai trò khác trong mối quan hệ của chúng với mạng Polkadot. Thay vì đóng gói các chuyển đổi trạng thái và tạo khối parachain tiếp theo như những người đối chiếu làm, những người câu cá sẽ quan sát toàn bộ quá trình và đảm bảo không bao gồm các chuyển đổi trạng thái không hợp lệ. Ngư dân cần cầm cố vừa phải một phần mã thông báo trên chuỗi chuyển tiếp, điều này khác với những người thu gom không yêu cầu chip trên chuỗi chuyển tiếp. Nếu hành vi sai trái được phát hiện đã xảy ra trong quá trình sản xuất parachain, ngư dân sẽ gửi báo cáo vô hiệu. Nếu hành vi sai trái được báo cáo được chứng minh là đúng, họ sẽ được thưởng hậu hĩnh, nhưng nếu được chứng minh là sai, họ có thể mất một phần tiền cược. Do đó, những người câu cá tương tự như những thợ săn tiền thưởng, những người được trả công xứng đáng khi họ hoàn thành công việc và nếu không thì không có lương ổn định.

tiêu đề phụ

Làm thế nào để chạy một nút ngư dân

Các yêu cầu để chạy một nút Angler dự kiến ​​sẽ tương đối khiêm tốn so với các yêu cầu đặt cược của một nút xác thực. Đăng ký trạng thái "câu cá" trên chuỗi chuyển tiếp sẽ yêu cầu một lượng mã thông báo nhất định. Nếu một kẻ lừa đảo gửi báo cáo vô hiệu hóa không chính xác, thì giao thức có thể cắt giảm đáng kể các mã thông báo này. Rủi ro cắt giảm tồn tại để ngăn những kẻ lừa đảo gửi thư rác vào mạng, vì việc thiết lập lại trạng thái parachain là một quy trình tốn kém cho chuỗi chuyển tiếp.

PolkaWorld
作者文库