Giới thiệu: Triển khai Casper FFG trong ETH2.0

以太坊爱好者

特邀专栏作者

2020-04-20 12:53 (UTC+8)

Bài viết này có khoảng 2867 từ, đọc toàn bộ bài viết mất khoảng 5 phút

Việc triển khai Casper FFG trong ETH2.0 và thiết kế các hoạt động liên quan đến quy tắc lựa chọn ngã ba.

Tóm tắt AI

Việc triển khai Casper FFG trong ETH2.0 và thiết kế các hoạt động liên quan đến quy tắc lựa chọn ngã ba.

Lưu ý của biên tập viên: Bài viết này đến từNhững người đam mê Ethereum (ID: ethfans)Lưu ý của biên tập viên: Bài viết này đến từ

Những người đam mê Ethereum (ID: ethfans)

, tác giả: Aditya Asgaonkar, dịch & hiệu đính: Min Min & A Jian, được Odaily in lại với sự cho phép.

Bài viết cuối cùng của tôi đề cập đến những điều cơ bản về Casper FFG. Phần đầu tiên của bài viết này sẽ mô tả ngắn gọn về triển khai Casper FFG được sử dụng trong chuỗi báo hiệu Eth2.0. Phần thứ hai sẽ thảo luận về các quy tắc lựa chọn ngã ba của chuỗi đèn hiệu và các yếu tố khác liên quan đến tính sống động của chuỗi khối.

Bài viết này giải thích trực tiếp một số khái niệm trong thông số kỹ thuật ETH 2.0 và đính kèm các liên kết đến các tham số và chức năng có liên quan trong thông số kỹ thuật càng nhiều càng tốt. Các liên kết này chỉ dành cho mục đích thông tin và không cần thiết phải đọc nội dung của các liên kết để hiểu bài viết này.

Phần 1 - Cơ chế Casper FFG

Khe cắm, Kỷ nguyên và Chứng thực

Slot (khe thời gian): Thời gian trên blockchain được chia theo các slot và một khối mới có thể được đề xuất trong mỗi slot. Hiện tại, thời lượng của một vị trí là SECONDS_PER_SLOT = 12, tức là 12 giây. Hệ thống sẽ chỉ định một trình xác thực cho mỗi vị trí để tạo các khối mới.

Kỷ nguyên (thời gian): Cơ chế Casper FFG không áp dụng cho cây khối hoàn chỉnh mà chỉ xem xét phiếu bầu của các khối tại các vị trí nhất định. Bằng cách này, cơ chế không cần xác minh quá nhiều cặp khối nguồn-khối đích khi kiểm tra tính chắc chắn theo tình huống bỏ phiếu, do đó tiết kiệm chi phí. Do khoảng thời gian giữa các vị trí này đủ dài nên phần lớn phiếu bầu mới gửi của trình xác thực sẽ được nhìn thấy mỗi khi quá trình kiểm tra tính chính xác của FFG diễn ra. Mỗi kỷ nguyên bao gồm một số vị trí nhất định. Tham số hiện tại là SLOTS_PER_EPOCH = 32, tức là 1 kỷ nguyên = 32 vị trí = 6,4 phút. Cơ chế FFG chỉ xem xét các khối tại các ranh giới kỷ nguyên này ("điểm kiểm tra" hoặc "khối ranh giới kỷ nguyên" (EBB)).

- Trường hợp vị trí và kỷ nguyên khi SLOTS_PER_EPOCH = 3 và các khối A, D và G là các điểm kiểm tra -

Chứng thực (thông báo nhân chứng): chứng thực là phiếu bầu Casper FFG, chứa thông tin như khối nguồn và khối đích, số vị trí khi chứng thực được tạo và mã định danh của trình xác thực. Chứng thực được phát tới mạng ngang hàng bởi người xác minh, và cuối cùng được chọn và đóng gói vào khối bởi người đề xuất khối.
Thay đổi cơ chế Casper FFG
Có một thay đổi đối với định nghĩa Quyết toán mà tôi đã đề cập trong bài viết trước:
Thành tích xác định: Chỉ cần khối B thỏa mãn các điều kiện sau là có thể đạt thành tích xác định
Khối hợp lý hóa B_0 thỏa mãn các điều kiện sau:

Có một chuỗi các điểm kiểm tra trên một chuỗi [B_0, B_1, ... , B_n] (n >= 1) tăng dần theo số vị trí, tất cả đều được hợp lý hóa và

Mô tả hình ảnh

- Các khối màu vàng được căn chỉnh, các khối màu đỏ được hoàn thiện -

Định nghĩa đã thay đổi vẫn giữ nguyên phác thảo của bằng chứng bảo mật Casper FFG được mô tả trong bài đăng trước. Xem phần "Bảo mật" của bài viết này để biết mô tả đầy đủ về bằng chứng bảo mật.

tiêu đề phụ

Phát hiện xác định với Casper FFG

Cơ chế FFG trên chuỗi của Beacon Chain được thiết kế để phát hiện sự chắc chắn bằng cách xử lý các khối và chứng thực. Tại mỗi ranh giới kỷ nguyên, cơ chế xử lý các chứng thực mới và cập nhật các khối đã được hợp lý hóa và hoàn thiện.

Cơ chế FFG trên chuỗi chỉ xử lý chứng thực của một cặp khối đích khối nguồn cụ thể, thay vì tất cả các chứng thực cặp khối khối đích nguồn có thể có, do đó giảm chi phí. Cụ thể, cơ chế chỉ xử lý các chứng thực trong thời kỳ hiện tại và trước đó (cộng với một số điều kiện khác!). Do đó, cơ chế FFG trên chuỗi không thể phát hiện tất cả các trường hợp xác định! Nói tóm lại, cơ chế on-chain này là vững chắc, nhưng không hoàn hảo.
Thông số kỹ thuật của cơ chế FFG trên chuỗi rất đơn giản:

Bước đầu tiên là kiểm tra tính hợp lý của khối, nghĩa là sử dụng chứng thực từ hai kỷ nguyên mới nhất để xác minh tính hợp lý của hai khối ranh giới kỷ nguyên mới nhất.

Bước tiếp theo là kiểm tra tính hữu hạn của khối, nghĩa là kiểm tra tính hữu hạn của hai khối ranh giới kỷ nguyên cuối cùng. Kiểm tra xác định sẽ chỉ sử dụng 4 cặp khối khối nguồn-đích (để cải thiện hiệu suất và đơn giản hóa đặc điểm kỹ thuật) Khoảng cách quay lui cũng bị hạn chế).

Mô tả hình ảnh

- Trạng thái điểm kiểm tra trong kiểm tra xác định (khối màu vàng được chứng minh, khối màu đỏ được hoàn thành) -
Mặc dù cơ chế Casper FFG vạch ra các quy tắc để đảm bảo tính chắc chắn của khối, nhưng nó không đề cập đến cách cơ chế đảm bảo tính sống động của mạng (Lưu ý: Bài viết này không cố gắng chứng minh tính sống động của mạng, nhưng phác thảo quá trình mong đợi để đạt được tính sống động. Hãy suy nghĩ Để có một phân tích chặt chẽ hơn, hãy xem bài viết này). Phần này chủ yếu giới thiệu hai cân nhắc chính về tính sống động:

Quy tắc lựa chọn ngã ba được sử dụng bởi trình xác thực để xác định khối nào ở trên cùng của chuỗi

Sơ đồ tạo khối và chứng thực theo sau là trình xác thực

tiêu đề phụ

Quy tắc lựa chọn ngã ba HLMD GHOST
Trình xác nhận đề xuất một khối trước tiên phải xác định mẹo (được quan sát cục bộ) của chuỗi khối. Để thực hiện điều này, họ cần sử dụng quy tắc lựa chọn rẽ nhánh GHOST dựa trên thông báo mới nhất kết hợp (HMLD).
Thông số kỹ thuật cho lựa chọn ngã ba này như sau:

Các khối không sử dụng khối hợp lý hóa được xác định ở bước 1 là khối hợp lý hóa mới nhất đều bị loại trừ

Sử dụng các quy tắc LMD GHOST bình thường để đi xuống cây khối cho đến khi tìm thấy khối lá.

Để biết thêm thông tin về lựa chọn ngã ba, hãy xem phần "Hybrid LMD GHOST" của bài đăng này.

tiêu đề phụ

Chương trình xác thực

Lịch trình đề xuất: Hệ thống sẽ chỉ định một trình xác thực cho từng vị trí trong mỗi kỷ nguyên để đóng vai trò là người đề xuất khối. Trình xác minh sẽ tìm thấy phần trên cùng của chuỗi trên cây khối của chế độ xem cục bộ theo quy tắc chọn ngã ba, sau đó tạo một khối con mới. Người xác minh có thể đóng gói chứng thực mà họ nhìn thấy vào khối để nhận phần thưởng. Các chứng thực này được đưa vào cơ chế FFG trên chuỗi để tính toán khi chạy kiểm tra độ chắc chắn.