蓝狐
@lanhubiji
蓝狐笔记，通往web3的世界。 （1.仅记录想法，没有客观只有主观，不能作为投资建议 ；2.蓝狐笔记只有此号，没有任何telegram或discord等群，没有其他分号，不会要求任何人参与投资，也不会发表跟区块链无关内容 ；3.不会发布链接，不要点击，谨防受骗。)
1K 正在关注 75.7K 粉丝
Amundi是欧洲最大资产管理公司，
正式推出其旗舰欧洲股票指数基金的代币化份额类别（tokenized share class），
在以太坊上发行（以太坊依然是大型机构RWA的首选）。
连欧洲金融机构也开始了在链上资产代币化的进程，大势所趋。
全球代币化股票规模增长较快，约 42.4 亿美元，30天涨约27%（rwa. xyz数据），
不过头部产品还是以美国相关资产为主。
Amundi的动作可以看作为欧洲传统资管巨头在 RWA代币化上的重要一步。
目前它链上代币化产品是，
Amundi Core STOXX Europe 600 指数基金的代币化份额。
该基金跟踪 STOXX Europe 600 指数，
覆盖欧洲发达市场600家大、中、小盘公司，是欧洲广泛使用的核心股票配置工具。
这次跟CACEIS 合作，它提供代币化技术与基础设施（CACEIS 作为 transfer agent 和 tokenization agent）。
相关传统基金（或对应ETF）规模约 €22.8 亿欧元。
代币化的是新增份额类别，不是整个基金已全部上链。
代币化份额完全集成进现有基金运营模式，基金同时可通过传统渠道认购/赎回。
因此，算是增量创新，不是替代传统模式。
显示更多
有人担心股票代币化要没戏了。
例子是：
目前至少有50家美国主要大公司，反对把自己的股票做成代币，在某些平台上交易（比如OKXICE TSV）。
这个剧本其实挺眼熟的：
当年，
零售店反对电商；
出租车反对Uber；
唱片公司反对流媒体；
报纸杂志反对互联网……
都是类似的戏码。
不过要注意，
Apple、Tesla这些公司目前还没明确反对，
说明不是所有巨头都铁板一块。
这些大公司短期确实能拖、能提高门槛。
但长期来看，很难真正逆转需求和趋势。
如果代币化能实实在在解决24/7交易、跨境更方便、结算更快这些问题，
再加上监管逐步清晰，
这些公司最终更可能选择“主动参与、自己主导”，不会一直反对下去。
现在这种反对，更多是在为自己争取时间、争取主导权，不可能一直阻止。
显示更多
对加密行业，中期选举期间是神奇存在。
2022年中期选举期间：
FTX暴雷；
2026年中期选举前夕：
这次又出现黑客事件。
甚至连美联储利率都类似。
2022年11月：
3.75-4%（11月2日加息到位）
2026年11月前夕：
3.75-4%
显示更多
DevOps 工程师笔记本被攻破 → 攻击者获得服务容器访问权限 → 能提交未授权的提款交易。
未发现钱包私钥泄露。
影响规模约 63 亿美元，已冻结约 30 亿美元（链上）。
显示更多
之前我一直纠结面对量子计算的到来，
如何解决暴露公钥的那几百万个btc的问题。
担心一旦被人拿走，
会把市场砸穿，
会把BTC干翻。
现在，
我终于想明白了。
这不完全是BTC的大劫，
反而是，
BTC真正蜕变的机会。
更严格来说，
是BTC通往神级资产路上的
一次大考。
最好的做法是：
暴露公钥的几百万个BTC，
谁拿走算谁的，
不要去冻结
不要去做任何干预，
即便最后被砸到1万美元以下，
即便几天内跌80%以上。
经此一役，
BTC会迎来历史上
最高光的时刻，
会成为人类历史上最伟大的资产。
任何干预都是画蛇添足。
干预了，
BTC就会沦为平庸的资产。
显示更多
他说的是都是大家目前知道的，没有任何新东西，
核心问题从来不是技术问题，
而是如何解决暴露公钥的那几百个万btc的问题。
且目前没有完美的解法。
我还是倾向于：
被黑客拿走，不做任何干预，
这样，
BTC会迎来历史上
最高光的时刻，
会成为人类历史上最伟大的资产。
任何干预都是画蛇添足。
干预了，
BTC就会沦为平庸的资产。
显示更多
以太坊Glamsterdam Hoodi 测试网激活时间定了，
目前看起来，是在按预期在走。
具体时间是：
2026年10月26日 17:42:48 UTC（epoch 132,352，slot 4,235,264）
最终的主网时间未定。
主网落地后，
通过 ePBS、BALs 和 gas 重定价，
为 L1 将 gas limit 提升至 200M 量级提供技术基础，
可以实现在拥堵时，
显著增加区块容量、缓解费用上涨压力。
也就是，
即便同时使用的人多了起来，费用也不会很快拉高，也能容纳更多人玩。
这会吸引更多应用重新回到L1，毕竟L1的安全性最高流动性最好。
显示更多
一个国家的人口结构，就是文化结构。
一旦结构发生不可逆转的趋势，文化演变也自然而然。
文化失守之后，之后社会/政治/经济的失守会一个接一个到来。
欧洲就是最好的样板。
显示更多
关于BTC抗量子计算的问题上半年加密社区就讨论过，没想到现在又拿出来讨论。
解决这个问题，技术本身不是问题，
唯一的问题就是：
如何处理暴露公钥地址资金的问题。
到现在为止，还没有好的解决方案。
最终来说，BTC会面临一次阵痛。
没有人知道确切的时间是什么时候。
即便出现极端情况，
BTC社区完全放弃那几百万个代币，
任由黑客取走，BTC最终也会因为韧性
扛过大劫。
这对有些人来说，
可能反而是个机会。
最后，
以太坊可能在这个过程中获益，
毕竟相对而言，
以太坊在抗量子计算过程中的准备更充分些。
还有一种，就是BTC带崩整个市场，
那么，
这种时候，在开始阶段，没有赢家。
显示更多
关于BTC的抗量子计算的问题，有人把问题聚焦在算法问题，或者是FUD。
其实，算法从来不是核心问题，技术方案也不是问题，也从来不是FUD的问题，也不是皇帝不急太监急的问题。
问题只有一个：
如何处理暴露公钥地址资金的问题。
是冻结/烧毁？还是谁拿走算谁的？
这里涉及到较大比例BTC的处理：大约25-33%的BTC（大约600-700万枚处于量子暴露状态，包括中本聪的100万，以及其它永久丢失的BTC。
冻结或烧毁会违反BTC社区一直以来的原则：不可干涉，不可篡改。
如果无须冻结这些BTC，谁拿走算谁的。
那么，600-700万枚BTC会被人拿走，假如当时BTC已涨至30万美元一枚，这意味着，这部分总价值在1.8万亿-2.1万亿美元。
这么大规模的BTC流入市场，难以想象，最终的市场会变成什么样子？
现在BTC的量子防护路线，最大的难点，从来不在于技术，而在于治理困境：如何达成社区共识的问题。
其实有个建议：
可以把暴露公钥地址代币纳入到未来的挖矿安全预算。
等未来一天，矿挖完了，这些可以做安全预算的补贴。
同时解决BTC的两座大山：量子计算+安全预算。一举两得。
当然，大概率不会被BTC社区采纳，会遭遇不干预派的激烈反对。
显示更多
从Vitalik的实践看：
以太坊可以成为AI实现自动化支付和经济自主路上的重要合作伙伴。
具体来说，Vitalik干了件什么事？
他给自己的 AI 助手做了一套“隐私模式”，
让 AI 能独立地干活/查资料/上网，
且保护隐私：
1. 用 Tor 把所有网络请求都转了一圈
类似于戴了多层面具上网，每个对话还单独换线路。
2. 加了假流量（cover traffic）
让别人很难通过流量分析判断你在干嘛。
3. 用 zkAPI（以太坊上的隐私支付方案）付钱
付钱的时候不暴露用户身份。
4. 本地先用一个小模型把提示词“洗”一遍再发出去
避免原始指令直接泄露。
5. 整个 AI 工具再套一层沙盒和 Tor
进一步隔离。
让 AI 自己干活/花钱/有隐私，
以太坊在这里
提供了“钱包 + 隐私支付 + 可编程”的基础设施。
显示更多
Wrapped zkAPI + Tor + extra cover traffic + local LLM prompt rewriting in an open-AI compatible daemon, and made a "paranoid mode" wrapper for my agent harness (pi):
Each conversation gets assigned a separate Tor circuit, your requests are masked with random cover traffic, zkAPI ensures you don't leak your identity through payments, and all prompts are locally rewritten (bring-your-own-local-model; I'm using qwen3.8-flash-next)
My agent harness is wrapped with a bwrap sandbox (also experimenting with MicroVM) and wrapped again with torsocks, so everything it does goes through Tor.
Here's what me asking it to do a simple research task looks like.
It's getting quite usable! Though you definitely still pay quite a bit in increased latency, especially when starting a new conversation.
Also, Tor is far from optimal here for privacy; the cover traffic mechanism is okay against passive adversaries but much weaker if the LLM provider is colluding with the guard and actively manipulating timing. This kind of task really requires a more specialized mixnet, probably take the tradeoff of a higher bandwidth multiplier and built-in constant cover traffic.
Also also, much cheaper zkAPI deposit and withdraw gas costs are coming to mainnet soon.
显示更多
AI加速对加密也不全是坏事。
AI一方面给加密带来安全风险。
同时，
它也加速了以太坊的升级。
比如，
以前，
验证太慢、太难，很多想法不敢上；
现在，
可以更快迭代，同时安全性还能提高。
此外，
形式化验证正在从“锦上添花”变成“标配”。
AI 让以前不可能大规模做的验证变成现实。
以太坊技术社区在用 Lean 做各种关键组件的验证（包括后量子、zkEVM 等），
以应对 AI 时代对安全的更高要求。
显示更多
AI is making Ethereum more ambitious.
You might have heard about the challenges that blockchains face in a post-AI world, and while security assumptions will surely be stress-tested in the coming months and years, there is another side to it. I believe AI will let us speedrun towards a world that's both more secure and feature-rich.
As we look towards Ethereum's first post-AI upgrade, Hegotá, the R&D community is asking itself what increasingly powerful tools could help us do differently:
> How far can we push both security and iteration speed?
> How much of the design space can we examine before committing to one?
> How easily can we test the interactions between complex features?
My recent formal verification work @ethlabs_org has given me some reasons to be optimistic about these, as work that would have previously not even been attempted is now being done by agents in days. In September, I posted about using formal verification as part of designing a new consensus protocol. This time, I want to tell you about formally verifying something already fully specified and in production: Ethereum's Fast Confirmation Rule (FCR).
If you are not familiar with FCR, it lets applications confirm Ethereum blocks in seconds, roughly 30x faster than waiting for finality, under additional assumptions (from waiting 13 minutes to 24 seconds!). It also further solidifies Ethereum L1's case as an asset hub and center of gravity for the onchain economy. FCR now has a safety proof in Lean, closely modeling the rule in the consensus specs, which is the source of truth for Ethereum's consensus clients.
Some takeaways:
> FCR is safe! Under its assumptions, confirmed blocks remain canonical. On top of the manual proofs from the paper, we now have Lean proofs of this for the actual spec, additional evidence for applications considering FCR!
> The bulk of the formal verification work took just a 4-5 days (check out the animation!), with agents working mostly unsupervised. We should be very ambitious about using this as a tool at scale.
> After verifying the current rule, it was easy to adapt the model to the upcoming Gloas changes. Immediately, this surfaced a subtle bug caused by changes to fork choice. The problem was in the spec itself and not a gap in the model. The safety proof would not go through, and the agents could precisely pinpoint what was causing it to fail. The bug is now fixed, and formal verification of the corrected protocol goes through.
Iteration is never quite over, even for "finished" features like FCR, because the protocol keeps evolving around them. A formal model lets us ensure that key properties keep holding throughout the evolution of the protocol. With these capabilities, Ethereum can and should keep upgrading faster, tightening fork timelines and exploring more ambitious features, while still raising the security bar.
This picture has been getting much clearer over the past few months, and the past week confirmed it for me, as @drakefjustin and @corcoranwill brought together 100+ Ethereum researchers, cryptographers and formal verification experts in Cambridge for six days of workshops on post-quantum cryptography, formal verification and fast finality. Beyond its own workshop, formal verification was the omnipresent star of the week: everyone is using Lean and doing amazing things with it! Piece by piece, Ethereum's technological core is being rebuilt for the post-AI age.
The excitement was palpable, the sense of optimism was pervasive, and every talk and conversation carried a level of ambition I'd never seen before. The Ethereum R&D machine is upgrading itself, and we will see the outcome of that on the network sooner than you think.
显示更多
这次Solana事件是在测试边界，输了表，赢了里。
这一点，
是目前以太坊运营缺乏的。
Tom Lee @fundstrat 可以考虑把Solana的运营团队挖到以太坊了😄。
Solana不会不清楚国内对加密货币的态度：
“交易/交易所/ICO等商业活动全面禁止，区块链技术本身被鼓励，尤其是联盟链。”
这次之所以这么高调，
一是，
Solana把活动包装成纯技术/AI/开发者大会，不是币圈活动。
想走“外企技术公司”路线。
议程彻底脱敏成：
AI Agent/机器人/Physical AI/高性能基建……
几乎不碰代币和二级。
二是，
户外广告本来也想走“科技品牌”路线，
没想到的是，还是过于高调了，被盯上了，然后被拦了。
Solana采用走钢丝，游走于灰色地带的策略，且不说效果如何，
这种敢拼的玩法确实是其它项目不敢想的。
整体来说，
Solana不是完全误判，有点像一次有准备的试探，
想试试，从“纯技术路线 + 品牌”能否侥幸过关，
如果“活动”赌输了，曝光和落地至少还在。
显示更多
难怪马斯克对未来的预测比多数人要乐观。
他不仅是预测，
更是看到了正在进行中的各种可能性。
真正大德之人，有时看起来“不拘小节”，实则从未离开大道半步。
有的反过来，看起来“有礼有节”，但大德尽失，远离大道十万八千里。
任何德相关的东西，只要求自己，不要求他人，要求他人时，就开始错了。
显示更多
ZkSync用Airbender 证明器做到了一件标志性的事：
用一张专业级 GPU 显卡（NVIDIA RTX PRO 6000）
实现在 12 秒以内实时生成一个以太坊区块的零知识证明（ZK proof）。
以太坊现在大概每 12 秒出一个块。
所以，这意味着，
“实时”就是证明速度跟得上出块速度。
之前证明一个区块通常要几十张甚至上百张 GPU，现在一张就够了。
为什么这对以太坊很重要？
未来以太坊主网可能往 zkVM 方向升级：
现在是：
每个验证节点都要自己把区块里的交易重新跑一遍，确认对不对。
以后可以做到：
只要有人生成一个很小的证明，全网只需要验证这个证明就行（验证很快），不用每个节点都重新执行一遍交易。
这样一来，好处显而易见：
节点可以更轻、门槛更低、更去中心化，
与此同时，
扩容能力也会更好。
这是以太坊长期路线图里最重要的部分之一。
显示更多
Big congratulations to the @zksync airbender team for this milestone.
At this point, I consider the battle for speed to be definitively won, and the top priority for zkEVMs should shift fully to security.
To me that means formally verifying
(i) equivalence of the arithmetization to the ethereum spec
(ii) a hard maximum bound on (prover cost) / (amount of gas in block)
(iii) security of the proof system itself
显示更多
如果这次Robinhood链还能重新起来，
那么，
这一周期应用之间最大竞争会发生Robinhood和Solana之间。
以太坊L1的话，还需要看年底或明年初Glamsterdam升级的情况，
或许费用下来之后，也有一战之力。
显示更多
看起来，Vlad Tenev把社区的话听进去了。接下来一段时间，Robinhood链估计要开始搞些事情了。
Robinhood Social is now live for everyone.
When we started with verified trades, we knew it was just the first step.
Today you can share your charts, P&L, allocations, follow the people you already trust, and get news and company updates the moment they land. And in the coming weeks, it's all on Legend.
I've wanted this for a long time. And now it's live in the app. Go check it out.
显示更多
