Lotus Router是一个专门针对MEV交易的交易路由合约,支持多种DeFi协议,如Uniswap V2/V3等。文章详细介绍了合约的核心逻辑、数据结构及压缩编码方法,展示了如何在处理复杂回调及数据解码时,使用内联汇编来优化执行效率和减少calldata体积,并指出代码中存在重入攻击的风险。
授权本质上也是一笔交易,用于告诉合约A与合约B之间的资金权限。
本文强调了掌握计算机科学基础的重要性,利用武术比喻说明基础训练如何为高效实践打下坚实基础。作者认为,关注底层原理与模式转化(如信息编码)会使开发者在任何技术领域中都能更快上手。文章中提到,精通基础知识能够加速学习新知识,而非仅仅依赖于外部框架和工具。通过深化对计算机科学原理的理解,工程师们能够更自信地应对复杂问题,并在竞争激烈的技术环境中脱颖而出。
本文详细介绍了如何在Solana平台上构建程序,其功能与Solidity合约类似,并探讨了Solana如何处理算术溢出问题。文章通过具体示例展示了如何在Rust中实现函数,处理数据类型,以及进行单元测试,同时强调了计算成本及浮点操作的性能限制。
使用Foundry工具来探索实现可升级的合约,本文介绍了可升级的合约使用的 delegatecall 时遇到的变量冲撞的问题,以及应该如何应对。
scaffold-eth 挑战2:创建ERC20代币并实现买卖
UniswapV3Factory合约主要用来创建不同代币对的流动性池子合约,其代码实现并不复杂
Hook 是一个强大功能,可以带来更灵活的组合性。向任何强大的武器一样,使用不当可能会伤害到自己。 当任意调用与 Hook 在一起,更要小心。
这篇文章详细介绍了Aave V3协议的设计和实施细节,分析了其创新的供需模式和风险管理功能,包括新的风险参数设置、借贷逻辑以及反对价格操控的机制。文章的结构清晰,涵盖了各种技术细节,并对比了Aave V2和V3的变化,使读者能够全面理解Aave V3在DeFi领域中的重要性。
实现用户层面的流动性头寸管理的合约是NonfungiblePositionManager合约,其实现比较复杂,还继承了很多子合约,限于篇幅,我们无法全都一一讲解,就只能挑一些重点的来讲。
在 DeFi 合约中,常见模式是Checks-Effects-Interactions(检查-生效-交互)模式, 不够好,它会让开发者忘记协议的核心不变性。 作者提出了一个新的模式:FREI-PI: 功能检查-生效-交互+协议不变性,让我们更多关注协议的不变性(安全性)。
Checks-Effects-Interactions(检查-生效-交互)
功能检查-生效-交互+协议不变性
智能合约安全审计入门系列之溢出漏洞。
本科普系列的第一篇文章介绍了区块链,文中提到区块链是非常安全可靠的网络,能够在不可篡改的账本中交换价值并储存数据。区块链催生出了比特币等全新的货币工具,然而其应用价值远不止如此,区块链还可以驱动智能合约(注:这是一种预先设定条件的数字合约)。本文将详细探讨以下内容:什么是智能合约; 智能合约如何创造价值; 智能合约的发展历程; 智能合约目前的应用模式
EIP-7702引入了一种新的交易类型0x4,使外部账户(EOA)能够执行临时的智能合约功能,支持批量交易、赞助Gas支付等功能。文章详细介绍了EIP-7702的技术细节、使用场景,并通过Foundry工具展示了如何测试和部署该功能。
0x4
本文循序渐进实现了 3 个合约:1. 简单质押奖励,重点介绍如何计算奖励的? 2. 代币化质押奖励,提高质押流动性; 3. ERC4626 代币化金库, 将质押存入到金库中。