Dacian 的文章 - 登链社区

TA的文章 TA购买的 TA喜欢的 TA收藏的

这篇文章通过一个实际案例研究了如何通过重构优化 Solidity 代码来实现气体节省，展示了在一个杠杆收益农场协议 Yieldoor 中，通过改进核心函数 Leverager::liquidatePosition 实现了 15.43% 的气体节约。作者详细描述了测量Gas成本的方法和重构过程，包括减少冗余存储读取、使用结构体缓存、以及启用优化器以提高代码效率。

气体优化 Solidity Yieldoor 重构以太坊高效编程

发布于 2025-03-18 19:33 阅读(261) 点赞(0) ( 7 )

Solidity 汇编的 gas 优化 Keccak256

介绍了如 Solidity 智能合约中使用内联汇编语言（Inline Assembly）实现keccak256哈希函数的优化方法.

Gas Solidity

发布于 2025-01-06 15:12 阅读(1797) 点赞(1) ( 25 )

在外部审计前使用不变性模糊测试之前找到高风险漏洞

在外部审计前使用不变量模糊测试之前找到高风险漏洞

不变性模糊测试 Foundry

发布于 2024-12-05 11:19 阅读(1296) 点赞(0) ( 34 )

使用 Certora 形式化验证在外部审计师之前发现高危漏洞

本文作者分享了使用 Certora Verification Language (CVL) 进行智能合约形式化验证的经验，通过将模糊测试中的不变量思想应用于 CVL，解决了之前在模糊测试中发现的真实漏洞的简化版本。文章详细对比了模糊测试与形式化验证的异同，并展示了使用 Certora 解决各种漏洞的实例，强调了 Certora 在漏洞检测方面的有效性和简洁性。

形式化验证 Certora 智能合约 CVL 模糊测试安全漏洞

发布于 2024-11-30 17:49 阅读(106) 点赞(0)