비탈릭 부테린의 '서클 스타크 탐구' 포스팅

비탈릭 부테린은 "서클 스타크 탐색"이라는 글을 통해 지난 2년간 스타크 프로토콜 설계에서 가장 중요한 트렌드는 소규모로 작동하는 것으로의 전환이었으며, 이러한 변화로 인해 증명 속도가 크게 증가하여 현재 스타크웨어는 M3 노트북에서 초당 62만 개의 포세이돈2 해시값을 증명할 수 있게 되었다고 설명했습니다. 이는 포세이돈2를 해시 함수로 신뢰할 수 있다면 효율적인 ZK-EVM을 만드는 데 가장 어려운 부분이 효과적으로 해결되었음을 의미합니다. 비탈릭은 메르센31, 베이비베어, 비니우스와 같은 바이너리 필드 기술을 조합하면 STARK의 '베이스 레이어' 효율성의 한계에 다가가고 있다고 생각합니다. 이 시점에서는 해시 함수 및 서명과 같은 기본 요소에 대한 가장 효율적인 산술 연산(그리고 이를 위해 기본 요소 자체를 최적화하는 것), 병렬화를 위한 재귀 구조, 개발자 경험을 개선하기 위한 VM에 대한 산술 연산 및 기타 상위 수준의 작업으로 STARK 최적화의 영역이 옮겨갈 것으로 예상합니다.