代币化国债是少数几种能立即让严肃金融团队理解其意义的区块链用例之一。这并非因为它们华而不实,而是因为它们解决了普遍存在的实际且昂贵的问题。这些问题包括结算摩擦、运营开销、透明度有限以及类现金工具的缓慢流转。 从高层次来看,这个概念是直截了...
AI 工程已迅速成为科技领域最有价值的技能之一。 问题是,大多数初学者不知道他们究竟应该学习什么。有些人从机器学习理论开始,有些人无休止地观看教程,还有些人在不理解 API、后端基础知识或实际产品是如何构建的情况下,直接跳入了提示和代...
将资金从以太坊桥接到 L2s 和中心化交易所的速度很慢。用户在使用规范桥接时需要等待数分钟。 新的快速确认规则(Fast Confirmation Rule, FCR)解决了这个问题。它将从以太坊 L1 到 L2s 或交易所的存款时间...
你对数学证明的了解比你想象的要多。如果你曾编写过带有类型签名的函数,你实际上就编写了在结构上与形式化证明相同的东西。这一事实源于一个深刻的理论结果,即 Curry-Howard 同构,它是像 Lean 4 这样的证明助手的基础。 考虑这个...
我们一直在 LambdaClass 密切关注人工智能的进展。在过去的几个月里,编码代理的质量飞跃令人印象深刻,这要求我们对软件开发方式进行根本性的重新思考。开发人员越来越倾向于使用像 Claude code、Codex 或 Kimi 这样的...
深入探讨 leanConsensus 核心的两种共识机制之一:客户端如何选择正确的链并决定区块何时是永久的。 这是我们关于介绍 ethlambda 和 ethlambda 的架构 系列文章的后续。在这里,我们解释了 ethlambda...
什么是跨链DEX? 去中心化金融中的流动性是碎片化的。交易者通常在以太坊主网持有资产,但却在Arbitrum、Optimism或Gnosis Chain上发现收益机会。从历史上看,抓住这些机会需要一个繁琐的多步骤过程,包括本地兑换、寻找桥...
Ahmed Al-Balaghi TL;DR 原生账户抽象旨在将 gas 赞助、批量交易、Passkey 认证和后量子密码学直接引入 EVM 协议——无需 bundlers 或二级 mempool。目前有四项提案正在积极讨...
Skills 已成为 Claude Code 中使用最广泛的扩展点之一。它们灵活、易于创建且易于分发。 但这种灵活性也使得难以分辨哪些最有效。哪种类型的 skills 值得开发?编写一个好的 skill 的秘诀是什么?何时与他人分享它...
_作者: Luca Zanolini_ _特别感谢 Ben、Francesco、Joachim、Justin、Mikhail、Roberto、Thomas 和 Yann 提供的反馈。_ 我们正在为以太坊的下一个共识协议制定提案。新设计的...