註冊並分享邀請連結,可獲得影片播放與邀請獎勵。

蓝狐
@lanhubiji
蓝狐笔记,通往web3的世界。 (1.仅记录想法,没有客观只有主观,不能作为投资建议 ;2.蓝狐笔记只有此号,没有任何telegram或discord等群,没有其他分号,不会要求任何人参与投资,也不会发表跟区块链无关内容 ;3.不会发布链接,不要点击,谨防受骗。)
976 正在關注    73.4K 粉絲
@NPC_Leo 形式化验证在AI推动下,从“奢侈品”变成“可规模化工具”。
在Zcash最新的隐私交易池 Orchard理论上可以无限伪造ZEC(造假币),而且因为Orchard的隐私保护,造假后几乎无法被链上检测出来。 从2022年Orchard上线一直到2026年5月29日才被发现,6月1-2日通过紧急网络升级修好。 有没有人已经造假了? 很危险,不过Zcash团队(Shielded Labs)认为大概率没人成功利用,理由有三点: 1. 这个bug藏了4年都没被发现,说明门槛很高。 2. 他们是主动出击,专门雇了厉害的人 + 用最新AI去主动找,而不是等黑客来。 3. 发现后反应极快,几天内就把漏洞堵上了。 不过因为Orchard的隐私特性,无法用密码学100%证明过去没人造过假币,这是最大的不确定性。 目前的处理: • 已经修好:做了紧急网络升级,Orchard交易已恢复正常。 • 下一步准备再做一个网络升级,让任何人可以公开验证“Zcash的总供应量是真实的,没人偷偷多印钱”。具体方案是新开一个池子 + 对从Orchard出来的币做转账会计检查(turnstile accounting)。
顯示更多
0
29
53
5
轉發到社區
美参议院银行委员会正式将《清晰法案》报告给全体参议院,并列入参议院立法日历(General Orders,Calendar No. 423)。 法案正式进入参议院全体待审阶段,等待多数党领袖安排全体辩论和投票。具体辩论和投票日期还没有官方公布,可能在本周或近期安排,取决于参议院日程。 下一步则需要参议院全体投票,如通过,还需与众议院版本协调,最终送交总统签署。 基本上是最后一关了。
顯示更多
美国参议院银行委员会准备最早在5月14日(下周四)对《CLARITY Act》进行委员会投票(具体时间仍需确认)。 这是美国加密行业最重要的一部市场结构法案,可大幅减少监管不确定性,被行业视为超级利好。 《CLARITY Act》的全称是Digital Asset Market Clarity Act of 2025(2025年数字资产市场清晰法案)。 其要达到核心目的是,给美国加密货币市场提供明确监管框架,包括: • 明确哪些数字资产属于证券(SEC管)还是商品(CFTC管); • 稳定币监管规则; • 投资者保护、反洗钱、DeFi相关条款等。 《CLARITY Act》于2025年7月在众议院以294-134票通过,随后转到参议院银行委员会。 过去几个月进展缓慢,主要卡在谈判阶段(稳定币收益、DeFi条款、两党妥协等)。 最新进展是,参议员Thom Tillis和Angela Alsobrooks就稳定币收益达成妥协,草案文本已发给部分行业人士,银行委员会正在准备正式发出投票通知。 如果委员会通过,还需要经过如下流程: 委员会通过 → 参议院全院(需60票)→ 与众议院版本协调(conference)→ 两院最终通过 → 总统签字。 最终通过的时间线可能拖到6-7月,甚至更晚。
顯示更多
0
11
26
2
轉發到社區
Justin Drake大概是说,Google本来想低调处理量子威胁,结果反而把全世界(包括AI和业余玩家)都“nerd sniped”( 突然被一个超级吸引人的技术问题吸引住,废寝忘食地研究)了。 量子威胁正在从“科幻”变成“现实倒计时”,尤其是中性原子这条路线。以太坊有明确计划在推进。 他建议2029年完成迁移到“后量子密码”(量子计算机也破解不了的新加密方式)。Google、Cloudflare、以太坊基金会都把这个时间点当目标。 以太坊已经在干了: • 计划替换掉现有的BLS签名、KZG承诺、ECDSA签名。 • 用基于哈希的密码方案。 • 做了叫leanVM的工具,安全性很高。 整体来说,这个趋势对以太坊有利。
顯示更多
Today a crazy quantum story just got wilder. On March 31, the Google Quantum AI team published a landmark result on Shor's algorithm for elliptic curve cryptography. Technically, the paper was a bombshell: a dramatic 10x improvement over the state-of-the-art. As a stunt and wakeup call to the blockchain space, those optimisations were illustrated on secp256k1, the elliptic curve underlying Bitcoin and Ethereum signatures. But perhaps the most striking part of the paper was sociological, not technical. Instead of following standard academic process, the optimisations were kept secret, hidden behind a zero-knowledge (ZK) proof. Google's accompanying blog post mentions they "engaged with the U.S. government". The ZK proof demonstrates the existence of algorithmic improvements without leaking details. Academic censorship with ZK, a historic first! As a co-author of the Google paper I witnessed some of the context surrounding this censorship. To be honest, multiple aspects of that context don't sit well with me. As much as I believe the general public ought to know more, I am limited in my ability to whistleblow. Though let me be clear about one thing: the Google team's professionalism has been absolutely exemplary, and they deserve nothing but praise. Censorship has a way of backfiring. The Streisand effect, where an attempt to bury something only draws more attention to it, is exactly what's unfolding today. First, Google's key optimisation has been rediscovered by the French. And in a thrilling turn of events, a collaborative Shor-at-home challenge just launched. The initiative, available at ecdsa[.]fail, breached a new Shor world record in a matter of hours. Let's start with the rediscovery. Just two months after Google's paper, French quantum expert André Schrottenloher cracks the main secret optimisation. His paper, titled "Optimized Point Addition Circuits for Elliptic Curve Discrete Logarithms", landed on the arXiv today. Big congrats to André, who beat several other nerdsnipped experts to it. In a blog post also published today, Craig Gidney, the world expert on Shor optimisations, revealed that he'd been sitting on this very optimisation for a whole year under censorship pressure. Interestingly, André missed a handful of minor optimisations, both from Google's original publication and from improvements found since. It's plausible there's still plenty of juice left to squeeze out of Shor, and this is exactly what the ecdsa[.]fail challenge is about. The verifier program developed for the ZK proof does double duty, automatically filtering for valid submissions. Dozens of compounding small and micro improvements are rolling in. As of the time of writing there's an 8.4% improvement to Google's circuit, as measured by the product of logical qubit count and Toffoli gate count. Nice! The nerdsnipping ran deeper than anyone expected. Over the last few weeks it became clear it extended well beyond André and other quantum experts. Behind the scenes, a small army of amateurs quietly got to work. Inspired by Karpathy-style autoresearch, they turned AI on Shor. Ironically, the verifier program for the ZK proof makes an ideal reward function for AIs. The barrier to entry for this modern style of research is refreshingly low, with several non-experts, even a teenager, finding nice optimisations. Get in touch if you'd like to join a Telegram group with fellow autoresearchers :) Part 2: neutral atoms and qday The story doesn't end with Google. On the same day Google went public, a stealthy startup called Oratomic published its own Shor paper in a coordinated release. It made a splash, ultimately becoming the most upvoted paper on scirate[.]com, a website ranking arXiv papers. Oratomic's claim was wild. By building on Google's logical optimisations and applying custom physical optimisations for neutral atoms, they claimed just 10K physical qubits were sufficient to run Shor's algorithm on secp256k1. That number is mind-bogglingly low. Knowing essentially nothing about neutral atoms when Oratomic's paper landed, I was intrigued and decided to learn more about the tech. I fell straight down the rabbit hole and spent a couple hundred hours on the topic. I got a little obsessed and watched every YouTube video I could find and spoke to a bunch of experts. My conclusion? The tech is real, very real. Even Google recently decided to start a neutral atom lab, a notable pivot from their sole focus on superconducting qubits. If you care about qday, i.e. the day a quantum computer will break the first piece of cryptography in production, neutral atoms demand your attention. I shared some of my learnings on Shor and neutral atoms in a 30min talk at the ZKProof cryptography conference. You can find it on YouTube by searching "zkproof neutral atom". Here's an interesting observation about this duo of breakthrough papers: neither Google nor Oratomic say a word about what their results mean for qday. No timelines. Zero. Nada. That is especially baffling given that the whole point of whitehat quantum cryptanalysis is to inform qday estimations and help the general public make good decisions. So let me attempt to partially fill the silence, similarly to what Scott Aaronson did in his April 29 post. Given everything I know, including scary non-public information, I now put the odds of qday by 2032 at 50%. 10% by 2030. Anecdotally, the US government has its own date: 2035. Originating at the NSA and later adopted by NIST, it's when branches of the US government will be disallowed from using quantum-vulnerable cryptography. In plain language: with hindsight, that date is a joke and should be discounted entirely. I don't see how NIST avoids being forced to pull it forward by years. Part 3: post-quantum cryptography There are good reasons to sound the alarm today, but please do not panic. Rushing carelessly towards immature post-quantum cryptography is a recipe for disaster. IMO a good target date for migration is 2029, roughly 3.5 years out. 2029 happens to be the date selected by Google, Cloudflare, and the Ethereum Foundation. These days most of my time goes to safely migrating Ethereum towards post-quantum cryptography as part of the broader lean Ethereum effort. There's a lot to do. We need to rip out and replace BLS signatures at the consensus layer, KZG commitments at the data layer, and ECDSA signatures at the execution layer. The plan to get there is compelling, and is based on hash-based cryptography. Within the Ethereum Foundation we've developed a Swiss army knife called leanVM (github[.]com/leanEthereum/leanVM) powered by the magic of hash-based SNARKs. Thanks to truly exceptional work by Emile, Thomas, and others, its performance is derisked. Regarding security, leanVM is a jewel, a minimal zkVM crafted for end-to-end formal verification and maximum security. Want to help? There are two $1M initiatives. First, the Proximity Prize (proximityprize[.]org). Solve a long-standing mathematical conjecture in coding theory, improve hash-based SNARKs, and go home a millionaire. Second, the Poseidon Initiative (poseidon-initiative[.]info), offers $1M for breaking Poseidon, the SNARK-friendly hash function.
顯示更多
0
13
36
0
轉發到社區
从视频看,Tom Lee回应了vitalik之前关于以太坊基金会专注于核心CROPS的帖子,他表示: “以太坊DAT财库公司,包括 Bitmine 和 Sharplink 在内的财库——现在拥有 7% 的以太坊供应量……财库股票本质上是永久从生态系统中移除的供应量,但我们也拥有收益。收益大约为 3%,因此如今这些公共财库正在产生约 5 亿美元的奖励,这就是我们可以用来资助和资助加密生态系统的东西。” 简单来说,以太坊生态以后不用只靠基金会发钱了,现在这些DAT财库公司,可以拿出钱来支持项目、开发者、基础设施。 主要几点: 1. DAT财库公司已经囤了很多 ETH
像 Bitmine(Tom Lee )和 SharpLink 等上市公司,现在合计持有全网约 7% 的以太坊。这些公司把 ETH 当成“公司财库”长期持有。 2. 他们靠 staking 每年赚不少。把 ETH 质押到以太坊网络上帮忙维护安全,每年能赚约 3% 的收益。目前这些公司加起来,一年能拿到 约 5 亿美元 的以太坊奖励。 3. Tom Lee 认为,这些钱不要全留着,可以拿出一部分来资助以太坊生态(发 grant、支持项目、开发者、L2 等)。
以前主要靠 以太坊基金会(EF) 出钱,现在这些“DAT财库”也可以自己出钱了。 4. Tom Lee 认为以太坊基金会把重点缩小到最核心的事(CROPS:抗审查、开放、隐私、安全)是正确的决定。 
因为以太坊现在已经很大了: • 市值约 2400 亿美元 • 运行 11 年零宕机 • 全球 89 个国家、11500 个节点 • 15000 个开发者 
一个基金会管不过来,未来更多事情要靠私营公司去做。 因为这代表以太坊生态的资金模式在进化:从“靠基金会财库”转向“靠市场化的大持有者自己赚钱反哺”。 这才是实现正向循环该做的事情。
顯示更多
0
77
133
19
轉發到社區
更准确的比喻应该是:一个城市的安全水平决定大家敢不敢把贵重财产放进来。城市越安全、配套越好(学校、医院、商场),富人就越愿意把家搬进来、长期住。即使有高速公路能快速搬家,大多数人也不会天天搬——因为搬家成本高、目的地不一定更好。 以太坊就是那个“最安全、配套最全的城市”。CCTP只是“高速公路”,能搬,但不代表大家都想搬。
顯示更多
由上層的資產總額,回頭拉動下層的安全預算。就像是國家經濟發展夠好,理論上政府就能收到更多預算並用來投入國防。但這理論的最大問題是,目前上層的這些資產,未必要長期綁定在以太坊上,隨時都可以 CCTP 跨鏈移動
顯示更多
0
105
22
0
轉發到社區
以太坊基金会不再是大的节点,而第二基金会(或者生态基金会)可以成为更大的节点。 现在的以太坊基金会聚集核心原则和技术,而新的生态基金会更专注于生态采用和繁荣。 是时候成立生态基金会了。 @haydenzadams @StaniKulechov @Lomashuk @sreeramkannan @vnovakovski @fundstrat
顯示更多
0
110
65
3
轉發到社區
微策略卖出32个btc,是在测试市场的反应,并逐步改变市场心智。这样,未来卖的时侯,市场不会太恐慌,是战略性的心理操练。
以太坊社区会感谢Tom Lee没完全复制微策略的玩法,虽然Bitmine长期看,也是一把双刃剑,不过刃显然要钝很多。
0
54
60
2
轉發到社區
Tom Lee真是“清风拂山岗,明月照大江”啊。
TOM LEE & BITMINE JUST BOUGHT ANOTHER 25,000 ETH. That is $50.56M more Ethereum added while the market is still doubting the trade. 🔹 25,000 ETH 🔹 $50.56M buy 🔹 Bitmine keeps accumulating 🔹 Tom Lee keeps backing Ethereum They are not waiting for sentiment to turn. They are buying before it does. $ETH $BMNR
顯示更多
如果FDV看,hyper已经超过sol了。
0
22
28
0
轉發到社區
持有 100,000+ ETH 的大户钱包,目前总共持有约 1741万ETH,达到 近9周新高,对应约 22% 的供应量,也是近期高点。(santiment数据) 当整个市场都在FUD的时候,让人好奇的是,为什么大户们还在积累。
顯示更多
0
55
69
6
轉發到社區
以太坊社区和基金会现在最应该做是,屏蔽所有噪音,只关注最重要的几件事: 一是,把L2和L1整合起来,L1重新拿回排序权; 二是,ZK技术和隐私的推进; 三是,L1继续扩容。朝L11万TPS,L2+L1100万TPS的路继续走下去,很长时间内无须担心费用低的问题。
顯示更多
有时候,世界非常奇妙。口头不支持加密的,实际上起到支持加密的作用,比如减缓了赌场的肆无忌惮;口头上支持加密的,反而在反加密,在加密市场上吸血外流。
顯示更多
0
35
59
1
轉發到社區
@youyou5202 基金会早在一年多前就应该快速介入。
成立以太坊第二基金会太重要了。现在是开启后vitalik时代最好的时机,新的推动者需要关注eth的长期价值捕获(不一定是高费用,但需要确保L1和L2可以一致,不再让L2白嫖,形成整体之后,以太坊将在跟其他公链L1的竞争中不再有弱点,既是最去中心化最安全且流动性最好的链,也是扩展性最好的链生态,可以碾压其他L1)。
顯示更多
The way to save Ethereum: The community needs to create an organization that's economically aligned with Ethereum and accountable to it. The EF now holds less than 0.1% of all ETH. There is no flow of Ethereum staking or fee revenues to it. If we want to get Ethereum back to winning: - create an organisation with credible funding, minimum $1b as a start. That's very reasonable for an ecosystem with $250b market cap - find a leader who is competent and wants to fight - make it accountable: a board of people who want ETH to go up, and a charter that holds the org accountable to it - fund it permanently: A significant amount of staking revenue needs to go to it. A governance mechanism that can adjust it (also part of accountability). Very hard to imagine now, but I think this is the only way (and it will probably happen, but it might take a long time before it is consensus).
顯示更多
0
18
30
0
轉發到社區
人性如潮汐,周期不只是技术的周期,不只是流动性的周期,更是人性的周期。
看了下目前支持链上美股及 RWA 的 Perp 平台,除了 Hyperliquid 领先之外,其他重点布局的平台还有 GRVT、Aster、Lighter、edgeX 等。 目前整体交易量格局(DefiLlama Perps 排行): Hyperliquid(含 trade. xyz):稳居第一,领先优势明显。 第二梯队竞争激烈(数据每天波动较大): 目前看Aster,Lighter,GRVT三家差距不是很大。 在 RWA/代币化美股 Perp 细分领域,GRVT 布局较早,上链美股不少(除七大之外,其它也不少),是除 Hyperliquid 之外最具竞争力的平台之一,常在整体排行中位居前几名。 总结来说,Hyperliquid 的规模和流动性优势依然显著,GRVT 是目前 RWA Perp 赛道里代表性的追赶者。不过,但第二梯队(Aster、Lighter、GRVT、edgeX)之间的排名每天都会有明显变化,受行情和活动影响较大。
顯示更多
链上美股要起来了。没想到真实资产代币化以这种方式起来。
美国第一个由“国家银行”直接发行的稳定币在以太坊等链上推出。 先来看下SoFi背景,这是一家美国互联网银行的App。 SoFi刚推出的稳定币叫 SoFiUSD(也简写 SoFiD),1 枚 SoFiUSD 就等于 1 美元(1:1 锚定)。 SoFi 上有接近1500 万用户,这些用户可以直接用,在以太坊等链上24小时随时转账,无须传统银行的等待。 这对于以太坊来说,也是重要事件。 之前的稳定币(比如 USDT、USDC)大多是第三方公司发的,现在银行自己直接发了。 而且,还是正规国家银行发的(受 OCC 监管,有 CPA 审计背书)。 因为SoFi本身就有传统银行账户,这次,它银行账户和以太坊链打通(本质上是银行存款代币化,也是RWA的一种),可以同时获得传统银行的安全服务,也可以获得链上的便捷灵活服务(注意:SoFiUSD 本身不属于 FDIC 保险存款)。 对SoFi来说,可以留住老客户,也会吸引新客户。 如果成功,这会吸引其他传统银行加快上链的脚步。 对于以太坊来说,意味着传统金融上链进程加快了,承载的链上资产越来越多。
顯示更多
Say “hi” to SoFiUSD (SoFiD) 👋 The first stablecoin issued by a U.S. national bank and redeemable 1:1 for cash or cash equivalents. Rolling out now, it’s built for how money moves today: fast, flexible, 24/7.
顯示更多
什么时候才能做到真正不在乎他人的评价?当学会不再去评判他人之时,真正平等待人之时。
以太坊上目前主要隐私协议的TVL/Volume来看: Tornado cash TVL占比80%以上,占据绝对优势;Railgun大约超过15%,位列第二。 30天volume看,Tornado Cash占比70%,依然大幅领先,不过Railgun也达到25%以上,看起来,Railgun的TVL占比虽不高,不过Volume占比数量还不错。
顯示更多