Vitalik Buterin công bố "Khám phá Circle STARKs"

PANews đã báo cáo vào ngày 23 tháng 7 rằng đồng sáng lập Ethereum, Vitalik Buterin, đã xuất bản một bài viết có tiêu đề "Khám phá Circle STARKs", thảo luận về một cấu trúc được gọi là Circle STARKs. Nó có một số tính chất độc đáo và được thiết kế để tương thích với trường Mersenne31 hiệu quả. Vitalik tin rằng so với STARK thông thường, Circle STARKs không mang lại nhiều phức tạp bổ sung cho các nhà phát triển. Trong quá trình triển khai, so với FRI thông thường, tôi nhận thấy chỉ có ba khác biệt cơ bản. Nguyên lý toán học đằng sau "đa thức" được vận hành bởi Circle FRI khá phản trực giác và cần thời gian để hiểu và đánh giá cao. Tuy nhiên, sự phức tạp này được ẩn giấu theo cách mà các nhà phát triển khó nhận thấy. Sự phức tạp của toán học Circle được đóng gói thay vì hệ thống. Hiểu Circle FRI và Circle FFT cũng có thể là một cổng kiến thức tốt để hiểu các "FFT kỳ lạ" khác: đáng chú ý nhất là FFT miền nhị phân được sử dụng trước đây trong Binius và LibSTARK, cũng như các cấu trúc kỳ lạ hơn như FFT đường cong elliptic sử dụng ánh xạ một-một được phối hợp tốt với các phép toán điểm đường cong elliptic. Kết hợp với Mersenne31, BabyBear và các công nghệ miền nhị phân (như Binius), chúng tôi thực sự cảm thấy chúng tôi đang tiến gần đến giới hạn hiệu quả của "lớp cơ sở" STARK. Tại thời điểm này, dự kiến rằng biên giới của tối ưu hóa STARK sẽ chuyển sang việc tạo ra các phiên bản số học hiệu quả cao của các nguyên thủy như hàm băm và chữ ký (và tối ưu hóa các nguyên thủy này cho mục đích này), tạo ra các cấu trúc đệ quy để tăng cường song song hóa, số học hóa các máy ảo để cải thiện trải nghiệm của nhà phát triển cùng với các nhiệm vụ nâng cao khác.