探索Circle STARKs
近年來,STARKs協議設計的趨勢是轉向使用較小的數學字段。最早期的STARKs實現使用256位字段,但這種設計效率較低。爲了提升證明速度,STARKs開始使用更小的字段,如Goldilocks、Mersenne31和BabyBear。
使用小字段可以大大提高證明速度,但也帶來了一些安全性挑戰。主要問題是小字段中可選擇的隨機值較少,容易被攻擊者猜測。爲解決這個問題,有兩種方案:進行多次隨機檢查,或使用擴展字段。
Circle STARKs是一種巧妙的解決方案,它在Mersenne31字段上實現了高效的FRI協議。Circle STARKs利用了圓羣的幾何