Vitalik Buterin发文《探索Circle STARKs》

报道 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优化的前沿将转向制作像哈希函数和签名这样的原语的最高效算术化（并为此目的优化这些原语本身），制作递归构造以实现更多的并行化，算术化虚拟机以改善开发者体验，以及其他更高级的任务。