Vitalik:circle STARKs는 개발자에게 너무 많은 추가 복잡성을 가져오지 않을 것입니다
ChainCatcher 메시지, Vitalik Buterin이 최신 기사 "circle STARKs 탐험"을 발표했습니다. 이 기사에서는 Starkware가 M3 칩 노트북에서 매초 620,000개의 Poseidon2 해시 값을 증명할 수 있음을 지적합니다. 이는 우리가 Poseidon2를 해시 함수로 신뢰할 의향이 있다면, 효율적인 ZK-EVM을 만드는 가장 어려운 부분 중 하나가 실제로 해결되었다는 것을 의미합니다.그는 일반 STARK와 비교할 때, circle STARK가 개발자에게 너무 많은 추가 복잡성을 주지 않을 것이라고 말했습니다. circle FRI가 작동하는 "다항식" 뒤에 있는 수학 원리는 상당히 직관에 반하며 이해하고 깨닫는 데 시간이 걸립니다. 그러나 바로 이 복잡성이 숨겨져 있어 개발자는 이를 인식하지 못합니다. Circle 수학 원리의 복잡성은 시스템적이지 않고 캡슐화되어 있습니다.Vitalik은 Mersenne31, BabyBear 및 Binius와 같은 이진 필드 기술을 결합하면 STARKs "기초 층"의 효율성 한계에 가까워지고 있다고 느끼고 있습니다. STARK 최적화의 최전선은 해시 함수 및 서명과 같은 원시를 가장 효율적으로 산술화하고(이러한 원시 자체를 최적화하여 이를 달성), 더 많은 병렬화를 위해 재귀 구조를 만들고, 개발자 경험을 개선하기 위해 가상 머신을 산술화하며, 기타 더 고급 작업으로 전환될 것으로 예상됩니다.