Vitalik Buterin đã xuất bản một bài báo có tiêu đề ‘Khám phá các STARK vòng tròn’, nêu bật những tiến bộ đáng kể trong lĩnh vực này. Buterin lưu ý rằng Starkware có thể chứng minh 620.000 lần băm Poseidon2 mỗi giây trên máy tính xách tay M3. Khả năng này cho thấy rằng nếu Poseidon2 được tin cậy làm hàm băm thì một trong những khía cạnh thách thức nhất trong việc tạo ra ZK-EVM hiệu quả đã được giải quyết.
Buterin giải thích rằng so với STARK thông thường, STARK hình tròn không gây thêm nhiều phức tạp cho các nhà phát triển. Toán học đằng sau ‘đa thức’ được vận hành bởi vòng tròn FRI là phản trực giác và cần có thời gian để hiểu. Tuy nhiên, sự phức tạp này được gói gọn và ẩn khỏi các nhà phát triển, giúp họ làm việc với hệ thống dễ dàng hơn.
Ông tin rằng việc kết hợp các công nghệ như Mersenne31, BabyBear và các kỹ thuật trường nhị phân như Binius đang đẩy các giới hạn hiệu quả của STARK ở cấp độ cơ bản. Tương lai của việc tối ưu hóa STARK dự kiến sẽ tập trung vào việc số học hóa hiệu quả nhất các nguyên hàm như hàm băm và chữ ký, tạo ra các cấu trúc đệ quy để song song hóa nhiều hơn, 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 và các tác vụ cấp cao hơn khác.