Đề xuất Cardano có thể đẩy nhanh việc tắt Leios khẩn cấp, vẫn giữ yêu cầu bỏ phiếu

Kevin Hammond ngày 6 tháng 11 đề xuất một quy trình quản trị nhanh hơn để vô hiệu hóa hệ thống mở rộng Leios dự kiến của Cardano khi xảy ra sự cố mạng nghiêm trọng. Leios tiềm ẩn rủi ro đối với tính ổn định của Cardano, trừ khi phương án tắt khẩn cấp nhanh hơn được phê duyệt. Đề xuất của Hammond sẽ nới lỏng các hạn chế về thông báo và tần suất mà không loại bỏ quy trình bỏ phiếu và triển khai của giao thức. Hammond trình bày phương án này trong cuộc thảo luận kỹ thuật về Đề xuất sửa đổi Cardano 12 (CAP-12), như một lập trường được đề xuất của Ủy ban Chỉ đạo Kỹ thuật trước đợt rà soát ngày 18 tháng 11. CAP-12 sẽ sửa đổi hiến pháp để thiết lập các giới hạn đối với tham số giao thức thuộc kỷ nguyên Dijkstra.

Phương án tắt được đề xuất sẽ dừng nhánh xử lý giao dịch bổ sung của Leios, đồng thời cho phép các khối thông thường tiếp tục hoạt động. Việc tắt sẽ đặt maxEndorserBlockTxsSize về 0, đây là tham số giới hạn tải giao dịch được một khối bổ sung xác nhận. Các khối endorser tham chiếu những giao dịch bổ sung được đưa vào chuỗi sau khi chứng nhận và sau khi chứng chỉ được đưa vào một khối xếp hạng tiếp theo. Khi mạng gặp sự cố Mức độ nghiêm trọng 1 hoặc Mức độ nghiêm trọng 2, phương án của Hammond sẽ bỏ yêu cầu thông báo PARAM-04a và cho phép thay đổi giá trị về 0 trong bất kỳ epoch nào. Việc khởi động lại Leios vẫn phải tuân theo quy trình phê duyệt thông thường và giới hạn tần suất của nhóm mạng.

Hammond cho biết việc phê chuẩn và triển khai vẫn cần chờ ít nhất một ranh giới epoch. Phần phân tích của CAP-12 xác định các đại diện được ủy quyền, Ủy ban Hiến pháp và các nhà vận hành pool staking là những bên cần bỏ phiếu về các thay đổi tham số Leios. Hammond phân biệt cơ chế giao thức do quản trị kiểm soát với cơ chế vận hành dựa vào sự tham gia tùy nghi của các nhà vận hành.

Hammond đặt điều kiện áp dụng cơ chế giao thức là nhóm Linear Leios phải xác nhận bằng văn bản về tác động của giá trị 0. Ông yêu cầu xác nhận rằng giá trị 0 sẽ ngăn việc thông báo khối endorser, bỏ phiếu hoặc lan truyền phiếu bầu, cũng như đưa chứng chỉ vào các khối xếp hạng. Hành vi của nút khi đặt giá trị bằng 0 cần tương ứng với Praos, hệ thống tạo khối hiện có của Cardano. Hammond cũng yêu cầu thử nghiệm tắt và khởi động lại trên các mạng thử nghiệm Preview và Preprod, đồng thời so sánh việc tạo khối với mức chuẩn Praos. Ông yêu cầu kiểm thử tính tuân thủ của cấu hình giá trị 0 trên mọi phiên bản triển khai nút. Chỉ có sự cho phép theo hiến pháp là chưa đủ: các ứng dụng máy khách phải xử lý giá trị 0 nhất quán và việc khởi động lại phải hoạt động như dự kiến.

Tuy nhiên, phiên bản 5 của CAP-12, vẫn đang được thảo luận ngày 8 tháng 11, cấm các tham số Leios có giá trị bằng 0. Quy tắc MEBTS-09 trong phiên bản 5 cụ thể cấm giá trị 0 đối với tham số mà Hammond đề xuất sử dụng. Bản cập nhật ngày 6 tháng 11 của Intersect xác nhận văn bản hiến pháp không còn cơ chế tắt này. Intersect cho biết việc vô hiệu hóa vẫn nằm trong kế hoạch hard fork và dự kiến sẽ có một bản dự thảo khác. Muốn phương án của Hammond được phê duyệt, cần giải quyết mâu thuẫn giữa lệnh cấm và ngoại lệ được đề xuất.

Biên bản nhóm công tác ngày 3 tháng 11 ghi nhận mạng thử nghiệm đã bước vào kỷ nguyên Dijkstra ngày 2 tháng 11 với nút 11.2, nhưng chưa có bản triển khai Leios hoàn chỉnh. Ngày 6 tháng 11, Intersect cho biết DijkstraNet cho phép đăng ký khóa BLS nhưng chưa hỗ trợ đầy đủ Linear Leios. Intersect cho biết Musashi cung cấp Leios đầy đủ để thử nghiệm tích hợp ban đầu. Intersect ước tính bản phát hành ứng viên kết hợp nút 11.3 vẫn còn cách ít nhất 2-3 tuần.

Bản cập nhật về cơ chế đồng thuận ngày 3 tháng 11 ghi nhận việc tạo khối endorser, xác thực chứng chỉ và chuyển tiếp phiếu bầu. Bản tổng hợp ngày 6 tháng 11 của Essential Cardano mô tả những thay đổi trên nhánh chính này là hoạt động phát triển, không phải bản phát hành trên mainnet. Biên bản nhóm công tác ghi nhận mục tiêu nộp hiến pháp và các giới hạn bảo vệ vào ngày 25 tháng 11. Ngày 6 tháng 11, Hammond cho biết Ủy ban Tham số chưa nhận được các giá trị số đang chờ và sẽ cần thời gian để đánh giá chúng.