区块链安全

介绍 链上无许可借贷的开始 链上无许可借贷平台的故事始于 Rari Capital 及其 Fuse 平台。 Fuse 于 2021 年上半年发布，在 DeFi 夏季的热情过后，即流动性挖矿爆发式增长的时期，Fuse 迅速获得了关注。这个平台是 Rari Capital 的创意，它使用户能够创建和管理自己的无需许可的贷款池，从而与新兴的收益率优化趋势保持一致，彻底改变了 DeFi 领域。 在其崛起过程中，Rari Capital 采用了 (9,9) 叙事，该叙事因Olympus DAO（一种旨在利用 OHM 收益率的策略）而流行。 Rari Capital 与 Fei Protocol 的合并进一步放大了这一时期的增长和社区建设。 Rari Capital 和 Fei Protocol 于 2021 年 11 月合并，围绕一个具体愿景：建立一个综合性 DeFi 平台，将 Rari 的借贷协议与 Fei 的稳定币机制相结合。 然而，一切都在 2022 年 4 月彻底崩溃，Fuse 成为重入攻击的受害者，导致资金损失惊人，估计约为 8000 万美元。该事件引发了对 Rari Capital 安全实践的严格审查，并引发了人们对 DeFi 平台易受此类攻击的更广泛担忧。这场危机之后，Rari Capital 和 Fei Protocol 合并后成立的管理机构 Tribe DAO 面临着艰难的决定。黑客事件带来的压力和挑战最终导致 Tribe DAO 和 Rari Capital 在今年晚些时候关闭。此次关闭标志着 DeFi 领域的一个重要时刻，突显了即使是最具创新性的平台在面临安全威胁时的脆弱性，也凸显了去中心化金融中稳健、万无一失的协议的至关重要性。 重振无许可贷款 在 2022 年 4 月的 Rari Capital 黑客事件和 2023 年的重大 Euler 黑客事件（导致 2 亿美元受损）之后，DeFi 行业面临着高度的怀疑，尤其是在安全方面。 Euler 以其创新的无需许可的借贷协议而闻名，该协议允许用户借出和借入各种加密资产，这成为人们对 DeFi 生态系统中漏洞的另一个鲜明提醒。这些重大安全漏洞引发了整个行业更广泛的悲观情绪，引发了对去中心化金融平台安全性和可靠性的严重担忧。 然而，从 7 月中旬 Ajna 的推出开始，2023 年下半年 DeFi 借贷领域悄然复苏。随着 2023 年 10 月 10 日 Morpho Blue 的发布，这种复兴继续进行。这些新兴协议在重振的 DeFi 借贷领域中的独特之处在于它们的叙述方式从纯粹的“无需许可”转变为明显的“模块化”。 Ajna 和 Morpho Blue 等平台不再仅仅关注无需许可的系统提供的不受限制的访问，而是开始强调其“模块化”性质。这种方法将它们呈现为基础层技术，第三方开发人员可以在此基础上构建和定制贷款用例。这种向模块化的转变，凸显了这些平台的灵活性和适应性，鼓励贷款解决方案的创新和专业化。除了这种模块化的叙述之外，还非常强调安全性。例如，Ajna 的特点是不依赖预言机，消除了对外部价格供给的依赖，从而减少了脆弱点。 Morpho Blue引入了“无许可风险管理”的概念，将责任委托给第三方来挑选风险调整后回报率最高的借贷市场。 《今日事态》：DeFi 流动性回归 进入 2024 年，加密货币和 DeFi 领域出现了明显的热潮。这种复兴通常归因于新的代币分配机制，这是由 Multicoin 的 Tushar 推广的理论。他的理论是，每次加密货币牛市都是由创新的代币分配方法引发的。在当前市场中，“积分”概念已成为重要驱动力，Eigenlayer 等平台通过其重新抵押生态系统引领潮流。这种方法不仅重新引起了人们的兴趣，而且还塑造了市场的动态。与此同时，链上资产类型的多样性正在不断扩大，这增加了 DeFi 生态系统的深度。 话虽如此，我们必须拥有必要的借贷系统和基础设施，因为机构和Degen们都将寻求链上杠杆。虽然像Compound和Aave这样的既定协议已经促进了数十亿美元的交易，但它们容纳不同抵押品类型的能力有限，因此需要出现替代性的链上借贷平台。在过去的一两年里，Morpho、Ajna 和 Euler 等新型借贷协议的兴起，各自争夺链上借贷市场的份额。此外，我们还见证了 Metastreet 和 Blur 等 NFT 借贷协议的激增。本文旨在探讨这些项目的叙述和功能，让读者在展望未来时了解它们各自的差异和贡献。

加密货币犯罪每年造成数十亿美元损失，主要形式包括：加密骗局（如投资诈骗、NFT骗局）、洗钱活动（通过交易所转移非法资金）、勒索软件攻击、哄抬抛售骗局以及黑客窃取资金。尽管区块链技术提高了透明度，但犯罪手段不断演变，例如转向去中心化交易所洗钱。数据显示2022年DeFi协议和中心化交易所占被盗资金的90%以上。虽然美国制裁措施使部分犯罪减少，但全球仍需加强监管以应对加密货币的非法使用风险。

项目背景 ether.fi通过密钥分离管理技术解决LSD协议中心化问题，已完成530万美元融资，计划分三阶段推出ETH质押服务、流动性池及无许可节点市场。 机制原理 采用ECIES技术实现用户自主管理提款密钥，通过T-NFT/B-NFT机制分离30ETH/2ETH提款权，B-NFT持有者承担验证节点监控责任并享受50%额外收益。 流动池质押 支持任意金额ETH质押生成eETH凭证，采用Rebase机制自动分配收益，但未封装设计可能影响DeFi集成。 产品现状 当前仅白名单可质押，普通用户可通过存款赚取积分奖励，TVL达3200万美元，计划4月中旬启动主网。 总结 ether.fi在密钥管理设计上具备创新性，结合未来DVT技术应用，有望成为LSD赛道重要基础设施。

Hinkal协议是基于EVM链的隐私保护解决方案，通过零知识证明（zkSNARKs）和隐形地址技术实现匿名交易、质押及dApp交互，解决DeFi领域钱包余额与交易历史暴露的风险。其核心功能包括匿名质押、隐私资产保护、私密兑换及跨链兼容性，支持用户在不泄露敏感信息的情况下进行链上操作。该协议采用自我托管模式，确保资产完全由用户控制。Hinkal已完成550万美元融资，并计划扩展跨链隐私生态，目标成为DeFi隐私标准基础设施。

以太坊二层网络Linea因黑客攻击事件主动停机，引发对Web3去中心化价值的质疑。文章指出，Layer2普遍依赖中心化Sequencer，导致抗审查性和活性问题。为解决这一问题，主流Rollup如Optimism、Arbitrum、zkSync等设计了Force Inclusion机制，允许用户在Sequencer拒绝处理交易时，通过L1强制将交易写入链上。Optimism和zkSync通过特定函数实现，Arbitrum则需签名L2交易后发送。然而，StarkNet目前缺乏该机制，zkSync的机制尚未完全实现。Force Inclusion机制通过设置等待窗口平衡Sequencer权力，但设计需权衡交易即时生效的影响。

EigenLayer通过再质押机制将以太坊安全性租赁给其他项目，构建首个去中心化信任市场。其核心由质押ETH的运营商（卖方）与活跃验证服务AVS（买方）组成，解决新项目安全引导难题。首批10个重点AVS包括：1）EigenDA高吞吐数据可用层；2）AltLayer再质押Rollup三件套；3）Omni跨Rollup互操作链；4）Lagrange ZK链下协处理器；5）Aligned Layer通用证明验证层；6）Hyperlane无许可跨链协议；7）Witness Chain DePIN协调层；8）Eoracle可编程预言机；9）Drosera智能安全应急系统；10）Ethos Cosmos链安全桥接方案。这些创新将推动加密生态进入新阶段。

Doppel是全球首个AI驱动的风险防范平台，专为抵御AI辅助的社交工程、网络钓鱼、仿冒和虚假信息等威胁而设计。该平台利用先进的AI技术扫描、分类和清除数字通道上的安全威胁，保护企业和政府机构的在线资产和身份。Doppel的核心功能包括反钓鱼、VIP防护、威胁情报、抵御盗版和反制伪造与欺诈，广泛应用于金融、科技、加密货币、零售、媒体和政府等领域。凭借其卓越的安全防护能力，Doppel已成为对抗AI驱动信息战的首选工具。

摘要 日蚀攻击通过切断目标节点与区块链网络的连接，迫使其依赖攻击者提供的信息，可能导致双花攻击、交易延迟和网络分裂。攻击者利用恶意IP地址填充节点的对等表，并通过DDoS攻击强制节点重启，使其仅连接到攻击者控制的节点。比特币网络可通过响应超时和强化措施（如群组哈希）来防御此类攻击。其他对策包括随机对等点选择、多样化网络基础设施和定期更新对等表。这些措施有助于维护区块链的安全性和完整性。

区块链中的一般安全原则 区块链技术凭借去中心化、透明性和安全性等特性，正从加密货币扩展至医疗、农业等多领域，预计2024年市场规模达200亿美元。然而，网络攻击如路由攻击、51%攻击等威胁日益严重，已造成约400亿美元损失。为确保安全，需采取渗透测试、智能合约审计、多因素认证等措施，并应对端点不安全、监管缺失等挑战。加强安全审计和漏洞检查是保护区块链系统的关键。

智能合约形式化验证是通过数学模型和逻辑规范确保合约安全性的关键技术。它采用模型检查、定理证明和符号执行等方法，验证合约是否符合预定义的高级规范（如安全性和活性）和低级规范（如霍尔属性）。相比传统测试，形式化验证能提供数学证明级别的安全保障，有效检测溢出、重入等漏洞。尽管存在人力成本高、规范编写复杂等挑战，但该技术对处理高价值、不可变合约至关重要。主流工具包括Certora Prover、Solidity SMTChecker和Manticore等，覆盖规范语言、程序验证和符号执行等场景。