Thời gian kể chuyện -- Người chứng minh nhanh nhất ở miền Tây và cách mà điều đó xảy ra. Khi chúng tôi thành lập StarkWare vào năm 2018, chúng tôi đã đặt mục tiêu xây dựng người chứng minh STARK đầu tiên đạt tiêu chuẩn sản xuất. Vào thời điểm đó, yếu tố hạn chế là chi phí gas trên Ethereum. Việc xây dựng một người chứng minh sử dụng các số lớn (256-bit) là đơn giản và rẻ nhất. Điều này dẫn đến một người chứng minh STARK đơn giản mà chúng tôi biết có thể được cải thiện hiệu quả bằng cách giảm kích thước trường. Nhanh chóng đến năm 2023. Cả thế giới bây giờ đều tin rằng zkSTARKs là trò chơi cuối cùng, và nhiều đội bắt đầu xây dựng hệ thống sử dụng các trường nhỏ, dẫn đến những người chứng minh nhanh hơn. Vào mùa hè năm 2023, chúng tôi đã bắt đầu một dự án để chọn công nghệ chứng minh thế hệ tiếp theo. Chúng tôi đã khảo sát tất cả các công nghệ chứng minh hiện có -- SNARKs, các thứ dựa trên gập, GKR, và nhiều hơn nữa. Chúng tôi rất nhanh chóng nhận ra rằng yếu tố hiệu suất chi phối là kích thước của trường hữu hạn là điều quan trọng, và các số nguyên tố 32 bit là tốt nhất. Tại sao? (1) tất cả các kiến trúc phần cứng hiện đại đều được tối ưu hóa cho những điều đó, (2) tại sao là số nguyên tố (và không phải nhị phân?) vì các GPU không hỗ trợ nhân nhị phân tốt. Được rồi, vậy điều đó để lại cho chúng tôi các công nghệ chứng minh như GKR và STARK, trên các số nguyên tố 32b. Bây giờ chúng tôi phải đối mặt với một vấn đề. Trường tốt nhất cho tính toán nhanh là M31, nhưng nó thiếu cấu trúc nhóm để có STARK nhanh. May mắn thay, bộ ba xuất sắc -- Ulrich Habock (khi đó tại Polygon, bây giờ làm việc toàn thời gian tại StarkWare), David Levit, và Shahar Papini đã tìm ra cách sử dụng "nhóm vòng" trên M31 để có được giải pháp tối ưu. Nhóm mới bắt đầu triển khai toán học. Theo cách hiệu quả nhất mà chúng tôi có thể nghĩ ra, kiểm tra và xác thực hiệu quả, và cũng xây dựng nó theo cách đủ mô-đun để các đội khác có thể sử dụng. Đồng thời, cơ sở hạ tầng ràng buộc AIR đã được xây dựng lại từ đầu, dựa trên kinh nghiệm trước đó của chúng tôi, để dẫn đến một cái gì đó có độ tin cậy và hiệu quả. Và bây giờ, Stwo đang vào sản xuất trong Starknet, giảm chi phí và độ trễ. Các tiêu chuẩn mà chúng tôi đã thử nghiệm là ngoài sức tưởng tượng. Đồng thời, nhiều đội bên ngoài đang sử dụng nó để xây dựng cơ sở hạ tầng của họ. Tôi nghĩ rằng nó sẽ trở thành tiêu chuẩn vàng cho người chứng minh mã nguồn mở, và tất cả các bạn đều được mời sử dụng nó. HẾT.