关于服务
翻译我在Yul和内联汇编中编写低级EVM代码,使您的以太坊合约更便宜、更快,而不改变其网络行为。如果一个热点函数消耗燃气,如果一个循环触及不该触及的存储,或者一个库需要紧凑的手写核心——这正是我每天所做的工作。
您将获得:在Yul或Solidity内联汇编中重写的关键路径,仔细的内存和调用数据布局,打包的存储槽,手动的keccak和映射槽计算,自定义错误和位运算,而不是臃肿的ABI助手,以及仅在可证明安全的地方使用的未检查块。我对每个更改进行燃气快照分析,以便您看到“之前”和“之后”的真实数字,而不是承诺。
典型任务:减少ERC20/ERC721/ERC1155转账的燃气,优化交换数学和去中心化金融金库,最小代理和克隆工厂,Merkle证明的汇编助手,签名恢复和打包编码,以及在审查前审计准备好的合约以获得便宜的胜利。
我的工作方式:我接受您的Solidity,达成不能破坏的不变条件,然后在Yul中重写热点路径,并通过全面的测试覆盖和模糊测试证明等价性。每个优化都附带测试、燃气差异和注释,以便您的团队轻松阅读汇编。我在Foundry和Hardhat中进行测试,针对您的EVM版本。结果是生产就绪且有文档的。请告诉我哪个合约和函数造成了损失——我会告诉您燃气藏在哪里。
您将获得:在Yul或Solidity内联汇编中重写的关键路径,仔细的内存和调用数据布局,打包的存储槽,手动的keccak和映射槽计算,自定义错误和位运算,而不是臃肿的ABI助手,以及仅在可证明安全的地方使用的未检查块。我对每个更改进行燃气快照分析,以便您看到“之前”和“之后”的真实数字,而不是承诺。
典型任务:减少ERC20/ERC721/ERC1155转账的燃气,优化交换数学和去中心化金融金库,最小代理和克隆工厂,Merkle证明的汇编助手,签名恢复和打包编码,以及在审查前审计准备好的合约以获得便宜的胜利。
我的工作方式:我接受您的Solidity,达成不能破坏的不变条件,然后在Yul中重写热点路径,并通过全面的测试覆盖和模糊测试证明等价性。每个优化都附带测试、燃气差异和注释,以便您的团队轻松阅读汇编。我在Foundry和Hardhat中进行测试,针对您的EVM版本。结果是生产就绪且有文档的。请告诉我哪个合约和函数造成了损失——我会告诉您燃气藏在哪里。