探索Circle STARKs
近年来,STARKs协议设计的趋势是转向使用较小的数学字段。最早期的STARKs实现使用256位字段,但这种设计效率较低。为了提升证明速度,STARKs开始使用更小的字段,如Goldilocks、Mersenne31和BabyBear。
使用小字段可以大大提高证明速度,但也带来了一些安全性挑战。主要问题是小字段中可选择的随机值较少,容易被攻击者猜测。为解决这个问题,有两种方案:进行多次随机检查,或使用扩展字段。
Circle STARKs是一种巧妙的解决方案,它在Mersenne31字段上实现了高效的FRI协议。Circle STARKs利用了圆群的几何