Theo Foresight News, Vitalik Buterin đã xuất bản một bài báo "Khám phá vòng tròn STARK" và chỉ ra rằng Starkware có thể chứng minh 620.000 giá trị băm Poseidon2 mỗi giây trên máy tính xách tay M3, điều đó có nghĩa là nếu chúng ta sẵn sàng tin tưởng Poseidon2 như một hàm băm, thì việc tạo ra ZK-EVM hiệu quả Một trong những phần khó nhất thực sự đã được giải quyết. Người ta nói rằng so với STARK thông thường, vòng tròn STARK sẽ không mang lại nhiều sự phức tạp hơn cho các nhà phát triển. Toán học đằng sau "đa thức" mà vòng tròn FRI hoạt động khá phản trực giác và phải mất một thời gian để hiểu và đánh giá cao. Nhưng điều xảy ra là sự phức tạp này bị ẩn khỏi các nhà phát triển. Vòng tròn Sự phức tạp của các nguyên tắc toán học được gói gọn, không mang tính hệ thống.

Vitalik tin rằng việc kết hợp Mersenne31, BabyBear và các công nghệ miền nhị phân như Binius, có vẻ như chúng ta đang tiến gần đến giới hạn hiệu quả của "lớp cơ sở" của STARK, người ta kỳ vọng rằng giới hạn của tối ưu hóa STARK sẽ chuyển sang số học nguyên thủy hiệu quả nhất như vậy; như các hàm băm và chữ ký (và tối ưu hóa bản thân các nguyên hàm để đạt được điều này), tạo các cấu trúc đệ quy để cho phép thực hiện song song 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.