維塔利克·布特林發表《探索 Circle STARKs》

PANews於7月23日報導，以太坊聯合創始人Vitalik Buterin發表了一篇題為《探索Circle STARKs》的文章，討論了一種稱為Circle STARKs的結構。它具有一些獨特的特性，並且設計上與高效的Mersenne31域兼容。Vitalik認為，與普通STARK相比，Circle STARKs對開發者來說並不會帶來太多額外的複雜性。在實施過程中，與普通FRI相比，我觀察到的主要有三個不同之處。Circle FRI所操作的“多項式”背後的數學原理相當反直覺，需要時間來理解和欣賞。然而，這種複雜性被隱藏得很好，開發者不容易察覺。Circle數學的複雜性是封裝的，而不是系統性的。理解Circle FRI和Circle FFT也可以成為理解其他“奇特FFT”的良好知識入口：最著名的是以前在Binius和LibSTARK中使用的二進制域FFT，以及更奇特的結構如橢圓曲線FFT，它們使用與橢圓曲線點操作協調良好的一對一映射。結合Mersenne31、BabyBear和二進制域技術（如Binius），我們確實感覺到我們正在接近STARK“基層”的效率極限。在這一點上，預計STARK優化的前沿將轉向創建高效的算術版本的原語，如哈希函數和簽名（並為此目的優化這些原語），創建遞歸結構以實現更大的並行化，將虛擬機算術化以改善開發者體驗以及其他高級任務。