递归STARKs——它们是什么以及如何工作？

为了提供背景，StarkWare在几年前就已经实现了它们，你可能在以太坊的升级计划中看到过它们。那么它们是什么？

首先，让我们解释递归。
递归是计算机科学中一种奇妙的技术：你将一个问题分解成几个更小的子问题，每个子问题与原始问题*完全*相同，只是规模更小。然后重复这个过程，直到你得到大量非常小且容易解决的问题。

递归最简单的例子是二分查找。假设我想在字典中查找一个单词（比如\"Symphony\"）的定义条目，假设字典有1000页。我大致从中间打开字典，看看我所在的字母（假设是\"Lamb\"）。基于此，我选择Lamb之后的那一半，再次从中间打开。现在，根据我所在的字母，我知道下一步应该缩小到哪一半。我重复这个过程，每次页数减半。换句话说，我在越来越少的页数上递归搜索。

现在回到STARKs。
证明者声称她处理了1000个区块，每个区块包含1000笔交易（总共100万笔交易）。我们希望基于此更新系统状态。证明者可以提交一个单一的证明，验证者验证该证明所需的时间大致相当于处理一笔交易的时间。但走这条路需要一个非常大的计算机，配备大量内存。如果吞吐量增加，我们需要证明100万个区块，每个区块包含1000笔交易，那么我们将需要更大的计算机。有一种不同且更好的方法。

现在，回想一下，验证一个STARK证明所需的计算量大致相当于处理一笔交易。
此外，由于Starknet是图灵完备的，一笔将STRK从Alice转移到Bob的交易、一笔进行兑换的交易，或者一笔验证STARK证明的交易之间没有区别。这些都只是计算的例子。

因此，与其使用一台大计算机来证明100万笔交易，递归STARK证明者创建了1000个STARK证明，每个Starknet区块一个。验证者可以花费1000笔交易的成本来验证这1000个证明中的每一个。但更高效的方法是让证明者证明她处理了这1000笔交易，而每笔交易都是一个验证交易。这样，我们找到了一种方法，使用较小的计算机（或并行使用多台独立的计算机）来证明这1000个区块，然后递归地证明这1000个证明都是有效的。我们证明，然后证明我们证明过。

这个递归过程实际上在Starknet中得到了应用，并显著降低了延迟和证明成本。

结束。

递归STARKs——它们是什么以及如何工作？

为了提供背景，StarkWare在几年前就已经实现了它们，你可能在以太坊的升级计划中看到过它们。那么它们是什么？

首先，让我们解释递归。
递归是计算机科学中一种奇妙的技术：你将一个问题分解成几个更小的子问题，每个子问题与原始问题*完全*相同，只是规模更小。然后重复这个过程，直到你得到大量非常小且容易解决的问题。

递归最简单的例子是二分查找。假设我想在字典中查找一个单词（比如\"Symphony\"）的定义条目，假设字典有1000页。我大致从中间打开字典，看看我所在的字母（假设是\"Lamb\"）。基于此，我选择Lamb之后的那一半，再次从中间打开。现在，根据我所在的字母，我知道下一步应该缩小到哪一半。我重复这个过程，每次页数减半。换句话说，我在越来越少的页数上递归搜索。

现在回到STARKs。
证明者声称她处理了1000个区块，每个区块包含1000笔交易（总共100万笔交易）。我们希望基于此更新系统状态。证明者可以提交一个单一的证明，验证者验证该证明所需的时间大致相当于处理一笔交易的时间。但走这条路需要一个非常大的计算机，配备大量内存。如果吞吐量增加，我们需要证明100万个区块，每个区块包含1000笔交易，那么我们将需要更大的计算机。有一种不同且更好的方法。

现在，回想一下，验证一个STARK证明所需的计算量大致相当于处理一笔交易。
此外，由于Starknet是图灵完备的，一笔将STRK从Alice转移到Bob的交易、一笔进行兑换的交易，或者一笔验证STARK证明的交易之间没有区别。这些都只是计算的例子。

因此，与其使用一台大计算机来证明100万笔交易，递归STARK证明者创建了1000个STARK证明，每个Starknet区块一个。验证者可以花费1000笔交易的成本来验证这1000个证明中的每一个。但更高效的方法是让证明者证明她处理了这1000笔交易，而每笔交易都是一个验证交易。这样，我们找到了一种方法，使用较小的计算机（或并行使用多台独立的计算机）来证明这1000个区块，然后递归地证明这1000个证明都是有效的。我们证明，然后证明我们证明过。

这个递归过程实际上在Starknet中得到了应用，并显著降低了延迟和证明成本。

结束。

StarkWare最近在做什么？加密寒冬是专注于你认为下一个夏天重要的事情的最佳时机。所以我们继续建设。以下是我们在做的工作：量子安全——未来三年，量子威胁只会增加。我担心比特币、以太坊、Solana和其他链到时可能准备不足。我没有水晶球，但必须有人认真对待量子安全，我们不能等待依赖他人的工作。我们正在确保Starknet具备量子安全，并继续倡导整个加密生态系统采取更快速、更果断的行动。可用隐私——隐私不仅仅是一个可投资的模因。它是任何严肃使用区块链作为主要商业轨道的基本要求。如果你继续这个推理，你会看到屏蔽转账（Zcash风格）只是开始，但还不够。你需要可用的隐私、可组合、流畅的用户体验，以覆盖所有感兴趣的经济活动——质押、借贷、投资、交易、兑换等。这就是我们已经在Starknet基础设施层上通过strk20和strkBTC构建的，也是Starknet生态系统正在使其可用的。自由技术——有一种世界，加密只是传统金融的新金融轨道。但还有另一种世界，区块链的主要价值主张是允许任何人自由、无需许可地构建和运营任何经济活动。去中心化顶层排序是其中一种方式，但更引人注目且较少探索的路线是去中心化并简化运行临时和本地迷你区块链（即zkThreads）的过程。更多关于这个激动人心的方向即将推出。生态系统——加密寒冬需要勇气，需要加强生态系统。在生态系统的领导下，我们正在帮助维持和加强需要修复的DeFi和支付领域。这是一个持续的过程，我们带着热爱和激情去做。所以我们继续建设，继续加强Starknet的后量子安全、隐私、灵活性，使其面向未来。

垂死的世界：我成为一名数学家是为了发现改变世界的事物。就像复分析的发现导致了量子力学和原子能。

但AI正在终结这一切。数学家很快就会像古典学者一样——解释他们并未创造的东西。

预测：明天@someLeader会说他会采取强硬行动。然后他说决定不采取。然后他说对达成协议乐观。这会每天重复直到下一次重要事件。

什么能重振加密货币？
我们正处于严酷的加密寒冬的深处。外面简直就是冬天。但这个加密寒冬终将结束，夏天会到来，我将推测什么可能带来这一切。

人工智能：
那个一直在吸走房间里所有氧气的东西，最终会做两件事：（1）为去中心化和无需许可的市场创造新市场，这些市场需要极高的规模（100万+ TPS）和低成本。同时，那种认为人工智能是终结所有就业和所有生命的末日论将被证明是错误的。对无需许可的金融自由的需求将越来越大，而加密货币最能实现这一点。这种技术因其无需许可、去中心化等特性，完美契合这一需求。

宏观：
我不是宏观经济学专家。但围绕加密货币的许多焦虑源于更深层的宏观动荡：全球主要大国重新调整引发的地缘政治斗争，美元支撑的世界秩序的命运，民主和自由社会的韧性，以及公众无法投资并从SpaceX和人工智能等企业中获利。加密货币最初的形式是许多这些大问题的答案，但公众需要时间才能意识到并回归。

自由科技：
我对@jack所做的一切感到非常兴奋，从最初的Twitter（我非常怀念）到Buzz、Nostr和Bitchat，我认为这是自由和真正自我所有权的新前沿，非常值得且重要。我不知道这个新技术栈的“crypto-kitties”时刻会是什么，但我相信它一定会到来，而且会非常盛大。

与此同时，我们所有金融创新自由的信仰者（在Starknet及类似地方）将继续努力，为你们提供最好的基础设施——后量子安全、可扩展、隐私流畅，为即将到来的夏天做好准备。

这真的很重要：首次可以顺畅且私密地质押比特币，并从中获得收益。耶！

你知道隐私季节之后是什么吗？后量子安全季节。好在STARKs全年都能提供两者。

对于所有一直想理解ZK-STARKs如何实现扩展和隐私，但被超级复杂的月之数学之旅搞晕的人，我写了这篇非常清晰、简化、非技术性的解释。它很长，但值得一读。阅读、分享你的想法、提出你的问题。享受吧！

为什么我不喜欢《奥德赛》电影：我从《奥德赛》中认识的奥德修斯，展现了极其广泛的男性特质，甚至到了极致：他可爱、有魅力、聪明、狡猾、诡计多端、爱冒险、热情、勇敢、无畏、傲慢、自信、好奇等等。在电影中，他愚蠢、充满愧疚、几乎不说话，并且缺乏以上所有特质。故事也毫无意义，尽管是用IMAX拍摄，但在电影摄影上并不特别美丽。而由出色的@jonnybernthal扮演的墨涅拉俄斯（根据《奥德赛》，“红发墨涅拉俄斯”）看起来比马特·达蒙更像奥德修斯。

观察与预测：AI正在杀死基于广告的经济，而加密货币将成为赢家。

解释：
过去25年，互联网经济是这样的：出版商向用户免费提供内容，因为他们的收入来自向用户展示的广告。

这种经济正在消亡，因为AI正在取代用户去获取内容，而AI对广告不感兴趣。

这将推动出版商对其内容收费，我看到了两种最终状态，其中一种状态中加密货币是主要赢家。

中心化解决方案：由一个或少数几家公司被信任来代表代理和出版商进行记账——谁访问了哪个网站——并定期（例如每月）结算。这比看起来要困难得多——代理、用户、出版商是去中心化且全球分布的。支付必须跨境并满足监管要求。大问题。

去中心化解决方案：使用超大规模区块链技术，代理将通过微支付实时支付以访问内容。这是一个区块链非常适合的用例，除了如何支持数百万TPS这个小问题。

你可以与全世界分享你的交易详情！！或者隐藏它。最好隐藏它。

我不知道这是否是回音室效应，还是生态系统共识的真正转变，但我认为大多数比特币持有者已经同意，需要做好量子就绪的准备，并且我们必须尽快推进这项工作。

我对吗？我错了吗？
我们还需要说服别人吗？

他指的是哪些技术？

冬天是建设的最佳时机。我们还没完成，远远没有。

真正的区块链是为了自由的金融创新。企业链试图通过监管来阻止这一点，但它们会失败。加油，Starknet, Near, Zcash, Ethereum, Bitcoin.

用通俗语言解释ZK（零知识）：我可以零知识证明我知道一个锁的密码组合。方法如下：我拿起锁，转过身，打开它，然后用拇指遮住密码向你展示它是打开的。然后我关上它并打乱顺序。困难且神奇的部分是：任何计算都可以在零知识中证明正确。我可以向你证明从创世块到最新块的整个比特币区块链是正确的，而不给你任何关于区块和交易的细节。

刚刚意识到，巴黎很热。

简而言之，未来的以太坊就是今天的Starknet

说出一个特朗普没搞乱的代币。我先来：$STRK