本文讲述了在Aave V3激活ZKsync时发现的LLVM编译器的关键优化漏洞，该漏洞可能导致资金被盗。文章详细分析了问题的根源，展示了如何通过手动检查和汇编代码来识别并解决编译器中的错误，强调了在代码校验过程中关注编译器的重要性。
本文介绍了 revmc 的开发背景、工作原理和性能测试，重点强调了将 EVM 字节码编译为本地代码的优势，能显著提高执行速度。文章还展望了 revmc 在 L2 环境中的应用前景，并提出了一些未来的发展计划，包括更多的优化和测试。
revmc
文章介绍了Solana区块链的主要编程语言Rust，以及如何使用C、C++和Python进行开发。详细解释了Rust编译过程、LLVM、BPF等技术，并探讨了Solana如何利用这些技术提高智能合约的执行效率。文章还提到了Python的转换过程及Solana对Solidity的支持。
Certora
Paradigm
RareSkills