Vitalik Buterin đã xuất bản một bài báo “Khám phá vòng tròn STARK”. Bài báo cho biết trong hai năm qua, xu hướng quan trọng nhất trong thiết kế giao thức STARK là chuyển sang hoạt động ở quy mô nhỏ. tăng tốc độ chứng minh Hiện tại, Starkware có thể được sử dụng trên máy tính xách tay M3. 620.000 hàm băm Poseidon2 được chứng minh mỗi giây, điều đó có nghĩa là nếu chúng ta sẵn sàng tin tưởng Poseidon2 làm hàm băm thì phần khó nhất trong việc tạo ra ZK-EVM hiệu quả sẽ được giải quyết một cách hiệu quả. .
Vitalik tin rằng với sự kết hợp của các công nghệ trường nhị phân như Mersenne31, BabyBear và Binius, có vẻ như chúng ta đang tiến gần đến giới hạn về hiệu quả "lớp cơ sở" của STARK. Tại thời điểm này, tôi kỳ vọng rằng ranh giới của tối ưu hóa STARK sẽ chuyển sang thực hiện các phép toán số học hiệu quả nhất trên các hàm nguyên thủy như hàm băm và chữ ký (và tối ưu hóa chính các nguyên hàm đó cho mục đích đó), thực hiện các cấu trúc đệ quy để đạt được sự song song hóa cao hơn, thực hiện các phép toán số học trên VM để 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.