关于Vitalik Buterin的Circle STARKS的一切

时间:2024-09-22 编辑: 浏览:(930)

以太坊创始人Vitalik Buterin再次回归,他相信这将把区块链的安全性提升到一个全新的水平。他称之为“圆形星星”,我在这里告诉你你需要知道的一切。

小田地改变了游戏规则

Circle STARKs旨在从大而低效的数字转向更小、更易于管理的字段。最初,STARK使用大的256位字段,但这些字段很慢,浪费了大量空间。

现在,有了Goldilocks、Mersenne31和BabyBear等较小的油田,一切都运行得更快、更高效。例如,Starkware现在可以在M3笔记本电脑上每秒处理620000个Poseidon2哈希。

Vitalik的Circle STARKs在Starkware的stw和Polygon的plonky3中实现,使用Mersenne31字段提供了独特的解决方案。

相关:Vitalik Buterin认为投资者太过分了

制作基于哈希的证明或任何证明的主要技巧之一是通过在随机点对多项式进行求值来证明它。

例如,如果证明系统需要你提交多项式P(x),你可能需要为随机点z显示P(z)=0。

这比直接证明P(x)更简单。如果你提前知道z,你可以通过使P(x)符合该点来作弊。为了阻止这种情况,在提供多项式后选择z,通常是通过对多项式进行散列。

相关:Vitalik Buterin认为政客们正在玩加密货币行业

它适用于大字段,如椭圆曲线协议,但小字段会带来问题。对于小字段,攻击者可以尝试z的所有可能值,从而更容易作弊。

为了解决这个问题,使用了两种主要方法:多重随机检查和扩展字段。第一个很简单——在几个点而不是一个点上检查多项式。但这可能会很快变得低效。

第二种方法,使用扩展字段,涉及创建新的复数,使z更难猜测。

圆形星星的魔力

Circle STARKs引入了Circle FRI的巧妙扭曲。给定一个素数p,有一组大小为p-1的元素,其性质完全符合这种方法。对于Mersenne31来说,这意味着在特定的排列中使用一组点。

致谢:维塔利克·布特林

这些点遵循类似于三角学或复数乘法的模式,使数学运算变得井井有条。在Circle FRI中,点以一种不断减小其大小的方式折叠和组合,使过程高效。

Vitalik说,这张地图将圆上的点加倍,获取坐标对并将其转换为新点。这种方法与现有的32位CPU/GPU操作配合得很好,使其比BabyBear更高效。

快速傅里叶变换(FFT)遵循类似的路径,将多项式的求值转换为系数并返回。

圆FFT在数学家所谓的Riemann-Roch空间上工作,将基多项式的倍数视为零,这简化了数学。

在STARK协议中,您通常需要证明多项式在某些点等于零。通常,您可以使用一个简单的行函数来显示这一点。在Circle STARKs中,这有点棘手,因为等效的行函数需要满足更严格的条件。

为了处理这个问题,Circle STARKs使用插值函数——在两点处等于零的函数。通过减去并除以这些插值,你可以证明得到的商是一个多项式。

在整个计算域中等于零的消失多项式也发挥了作用。在常规STARK中,这很简单。在Circle STARKs中,它涉及重复特定的函数,以确保数学成立。

正如Vitalik所说,“循环数学的复杂性是封装的,而不是系统的。”

最新 更多 >
  • 1 泰国证券交易委员会发布新的指导方针,推出加密监管沙盒

    泰国证券交易委员会(SEC)推出了加密监管沙盒。此次发布的主要愿景是尝试将加密货币融入现实生活中。 在最近的一份新闻公告中,泰国证券交易委员会表示,监管机构正在推出沙盒,以进行实验和开发创新,支持在现实生活中提供加密货币。 SEC在公告中表示,SEC董事会已于3月通过了一项批准加密沙盒的决议。还举行了一次公开听证会,以收集公众的建议。 在获得大多数人的批准后,美国证券交易委员会决定发布确定合格服务

  • 2 在Meme币和加密货币市场波动中的BYDFi交易所

    多年来,模因币生态系统已经发展成为一个价值数十亿美元的市场。它的快速增长归功于数千种以动物、政治人物、名人和其他可纪念人物为主题的代币。 模因币狂热对更广泛的加密货币市场表现产生了连锁反应。凭借2.2万亿美元的市场估值,该行业仍有望吸引更多观众。然而,生态系统面临着一个重大缺陷;由于所在地区的监管限制,许多用户发现录制这些基于加密货币的项目具有挑战性。 BYDFi为这个问题提供了一个解决方案,为每

  • 3 美国证券交易委员会将Hashdex比特币以太坊ETF的决定推迟到9月

    美国证券交易委员会(SEC)已将Hashdex的比特币以太坊ETF的决定推迟到9月底。 在8月9日的通知中,美国证券交易委员会表示,它需要“足够的时间来考虑拟议的规则变更以及其中提出的问题”。新的决定截止日期已定为2024年9月30日。 美国证券交易委员会表示:“委员会认为,指定一个更长的期限来对拟议的规则变更采取行动是合适的,这样它就有足够的时间来考虑拟议的规则更改以及其中提出的问题。”。 Ha

  • 4 哪些是H2的顶级养殖空投项目

    空投农业仍然保留了用户在营销任务和链上交易上的活动,作为潜在爆发的代币来源。几个无标记协议显示了农业活动,导致下半年可能出现空投。 空投农业在2024年一直是一个有争议的问题,既是早期采用者的收入来源,也是Sybill攻击的目标。尽管如此,主要协议的用户仍然渴望最终收到空投。 一些项目不愿意对空投设定严格的截止日期,以鼓励更多的链上活动。对于领先的无标记协议,目标是在2024年底之前随时进行空投。

  • 5 UXLINK:DeSocial新思路?Web3 大规模采用上的“超级链接器”

    1. 项目简介UXLink 是一个基于熟人社交关系的 Web3 社交平台和基础设施,致力于打造集 Web3 入口、社交化去中心化交易所、基础设施等一体化的社交生态体系。在数字时代,社交网络始终是一个关键元素。当前,Web2平台上的用户超过48亿,而Web3平台的用户还不到1%。尽管如此,未来Web2用户向Web3迁移是一个必然的趋势。为了支持Web3的大规模采用,加强连接现实世界社交,UXLink

  • 6 随着Ripple v SEC的最新进展,XRP ATH是否有可能?(ChatGPT的分析)

    TL;博士 Ripple被罚款1.25亿美元,远低于美国证券交易委员会最初要求的20亿美元,导致XRP价格飙升20%。该代币的未来反弹取决于市场状况和法律发展等因素,比特币的表现可能会影响其进一步上涨。 XRP是否为新的峰值奠定了基础? 本周早些时候,Ripple与美国证券交易委员会(SEC)之间的诉讼见证了一个重大进展,当时法官Analisa Torres裁定该公司必须因违反某些证券法而支付

  • 7 Grayscale:以太坊为何表现不佳?未来行情会怎么走?

    来源:Grayscale;编译:白水,摘要由于对美国经济前景和更广泛的金融市场波动的担忧,加密货币估值在 8 月初下跌。以太坊表现不佳,可能是由于期货市场仓位增加以及少数大持有者的抛售。如果美国经济继续走在“软着陆”的道路上,Grayscale Research 预计代币估值将反弹。然而,即使在较弱的经济环境中,Grayscale Research 也有理由相信价格的下行风险可能比过去更有限。加密

  • 8 以下是BNB在图表上下一次价格逆转的可能性!

    截至发稿时,BNB似乎正在回落至491美元的关键支撑位。价格走势和指标表明,可能会继续看涨 在撰写本文时,币安币(BNB)似乎正在向491美元左右的关键支撑位回落。这一水平为过去三个月的牛市逆转奠定了坚实的基础。然而,BNB的价格走势表明,反弹可能会继续。不过,支持水平至关重要,因为它也经过了多次测试。 看涨延续的可能性 如果BNB价格以足够强劲的方式保持在491.5美元的支撑区,可能会推动其进入

  • 9 多头发力, DOGE 价格将持续上涨

    随着看跌势头的增强,狗狗币 (DOGE) 面临越来越大的上行压力,近期市场趋势表明可能上涨至 0.1144 美元大关。价格走势反映出持续的看涨势头,有利于多头并引发对进一步上涨的担忧。技术指标和市场状况表明上涨的可能性越来越大,目标是 0.1144 美元的关键阻力位。本文通过分析当前的市场情绪和指向潜在上涨的关键技术指标,全面分析了狗狗币当前的看涨趋势以及价格上涨至 0.144 美元的可能性。DO

  • 10 比特币急坠5.8万、以太坊力守2500美元 支撑位在哪?本周有哪些经济大事要注意?

    比特币在昨(11)日傍晚一度上攻61,885 美元之后,便开启震荡下行,今(12)晨八点半左右一度下杀58,073 美元,其间下跌将近6%。目前来看,昨晚的跌幅是上周从4.9 万美元拉涨以来,回调最深的一次。如果BTC 未能守住在57,500 美元之上,那下个支撑点位大约在54,500 美元(费波纳契0.618 以及交易密集区)。以太币力守2500 美元以太币走势与比特币类似,昨日傍晚一度攀升至2