Tiến bộ mà @SuccinctLabs và @RiscZero đạt được trong việc chứng minh thời gian thực thật sự ấn tượng. QT-ing không phải để chỉ trích mà vì tôi nghĩ những câu hỏi này thật sự thú vị (và tôi muốn thấy RTP đạt được trên Ethereum!). 1. Chứng minh tất cả các khối Ethereum lịch sử trong vòng 12 giây là không đủ để bao phủ thời gian chứng minh tồi tệ nhất. Điều này quan trọng vì có thể có những khối bệnh lý ("kẻ giết chứng minh") mà chi phí chứng minh >> chi phí gas (chi phí chứng minh là một thước đo độ trễ hoặc $). Bước đầu tiên là chứng minh tất cả các khối lịch sử trong vòng 12 giây. Nhưng điều này không đủ. Chúng ta cần làm việc để xác định các trường hợp bệnh lý mà chưa xuất hiện trên Ethereum. Không chắc lịch trình chi phí cho SP1 là gì, nhưng một cái gì đó như một khối đầy extcodehash có thể tốn kém về mặt độ trễ. 2. Xác minh chính thức cũng cần bao phủ trình biên dịch 😱 @argumentxyz đã có một bài viết hay về tần suất mà lỗi trình biên dịch được phát hiện (tl;dr có một loại lỗi "tối ưu hóa sai" cụ thể có thể bị khai thác trong zkVMs để tạo ra các vấn đề về tính hợp lệ. Những lỗi này được phát hiện khá thường xuyên. @drakefjustin đã lập luận rằng chúng ta có thể vượt qua điều này với nhiều triển khai zkVM. Nhưng điều đó không hiệu quả nếu những zkVM đó chia sẻ cùng một bộ công cụ biên dịch và dễ bị tổn thương trước những lỗi giống nhau. 3. Chứng minh tại nhà là không cần thiết Tôi nghĩ rằng tôi đồng ý rằng chứng minh tại nhà là không cần thiết. Chúng ta đã phụ thuộc vào các tác nhân ngoài giao thức như các nhà xây dựng để tạo ra các khối. Sự đảm bảo mà chúng ta muốn là *ai đó* luôn sẵn sàng để tạo ra các chứng minh. Hoãn RTP cho kịch bản WW3 khi tất cả các nhà chứng minh đều ngoại tuyến có vẻ như là quá mức. Có thể trong kịch bản này, Ethereum có thể quay trở lại chế độ mà giới hạn gas giảm và các khối được thực thi lại thay vì được xác minh bằng ZKPs. 4. Tăng gấp 100 lần giới hạn gas có thể tạo ra vấn đề Chứng minh song song chắc chắn giúp ích, nhưng thời gian rất chặt chẽ nên chúng ta cần xem xét việc tạo ra nhân chứng (không thể song song hóa trong nhiều zkVMs) và đệ quy. Chi phí đệ quy nên tăng theo cấp số nhân, nhưng nếu giới hạn gas tăng gấp 100 lần, thời gian chứng minh có thể vượt quá thời gian khối. Thêm vào đó - Tôi sẽ lập luận rằng rất quan trọng để Ethereum giảm thời gian khối và thời gian đến tính cuối cùng, nhằm giúp người dùng chuyển sang L2s, cầu nối từ CEXs, v.v. Điều này làm tăng yêu cầu độ trễ cho việc chứng minh. Sẽ không tối ưu nếu chúng ta không thể chuyển sang thời gian khối 1 giây vì giới hạn dưới về độ trễ RTP tồi tệ nhất là 10 giây.