⚡️看完 V 神的最新奶文《A shallow dive into formal verification》，我又忍不住加仓了 $ETH ！ 可以很明显感觉到，V 神 @VitalikButerin 现在几乎所有长期思考，最后都会落到同一个核心： 如何在能力越来越强的同时，依然保留验证、约束、退出与个人主权。 这也是我觉得 ETH 和很多 AI 项目最大的区别，总是有一个很纯粹的东西打动你！ 这篇其实已经不只是技术文章了，而是在重新回答一个很cypherpunk的现实问题： 当 AI 开始大规模写代码之后，人类还能不能继续信任软件？ 尤其 Crypto、ZK、跨链、AI Agent、自动化金融协议这些东西叠在一起之后，系统复杂度已经开始超出人类审计上限。 这其实也是我觉得全文最有意思的地方： 很多人觉得 AI 会强化去中心化，因为 AI 降低了创造门槛； 但 Vitalik 看到的，恰恰是另一面—— AI 也会极大强化中心化，如果最后所有的安全都只能依赖公司托管、黑盒AI，那 cypherpunk 那套东西就结束了。 所以他本质上是在给 AI 时代重新寻找可信中立层。 而他最后找到的答案，其实和以太坊这些年一直在做的是同一件事： 不追求效率最大化，而是追求“可验证”，AI + Formal Verification，其实就像 Blockchain + ZK。 👉原文在这：

币圈奇女子系列1️⃣----Pickle Cat黄瓜猫 黄瓜猫逐步回血ing，重新登顶币安实盘榜一！你们的皇帝回来啦！ 此时此景，我必须要BB几句。本文约3100字，大约需要7-10分钟。 自从上次在柏林跟Pickle Cat黄瓜猫小聚以后，一直想提笔给大家详细介绍一下黄瓜猫。奈何中途碰到一些大家众所周知不可抗拒的原因。耽搁到现在。因为Pickle Cat对于整个中文区来说，都是一个很神秘的存在。 目前很多人只知道她是一位女子。不接广告，不带单，不做返佣，仅此而已。其他诸如年纪多少大，如何赚到第一桶金，身世背景，为何叫黄瓜猫这个名字，为什么用这个头像等等一系列疑问。值此比特币站上80000大关，黄瓜猫重新登顶币安实盘榜单第一之际。我来提笔给大家告诉大家一个我眼中真实的Pickle Cat------黄瓜猫。 黄瓜猫，华裔加拿大人。00后。普通家庭出身，以上为大家都知道的公开资料。非一些路边社说的天龙人后代。她的战绩，在币安历史总榜可查，也经过一姐的亲自认证。入圈很早，具体年龄我就不说了，免得大家心理接受不了。这么说吧，她入圈的年纪，同比很多人还在辛辛苦苦小镇做题。 黄瓜猫一直都是匿名的。之前主要在reddit上玩耍，刷推也是潜水，主要也是为了看项目还有看市场情绪而已。盘子，ico，defi summer，nft，铭文，符文，她其实都玩过。虽然在体验各个时期的各种新玩法，但是据我了解，她给自己的定义一直都是Trader和普通用户，从未当过dev或者进行过所谓的builder。因为她只是把那些当做一种体验而已。她在推特上逐步被人所知，源自meme疯狂时期，给一个meme工具平台提出了很多意见，该平台老板对这些意见非常重视并进行了回应。而真正被人熟知，是因为她把币安的交易号改成了相同的头像，也就是现在大家熟知的黄瓜猫头像。大家才知道，原来她竟然是币安盈利榜上一直遥遥领先的存在。 黄瓜猫的第一桶金是怎么来的？很多都好奇这个问题，我同样也非常好奇。据了解其实她跟很多人进入这个行业一样，最先都是懵懵懂懂的。最开始玩的是一个叫MMM的盘子，最后盘子崩了，亏了。但是还剩下多少BTC，我没问。然后不服继续玩cryptokitties，终于赚到了在她当时那个年纪对她来说的很多很多很多很多很多的钱，并且成功的留住了钱。 作为一个老OG，自此匿名活跃在二级市场上，独自闷头做交易。相信很多人在币安查看过她的个人资料页，没错，这个账号已经8.7年历史了，注册于2017年8月。而币安的历史，自从2017年7月成立，到现在也不过9年。我当面问过黄瓜猫，为什么选择币安，而不是其他平台，毕竟当时也有不少平台，很多都比币安名气大。她的回答很有意思，竟然单纯是喜欢币安的商标而已。随着时间的沉淀，发现币安的深度也是最好的，感觉应该是一个可以长期使用的交易平台。果不其然，她没有看错。币安在一步一步的发展壮大，最终成为大家现在口中的宇宙所。在此，我个人强烈建议一姐 @heyibinance 在币安十周年之际。一定要给黄瓜猫这样的老OG们，颁发一个“OG陪伴奖”。 黄瓜猫爆过仓吗？我问到的答案是不光爆过仓，而且不止一次，是三次。正是这三次爆仓，才让她形成了目前稳健的交易风格，查看她的币安个人资料页，也是显示为中频交易者。有时候利润回撤时，很多人比她自己还担心她的仓位，也是这次黄瓜猫回血这么多，促使了我要写一写币圈女性系列的原因。 但事实上，以我对她的了解，按她的性格，即使再爆一次，她也有信心自己能再度起来，因为她没有恐惧，也就无所不能。何况她是一名死多头，大不了逢低就不断加仓，买买买而已。每一次周期的低谷，或许对她来说，只是她的购物季。我不禁感叹，这跟巴菲特的风格何其相似，目前手握雄厚现金流的巴菲特，恐怕也是在耐心蛰伏与等待，准备大规模捡尸体吧。小小透露一下，我打探到的确切情报： 黄瓜猫是一名E卫兵，她现货挂了很多limit orders，一直接，亏掉的ETH她貌似都要买回来。 当时我有很大的疑问请教她，就是现在特朗普政府经常随意画K线。我个人觉得年底前是不是还要大跌一波，因为战争的情况很不好，币圈情绪和圈外人也不看好，和2022年有点类似。她却很乐观，认为币圈的下一次共识升级可能来的会更猛烈。而且下一轮共识升级，不会是MEME或者和NFT这样极限投机程度的叙事了。会是有实际应用收入的项目币，而且是真正有用的cion会越来越多。当然，也不否认，任何时候都会有泡沫的存在。我深以为然，毕竟，没有泡沫的啤酒，还能叫啤酒吗？ 针对很多人离开币圈去玩AI，我们也进行过一些探讨。我个人的看法是，很多人其实都没玩明白AI，如果真正玩明白了AI，就会发现，AI发展的越快越好，其实对币圈的发展越是利好，因为最后大家会发现AI Payment只能用crypto，没有别的有效选择。加密天然就是为AI准备的，我个人认为越高度自动化的AI，一定要接入crypto。因为crypto不受国界/政府的干预。她表示大部分赞同。是的，黄瓜猫正在研究AI交易，每个月光TOKEN费用就不下2万刀。 很少人不知道黄瓜猫的真面目，也非常好奇，甚至有人质疑这个人是不是真实存在，阴谋论甚至怀疑是不是某交易所推出来的样板工程。毕竟没几个人在公开场合见过她，在这里，我也只能从主观的角度简单的说，她是一位在街上看起来很漂亮的灵动乖巧领家小女孩，她的爱好跟大多数女孩子都差不多，她也喜欢LABUBU。换位思考，如果你是她，有这样的身价，愿意公开抛头露面吗？需要吗？毕竟，我和黄瓜猫一起亏过钱，都是亏在所谓的熟人朋友那里。对她来说，越是熟人，越可怕。我认为保持这种不公开出现在公共场合的状态，是对她最好的建议。 聊的越深入以后，，我才知道，她最开始上推特也就是想随便发发牢骚，吐吐槽，顺便说一下自己的想法而已。毕竟币圈的很多东西都变了。对于她这种这么早入圈的人来说，肯定已经找不回原来的那种cypherpunk精神，正如我们现在看到的那样，圈内现在大多都是急功近利，牛鬼蛇神之徒。 我问她对于这么多粉丝关心你，开心么？才了解到，有这么多粉丝根本不是她的本意，开始她也没想到会有这么多人关注她，搞的她现在不得不偶尔发发推文，分享一下自己的心得体会。或许，在我这个旁观者的视角看来，旅游，复盘，继续现货狂买，才是她最舒适的生活方式。并且站在我的角度看，推特对她而言，太复杂了，一不留神，发表的看法或者批评，就很容易被人利用，甚至被人当枪使。毕竟她不带单，不返佣，不做广告，为了琢磨发推的内容，纯纯是耽误她交易和赚钱。我在这里抄录一段她TG频道升级公告里的原文，估计就是她内心最真实的想法吧： 我还在交易，只是不只是纯把重心都放在crypto交易了，每次币圈熊市我都会回到个很发散性思维的状态（什么新东西都想学一下，天天写东西/shitposting/“对地球上所有事情都超级好奇阶段”） 很多人很好奇，为什么叫“Pickle Cat”？实际上是她很喜欢一部电视剧叫“rick and morty”，非常喜欢里面的“pickle rick”，然后又很喜欢猫。所以给自己起了这个名字“Pickle Cat“.还亲自设计做了一套表情包。就这么简单。 值此BTC重回8万，黄瓜猫的币安公开账户也回血了很多，重新回到了榜首。老OG的默守与坚持，由此可见一斑。至于是如何坚定自己的信念，并坚持到今天这个结果，或许只有她本人才能描述这个回血之路的整体心路历程。不过写到这里，我好像又能理解了，毕竟，她是一名死多头，E卫兵。