本文详细探讨了作者在将编程从JavaScript转向Rust的过程中所经历的挑战和机遇，尤其是涉及WebAssembly的应用。
本文介绍了Certora最近在形式验证WebAssembly (Wasm) 字节码方面的努力，特别是在Stellar区块链上的Soroban智能合约的实现中。Wasm因其安全性和高效性被广泛应用于DeFi领域，Certora开发了Sunbeam工具，能够验证用Rust编写的智能合约的高层功能正确性。
本文介绍了 Hardhat v2.21.0 的发布，首个基于 Rust 实现的以太坊开发运行时 EDR，分析了此更新对性能的提升，特别是测试运行速度的显著提高。文中还探讨了构建 EDR 的原因，未来的计划，包括 Hardhat 3 的特性增强、Solidity 测试的实现以及将 EDR 转向 WebAssembly 以提高可移植性等。
jsoverson
Certora
Nomic