Một tài liệu rất quan trọng. Hãy cùng đi qua từng "mục tiêu" một. Chúng ta sẽ bắt đầu với thời gian slot nhanh và tính xác thực nhanh. Tôi mong rằng chúng ta sẽ giảm thời gian slot theo cách dần dần, ví dụ: tôi thích công thức "sqrt(2) mỗi lần" (12 -> 8 -> 6 -> 4 -> 3 -> 2, mặc dù hai bước cuối cùng là khá suy đoán và phụ thuộc vào nghiên cứu sâu). Có thể đi nhanh hơn hoặc chậm hơn ở đây; nhưng điều quan trọng là chúng ta sẽ xem thời gian slot như một tham số mà chúng ta điều chỉnh xuống khi chúng ta tự tin rằng điều đó là an toàn, tương tự như mục tiêu blob. Thời gian slot nhanh nằm ở một làn đường riêng ở đầu lộ trình, và thực sự không có vẻ gì kết nối với bất cứ điều gì. Điều này là vì phần còn lại của lộ trình khá độc lập với thời gian slot: chúng ta sẽ cần làm những điều tương tự cho dù thời gian slot là 2 giây hay 32 giây. Tuy nhiên, có một vài khu vực giao nhau. Một trong số đó là cải tiến p2p. @raulvk gần đây đã làm việc trên một lớp p2p tối ưu hóa cho Ethereum, sử dụng mã hóa xóa để cải thiện đáng kể sự trao đổi băng thông/độ trễ. Nói một cách đơn giản: trong thiết kế hiện tại, mỗi nút nhận một khối đầy đủ từ một vài đồng nghiệp, và có thể chấp nhận và phát lại ngay khi nhận được cái đầu tiên. Nếu "độ rộng" (số lượng đồng nghiệp gửi bạn khối) thấp, thì một đồng nghiệp xấu có thể làm chậm đáng kể thời gian bạn nhận được khối. Nếu độ rộng cao, có rất nhiều dữ liệu không cần thiết. Với mã hóa xóa, bạn có thể chọn một thiết lập k-of-n, ví dụ: chia mỗi khối thành 8 phần để với bất kỳ 4 phần nào bạn có thể tái tạo lại khối đầy đủ. Điều này mang lại cho bạn nhiều lợi ích về độ dư thừa của độ rộng cao, mà không có chi phí phụ. Chúng tôi có số liệu cho thấy kiến trúc này có thể giảm đáng kể thời gian truyền khối ở mức 95 phần trăm, làm cho các slot ngắn hơn khả thi mà không có sự đánh đổi về bảo mật (ngoại trừ độ phức tạp của giao thức tăng lên, mặc dù ở đây tỷ lệ lợi ích về hiệu suất so với số dòng mã là khá thuận lợi). Một khu vực giao nhau khác là cấu trúc slot phức tạp hơn đi kèm với ePBS, FOCIL và quy tắc xác nhận nhanh. Những điều này có lợi ích quan trọng, nhưng chúng giảm tối đa độ trễ an toàn từ slot/3 xuống slot/5. Có nghiên cứu đang diễn ra để cố gắng tối ưu hóa quy trình để giảm thiểu tổn thất (cũng lưu ý: thời gian slot không chỉ bị giới hạn bởi độ trễ slot, mà còn bởi phần chi phí cố định của độ trễ ZK prover), nhưng có một số sự đánh đổi ở đây. Một cách mà chúng tôi đang khám phá để bù đắp cho điều này là thay đổi sang một kiến trúc mà chỉ ~256-1024 người chứng thực được chọn ngẫu nhiên ký vào mỗi slot. Đối với một chức năng lựa chọn nhánh (không hoàn tất), điều này là hoàn toàn đủ. Số lượng chữ ký nhỏ hơn cho phép chúng tôi loại bỏ giai đoạn tổng hợp, rút ngắn thời gian slot. Tính xác thực nhanh thì phức tạp hơn (giao thức cuối cùng theo ý kiến của tôi đơn giản hơn so với Gasper hiện tại, nhưng con đường thay đổi thì phức tạp). Hiện tại, tính xác thực mất trung bình 16 phút (12 giây cho mỗi slot * 32 kỷ nguyên slot * 2.5 kỷ nguyên). Mục tiêu là tách biệt slot và tính xác thực, để cho phép chúng tôi lý luận về cả hai một cách riêng biệt, và chúng tôi đang hướng tới việc sử dụng một thuật toán BFT xác thực một vòng (một biến thể của Minimmit) để hoàn tất. Vì vậy, thời gian xác thực cuối cùng có thể là ví dụ: 6-16 giây. Bởi vì đây là một tập hợp thay đổi rất xâm lấn, kế hoạch là gộp bước lớn nhất trong mỗi thay đổi với một sự chuyển đổi của mật mã, đặc biệt là sang chữ ký dựa trên băm hậu lượng tử, và sang một hàm băm thân thiện với STARK tối đa (có ba phản ứng có thể đối với các cuộc tấn công Poseidon2 gần đây: (i) tăng số vòng hoặc giới thiệu các biện pháp đối phó khác như một lớp Monolith, (ii) quay lại Poseidon1, cái mà thậm chí còn lâu bền hơn Poseidon2 và chưa thấy lỗi, (iii) sử dụng BLAKE3 hoặc các hàm băm "thông thường" tối đa khác. Tất cả đều đang được nghiên cứu). Ngoài ra, có kế hoạch giới thiệu nhiều thay đổi này từng phần, ví dụ: "tính xác thực 1 kỷ nguyên" có nghĩa là chúng tôi điều chỉnh sự đồng thuận hiện tại để thay đổi từ xác thực kiểu FFG sang xác thực kiểu Minimmit. Một khả năng về quỹ đạo thời gian xác thực là: 16 phút (hiện tại) -> 10m40s (8 giây cho mỗi slot) -> 6m24s (tính xác thực một kỷ nguyên) -> 1m12s (8 kỷ nguyên slot, 6 giây cho mỗi slot) -> 48 giây (4 giây cho mỗi slot) -> 16 giây (minimmit) -> 8 giây (minimmit với các tham số quyết liệt hơn). Một hệ quả thú vị của cách tiếp cận dần dần là có một con đường để làm cho các slot kháng lượng tử sớm hơn nhiều so với việc làm cho tính xác thực kháng lượng tử, vì vậy chúng ta có thể nhanh chóng đến một chế độ mà, nếu máy tính lượng tử đột ngột xuất hiện, chúng ta mất đảm bảo tính xác thực, nhưng chuỗi vẫn tiếp tục hoạt động. Tóm tắt: hãy mong đợi thấy sự giảm dần cả thời gian slot và thời gian xác thực, và mong đợi thấy những thay đổi này được kết hợp với một sự thay thế từng phần kiểu "con tàu của Theseus" cho cấu trúc slot và sự đồng thuận của Ethereum với một lựa chọn sạch hơn, đơn giản hơn, kháng lượng tử, thân thiện với prover, được xác minh chính thức từ đầu đến cuối.