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
· 3小时前
蛮值得期待的进展
回复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)