找到约 13 条结果

文章 圣杯 - 形式化验证提升 DeFi 协议的安全性

[Certora](http://certora.com/) 最近通过对 [Euler V2 Vault 实现](https://github.com/euler-xyz/euler-vault-kit/commits/master/) 的一个关键属性进行 [形式化验证（formally verifying）](https://en.wikipedia.org/wiki/Formal_verification)，提升了 DeFi 安全的标准。在这篇...

文章 现代DeFi借贷协议 - Ajna 是如何构建的

 ## 简介 “Ajna Protocol 是一个无托管的、点对点、无权限的借贷和交易系统，运行所需的没有治理或外部价格feeds。”没有治理，没有外部价格feed - 非常吸引人！ 许多现代 De...

文章 EthHub周报#109

策划：Anthony Sassano ([@sassal0x](https://twitter.com/sassal0x))和Eric Conner ([@econoar](https://twitter.com/econoar)) 译者：Samuel ​翻译机构：DAOSquare ---  *Reddit 测试...

文章 COMP 分配、关键代表、新资产页面

## COMP分发、关键代表、新资产页面 #### Compound Digest - 2020年6月17日 突出Compound及DeFi生态系统的最佳内容。如需更多更新，请加入我们的社区：[Discord](https://compound.finance/discord)、[Twitter](https://twitter.com/compoundfinance)和[Comrade...

文章 智能账户加密内存池

**由 [Marc Harvey-Hill](https://x.com/marchhill1) @ [Nethermind](https://www.nethermind.io/) 撰写。特别感谢 [Ahmad Bitar](https://x.com/Smartprogrammer), [Aikaterini-Panagiota Stouka](https://x.com/AikPStouka), [Stefano De Angelis](https://x.com/_deanstef), [Conor McMenamin](https://x.com/Co...

文章 从零开始动手构建账户抽象 DApp - 不使用第三方库

 ## 介绍 在本系列的前两篇文章中，我们奠定了概念基础，探索了 [账户抽象的历史](https://learnblockchain.cn/article/17671) 并 [连接了 ERC-4337 核心组件之间的联系](https://learnb...

文章 如何在不被 REKT 的情况下优化你的Gas消耗 第二部分

在这篇文章中（[如何在不被 REKT 的情况下优化你的Gas消耗](https://learnblockchain.cn/article/13879) 的续集），我们将关注于 **Solidity/Yul** 库，这些库实现了 DeFi 世界核心的数学和经济计算，并解释了为什么等价性检查是开发者和审计员...

文章 2025 年 Web3 安全现状

 Web3 安全 2025 在期待已久的 2024 年 DevCon 之前，最突出的事件之一是 DeFi 安全峰会。这次峰会让我了解到，在这个我们不断进行的猫鼠对抗游戏中，许多恶意行为者领先了...

文章 区块链开发 30 多个最佳 Web3 教程

由 [Alchemy](https://www.alchemy.com/author/alchemy) 编写  由 [Brady Werkheiser](https://www.alchemy.com/author/brady-werkheiser) 审核 发布于 2022 年 7 月 8 日，阅读时长 12 分钟 * * * W...

文章 现代DeFi 借贷协议 - Euler V2 是如何构建的

作者： Sergey Boogerwooger, MixBytes的安全研究员  ## 简介 DeFi中有许多新的借贷协议。它们使用户能够对冲风险，同时操作多种资产，在市场上进行短期或长期头寸，并有效利用资金。...

文章 BlockThreat - 2025年第32周

Tornado Cash 仍然是监管斗争的中心，开发者和研究人员面临着日益增长的跨境法律风险。Roman Storm 被判犯有未经许可的资金传输罪，这项指控与**[最近的联邦先例](https://www.paradigm.xyz/2025/07/paradigm-files-amicus-in-lewellen-v-bondi)**直接冲...

文章 Zora空投漏洞利用：深入研究12.8万美元的申领合约攻击

## Zora空投漏洞：深入技术解析价值12.8万美元的Claim合约攻击 Zora的NFT空投系统中的一个漏洞允许攻击者通过利用薄弱的claim检查来窃取token。 这表明了安全智能合约设计至关重要的原因。 ![Zora空投漏洞：深入技术解析价值12....

文章 BlockThreat 周报 - 2025年第30周

本周发生了三起盗窃事件，损失超过 1500 万美元，其中大部分损失源于 Woo X 交易所被入侵。 这标志着过去两周内第三个 CeFi 平台遭到破坏，总损失达到 8520 万美元。 与前两次事件一样，私钥没有暴露。 攻击者转而控制了交易...