📢 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基础层效率的极限,未来的优化将更多地集中在这些方向上。