今天，一个疯狂的量子故事变得更加疯狂。 3月31日，谷歌量子人工智能团队公布了肖尔椭圆曲线密码算法的一项具有里程碑意义的结果。从技术上讲，这篇论文是一个重磅炸弹：比最先进的技术进步了10倍。作为区块链领域的噱头和警钟，这些优化在secp256k1上得到了说明，secp256k1是比特币和以太坊签名的椭圆曲线。 但也许这篇论文最引人注目的部分是社会学，而不是技术。这些优化并没有遵循标准的学术过程，而是被保密，隐藏在零知识（ZK）证明之后。谷歌随附的博客文章提到他们“和美国政府进行了接触”。ZK证明证明了在不泄露细节的情况下存在算法改进。ZK的学术审查是历史性的第一！ 作为谷歌论文的合著者，我目睹了这种审查制度的一些背景。说实话，这种情况的多个方面让我感到不舒服。尽管我认为公众应该知道更多，但我举报的能力有限。不过，让我明确一点：谷歌团队的专业精神绝对堪称典范，他们值得赞扬。 审查有一种适得其反的方式。史翠珊效应，即试图埋葬某物只会引起更多的关注，正是今天正在发生的事情。首先，法国人重新发现了谷歌的关键优化。在一个激动人心的转折中，一场合作的肖尔家庭挑战赛刚刚启动。该倡议在ecdsa[.]失败后，在几个小时内打破了肖尔的新世界纪录。 让我们从重新发现开始。就在谷歌发表论文两个月后，法国量子专家AndréSchrottenloher破解了主要的秘密优化。他的论文题为“椭圆曲线离散对数的优化点加法电路”，今天发表在arXiv上。向André表示热烈祝贺，他击败了其他几位书呆子般的专家。在今天发表的一篇博客文章中，Shor优化的世界专家Craig Gidney透露，在审查压力下，他已经坐在这个优化上整整一年了。 有趣的是，André错过了一些小的优化，无论是谷歌的原始出版物还是此后发现的改进。似乎还有很多果汁可以从肖尔身上榨出，这正是ecdsa[.]失败挑战的意义所在。为ZK证明开发的验证器程序具有双重功能，自动过滤有效提交。数十项小型和微型的复合改进正在涌现。截至撰写本文时，谷歌的电路有8.4%的改进，这是通过逻辑量子比特计数和Toffoli门计数的乘积来衡量的。不错！ 书呆子的狙击比任何人预期的都要深入。在过去的几周里，很明显，它远远超出了安德烈和其他量子专家的范围。在幕后，一小群业余爱好者悄悄地开始工作。受Karpathy式自动搜索的启发，他们在Shor上启用了AI。具有讽刺意味的是，ZK证明的验证器程序为人工智能提供了一个理想的奖励函数。这种现代研究风格的进入门槛低得令人耳目一新，几位非专家，甚至是一位青少年，都找到了很好的乐观。如果你想和其他自动搜索者一起加入Telegram群组，请联系：） 第二部分：中性原子与量子日 故事并没有以谷歌结束。在谷歌上市的同一天，一家名为Oratomic的隐秘初创公司在一份协调发布的新闻稿中发表了自己的Shor论文。它引起了轰动，最终成为scirate[.]com上投票最多的论文，该网站对arXiv论文进行排名。 Oratomic的说法很疯狂。通过建立在谷歌的逻辑优化基础上，并对中性原子应用定制的物理优化，他们声称只有1万个物理量子位就足以在secp256k1上运行肖尔的算法。这个数字低得令人难以置信。 当Oratomic的论文发表时，我对中性原子基本上一无所知，我很感兴趣，决定更多地了解这项技术。我直接掉进了兔子洞，在这个话题上花了几百个小时。我有点痴迷，看了我能找到的每一个YouTube视频，并与一群专家交谈。 我的结论？技术是真实的，非常真实。就连谷歌最近也决定建立一个中立的原子实验室，这是他们唯一关注超导量子比特的一个显著转变。如果你关心qday，即量子计算机在生产中打破第一块密码学的那一天，中性原子需要你的注意。在ZK-Proof密码学会议上，我在30分钟的演讲中分享了我对Shor和中性原子的一些了解。你可以在YouTube上搜索“zkproof中性原子”来找到它。 关于这两篇突破性论文，有一个有趣的观察：谷歌和Oratomic都没有说他们的结果对qday意味着什么。没有时间表。零。娜达。考虑到白帽量子密码分析的全部目的是为qday估计提供信息，并帮助公众做出正确的决定，这尤其令人困惑。 因此，让我尝试部分填补沉默，就像斯科特·阿伦森在4月29日的帖子中所做的那样。考虑到我所知道的一切，包括可怕的非公开信息，我现在认为到2032年qday的几率为50%。到2030年达到10%。 据传，美国政府有自己的日期：2035年。它起源于美国国家安全局，后来被美国国家标准与技术研究院采用，届时美国政府的分支机构将被禁止使用量子脆弱密码学。简单地说：事后看来，那个日期是个笑话，应该完全不予考虑。我不明白NIST是如何避免多年来被迫将其向前推进的。 第3部分：后量子密码学 今天有充分的理由拉响警报，但请不要惊慌。草率地走向不成熟的后量子密码学是灾难的根源。国际海事组织认为，移民的良好目标日期是2029年，大约3.5年后。2029恰好是谷歌、Cloudflare和以太坊基金会选择的日期。 这些天，我的大部分时间都花在了将以太坊安全地迁移到后量子密码学上，作为更广泛的精益以太坊努力的一部分。有很多工作要做。我们需要删除和替换共识层的BLS签名、数据层的KZG承诺和执行层的ECDSA签名。 实现这一目标的计划令人信服，并且基于基于哈希的密码学。在以太坊基金会内部，我们开发了一种名为leanVM的瑞士军刀（github[.]com/leanEthereum/leanVM），它由基于哈希的SNARKs的魔力提供支持。由于Emile、Thomas和其他人的出色工作，它的表现受到了嘲笑。关于安全性，leanVM是一颗宝石，它是为端到端形式验证和最大安全性而精心设计的最小zkVM。 想帮忙吗？有两项100万美元的倡议。首先是邻近奖（proximityprize[.]org）。解决编码理论中一个长期存在的数学猜想，改进基于哈希的SNARKs，然后回家成为百万富翁。其次，Poseidon Initiative（Poseidon Initiative[.]info）为破解SNARK友好的哈希函数Poseidon提供了100万美元。