📢 Gate廣場 #创作者活动第一期# 火熱開啓,助力 PUMP 公募上線!
Solana 爆火項目 Pump.Fun($PUMP)現已登入 Gate 平台開啓公開發售!
參與 Gate廣場創作者活動,釋放內容力量,贏取獎勵!
📅 活動時間:7月11日 18:00 - 7月15日 22:00(UTC+8)
🎁 活動總獎池:$500 USDT 等值代幣獎勵
✅ 活動一:創作廣場貼文,贏取優質內容獎勵
📅 活動時間:2025年7月12日 22:00 - 7月15日 22:00(UTC+8)
📌 參與方式:在 Gate 廣場發布與 PUMP 項目相關的原創貼文
內容不少於 100 字
必須帶上話題標籤: #创作者活动第一期# #PumpFun#
🏆 獎勵設置:
一等獎(1名):$100
二等獎(2名):$50
三等獎(10名):$10
📋 評選維度:Gate平台相關性、內容質量、互動量(點讚+評論)等綜合指標;參與認購的截圖的截圖、經驗分享優先;
✅ 活動二:發推同步傳播,贏傳播力獎勵
📌 參與方式:在 X(推特)上發布與 PUMP 項目相關內容
內容不少於 100 字
使用標籤: #PumpFun # Gate
發布後填寫登記表登記回鏈 👉 https://www.gate.com/questionnaire/6874
🏆 獎勵設置:傳播影響力前 10 名用戶,瓜分 $2
Circle STARKs: 小字段上構建高效零知識證明的新方案
探索Circle STARKs
近年來,STARKs協議設計的趨勢是轉向使用較小的字段。最早期的STARKs實現使用256位字段,但這種設計效率較低。爲了提升效率,STARKs開始使用更小的字段,如Goldilocks、Mersenne31和BabyBear。
使用小字段可以顯著提高證明速度。例如,Starkware在M3筆記本上每秒可證明620,000個Poseidon2哈希。但小字段也帶來了一些挑戰,比如如何在有限的值空間中實現足夠的隨機性。
爲解決這個問題,可以採用多次隨機檢查或擴展字段的方法。擴展字段類似於復數,引入新的值α使得α^2等於某個特定值,從而創建更復雜的數學結構。
Circle STARKs是一種巧妙的方案,可以在Mersenne31等小字段上高效實現FRI協議。它使用了一種特殊的圓羣結構,具有類似二對一映射的性質。這種結構允許我們在小字段上進行高效的多項式約減。
Circle STARKs還支持類似的FFT操作,但處理的是Riemann-Roch空間而不是嚴格的多項式。這帶來了一些細節上的差異,如商運算和消失多項式的構造方式。
總的來說,Circle STARKs爲開發者提供了一種在小字段上構建高效STARKs的方法,而無需過多關注底層數學細節。它結合了小字段的計算效率和足夠的安全性,是一個很有前景的STARK優化方向。
未來STARK優化可能會集中在:1)優化基本密碼學原語的算術化;2)通過遞歸構造提高並行性;3)改進虛擬機的算術化以提升開發體驗。我們正在接近STARK基礎層效率的極限,未來的優化將更多地集中在這些方向上。