Circle STARKs: 小字段高效零知識證明的突破性技術

robot
摘要生成中

探索Circle STARKs

近年來,STARKs協議設計的趨勢是轉向使用較小的字段。最早期的STARKs實現使用256位字段,但這種設計效率較低。爲了提高效率,STARKs開始使用更小的字段,如Goldilocks、Mersenne31和BabyBear。

Vitalik新作:探索Circle STARKs

使用較小字段的一個問題是,只有大約20億種可能的隨機值可選擇,這對於想要僞造證明的攻擊者來說是可行的。解決方案包括進行多次隨機檢查或擴展字段。

Vitalik新作:探索Circle STARKs

Circle STARKs提供了一種在Mersenne31等小字段上實現高效FRI的方法。它利用了圓上點的特殊性質,構造了一個大小爲p的羣,具有類似二對一的映射特性。

Vitalik新作:探索Circle STARKs

Circle STARKs的關鍵技術包括:

  • 使用圓上的點進行計算,而不是單一數字
  • 特殊的二對一映射來減少數據集大小
  • Circle FFT算法處理Riemann-Roch空間
  • 改進的商運算和消失多項式構造
  • 修改的逆比特序排列

Vitalik新作:探索Circle STARKs

與常規STARKs相比,Circle STARKs在概念上並不復雜很多。它爲開發人員提供了一種在小字段上構建高效STARKs的方法,有望推動STARKs基礎層效率達到極限。

Vitalik新作:探索Circle STARKs

未來STARKs優化的重點可能包括:

  • 最大化哈希函數等基本密碼原語的算術化效率
  • 使用遞歸構造提高並行性
  • 改進虛擬機的算術化以提升開發體驗

Vitalik新作:探索Circle STARKs

Circle STARKs代表了STARK技術的一個重要進展,爲在小字段上構建高效零知識證明系統提供了新的可能性。

Vitalik新作:探索Circle STARKs

Vitalik新作:探索Circle STARKs

查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 9
  • 分享
留言
0/400
智能合约反叛者vip
· 07-19 17:42
蛮值得期待的进展
回復0
Liquidity_Wizardvip
· 07-18 11:52
解决效率问题了
回復0
NotGonnaMakeItvip
· 07-18 04:35
写代码改变人生
回復0
ShibaMillionairen'tvip
· 07-17 03:08
STARK倒是不错
回復0
GateUser-00be86fcvip
· 07-17 03:08
太 Stark 了吧!
回復0
GasFeeLadyvip
· 07-17 03:08
技术很强!期待!
回復0
FUD_Vaccinatedvip
· 07-17 03:07
新趋势有点意思
回復0
熊市苦修僧vip
· 07-17 03:02
吃点零知识涨涨智
回復0
闪电出击小王子vip
· 07-17 02:51
这波STARK有点猛
回復0
查看更多
交易,隨時隨地
qrCode
掃碼下載 Gate APP
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)