Stone và S-two -- chúng ta đang nói về bước nhảy nào? Stone là prover đầu tiên đạt tiêu chuẩn sản xuất của StarkWare. Một số số liệu: - Nó đã hoạt động trong sản xuất hơn 5 năm - Nó đã xử lý hơn 1T USD - Nó đã tiết kiệm hơn 1B USD phí cho người dùng Nó thật sự mạnh mẽ. S-two là lần thứ hai chúng tôi xây dựng một prover. Như bạn mong đợi, lần thứ hai bạn xây dựng một cái gì đó, có rất nhiều cải tiến. Cải tiến lớn nhất là kích thước của các số được sử dụng để tạo ra chứng minh (kích thước trường). Trong Stone, chúng tôi đã sử dụng các số 256-bit, và S-two sử dụng các số 32-bit. So sánh chúng cạnh nhau, phép nhân (một phép toán rất quan trọng và tốn kém trong STARKs) nhanh hơn 120 lần! Để tôi nhắc lại: nhanh hơn 120 lần. 🏎️ Nhưng còn rất nhiều đổi mới khác bên trong. Ví dụ, thay vì làm việc với từng bước một, và tất cả các bước đều giống nhau, chúng tôi giờ đây có sự linh hoạt gần như không giới hạn để thêm các opcode và phép toán khác nhau một cách rất hiệu quả, dẫn đến hiệu suất được cải thiện hơn nữa (tài liệu trắng của S-two sẽ cung cấp thêm chi tiết về điều này). Tính mô-đun là một khía cạnh thú vị khác -- việc tạo ra chứng minh thực tế có thể được giao diện theo cách mô-đun với các AIR khác nhau (hệ thống ràng buộc). Điều này cho phép các đội bên ngoài như @NexusLabs, @KakarotZkEvm và @gizatechxyz sử dụng S-two cho các phép toán khác với những gì chúng tôi sử dụng. Vì vậy, S-two trở thành prover nhanh nhất thế giới, nhanh hơn 100 lần so với Stone. Liệu prover thế hệ tiếp theo, sẽ ra mắt vài năm tới (không, chúng tôi chưa làm việc trên nó) có nhanh hơn 100 lần nữa không? Thành thật mà nói, tôi nghi ngờ điều đó, nhưng cùng lúc tôi cũng không mong đợi yếu tố 100 lần mà chúng tôi đã đạt được cho đến nay.