Як повідомляє Foresight News, Віталік Бутерін опублікував статтю під назвою «Дослідження Circle STARK», у якій висвітлюється значні досягнення в цій галузі. Бутерін зазначає, що Starkware може підтвердити 620 000 хешів Poseidon2 в секунду на ноутбуці M3. Ця можливість свідчить про те, що якщо Poseidon2 вважається надійною хеш-функцією, то один із найскладніших аспектів створення ефективного ZK-EVM було розглянуто.

Бутерін пояснює, що порівняно зі звичайними STARK, кругові STARK не ускладнюють розробників. Математика, що лежить в основі «поліномів», якими керує круг FRI, суперечить інтуїції та потребує часу, щоб її зрозуміти. Однак ця складність інкапсульована та прихована від розробників, що полегшує їм роботу з системою.

Він вважає, що поєднання таких технологій, як Mersenne31, BabyBear, і методів бінарного поля, таких як Binius, розширює межі ефективності STARK на базовому рівні. Очікується, що майбутнє оптимізації STARK зосередиться на найефективнішій арифметизації примітивів, таких як хеш-функції та сигнатури, створенні рекурсивних структур для більшої паралелізації, арифметизації віртуальних машин для покращення досвіду розробників та інших завдань вищого рівня.