7월 23일, 비탈릭 부테린은 "서클 STARKs 탐색"을 출판했습니다. 기사는 지난 2년 동안 STARK 프로토콜 설계의 가장 중요한 추세는 소규모로 작동하는 전환으로 입증 속도가 크게 향상되었다고 말했습니다. Starkware는 현재 M3 노트북에서 초당 62만 개의 Poseidon2 해시를 증명할 수 있습니다. 즉, Poseidon2를 해시 함수로 신뢰할 의향이 있다면 효율적인 ZK-EVM을 만드는 데 있어 가장 어려운 부분이 효과적으로 해결되었습니다. Vitalik은 Mersenne31, BabyBear 및 Binius와 같은 바이너리 필드 기술의 조합을 통해 STARK의 "기본 계층" 효율성의 한계에 접근하고 있음을 느낀다고 믿습니다. 이 시점에서 STARK 최적화의 최전선이 해시 함수 및 서명과 같은 원시 요소에 대한 가장 효율적인 산술 연산(그리고 이러한 목적을 위해 이러한 원시 요소 자체를 최적화), 더 많은 병렬화를 위한 재귀 구성, 개발자 경험을 개선하기 위한 VM에 대한 산술 연산 및 기타 상위 수준 작업으로