Vitalik Buterin Menerbitkan "Menjelajahi Circle STARKs"

PANews melaporkan pada 23 Juli bahwa salah satu pendiri Ethereum, Vitalik Buterin, menerbitkan artikel berjudul "Menjelajahi Circle STARKs", yang membahas sebuah konstruksi yang dikenal sebagai Circle STARKs. Ini memiliki beberapa sifat unik dan dirancang agar kompatibel dengan bidang Mersenne31 yang efisien. Vitalik percaya bahwa dibandingkan dengan STARK biasa, Circle STARKs tidak membawa banyak kompleksitas tambahan bagi pengembang. Dalam proses implementasi, dibandingkan dengan FRI biasa, ada tiga perbedaan utama yang saya amati. Prinsip matematika di balik "polinomial" yang dioperasikan oleh Circle FRI cukup kontra-intuitif dan membutuhkan waktu untuk dipahami dan dihargai. Namun, kompleksitas ini tersembunyi sedemikian rupa sehingga tidak mudah terlihat oleh pengembang. Kompleksitas matematika Circle terenkapsulasi daripada sistemik. Memahami Circle FRI dan Circle FFT juga bisa menjadi portal pengetahuan yang baik untuk memahami "FFT eksotis" lainnya: terutama FFT domain biner yang sebelumnya digunakan di Binius dan LibSTARK, serta konstruksi eksotis lainnya seperti FFT kurva eliptik yang menggunakan pemetaan satu-ke-satu yang terkoordinasi dengan baik dengan operasi titik kurva eliptik. Dikombinasikan dengan teknologi Mersenne31, BabyBear, dan domain biner (seperti Binius), kami memang merasa mendekati batas efisiensi dari "lapisan dasar" STARK. Pada titik ini, diharapkan bahwa batas depan optimasi STARK akan bergeser ke arah menciptakan versi aritmatika yang sangat efisien dari primitif seperti fungsi hash dan tanda tangan (dan mengoptimalkan primitif ini sendiri untuk tujuan ini), menciptakan konstruksi rekursif untuk paralelisasi yang lebih besar, mengaritmatisasi mesin virtual untuk meningkatkan pengalaman pengembang bersama dengan tugas-tugas lanjutan lainnya.