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優化的前沿將轉向製作像哈希函數和簽名這樣的原語的最高效算術化(並為此目的優化這些原語本身),製作遞歸構造以實現更多的並行化,算術化虛擬機器以改善開發者體驗,以及其他更高階的任務。
Vitalik Buterin發文《探索Circle STARKs》
評論
推薦閱讀