Thông báo về việc chứng minh thời gian thực hôm qua là một cột mốc lớn, và @VitalikButerin đã nêu ra một số điểm tốt về công việc tiếp theo sẽ cần thiết. NHƯNG tôi nghĩ rằng chúng ta đang gần hơn với tất cả những điểm này hơn những gì mọi người có thể nhận ra... 1. Trong trường hợp xấu nhất, việc chứng minh thời gian thực có thể được giải quyết bằng những thay đổi đơn giản đối với lịch trình gas của Ethereum: Hiện tại, ~94% các khối có thể được chứng minh trong < 12 giây, 99% các khối có thể được chứng minh trong < 13 giây. Đối với những trường hợp ngoại lệ còn lại, những điều chỉnh đơn giản đối với lịch trình gas của Ethereum sẽ đủ (hiện tại các precompile bn254, bls12-381 đang bị định giá thấp so với chi phí chứng minh của chúng). Ngoài ra, EIP giới hạn mức sử dụng gas tối đa của một giao dịch đơn lẻ sẽ giúp đảm bảo không có vector DDOS (vì chúng tôi chứng minh các subblock của các giao dịch song song để đạt được độ trễ thấp). 2. Xác minh chính thức cho SP1 đã được tiến hành: Thật thuận tiện, chúng tôi đã có 2 thông báo trong tuần qua về xác minh chính thức cho SP1, làm việc với @NethermindEth và @VeridiseInc! Chúng tôi có một cái nhìn rõ ràng để xác minh chính thức tất cả các AIR cốt lõi của chúng tôi trong vài tháng tới. 3. Việc chứng minh tại nhà là không cần thiết với các mạng chứng minh phi tập trung: Hiện tại RTP yêu cầu ~160 GPU, điều này là rất nhỏ đối với bất kỳ trung tâm dữ liệu nào nhưng có thể hơi lớn cho một thiết lập tại nhà. Tuy nhiên, với các ra mắt sắp tới của các mạng chứng minh phi tập trung, tôi không chắc chúng ta cần nhắm đến việc chứng minh tại nhà. Mạng lưới sẽ khuyến khích kinh tế rằng luôn có các chứng minh viên trực tuyến sẵn sàng chứng minh thời gian thực. 4. Việc chứng minh song song các subblock có nghĩa là việc tăng gấp 100 lần giới hạn gas không phải là vấn đề đối với độ trễ: Tôi hoàn toàn ủng hộ việc tăng gấp 100 lần giới hạn gas và điều này sẽ không phải là vấn đề đối với chúng tôi. Việc triển khai chứng minh thời gian thực của chúng tôi sử dụng phương pháp subblock, nơi chúng tôi lấy một khối và chia nó thành các subblock nhỏ hơn với một vài giao dịch. Những subblock này được chứng minh song song, và sau đó được tổng hợp thành 1 chứng minh ở cuối. Ngay cả khi giới hạn gas tăng gấp 100 lần, chúng tôi vẫn có thể song song hóa việc chứng minh các subblock (chỉ có nhiều hơn), có nghĩa là độ trễ sẽ không bị ảnh hưởng. Hãy tin vào điều gì đó thực. Hãy tin vào việc chứng minh thời gian thực.