WebAssembly

本文详细探讨了作者在将编程从JavaScript转向Rust的过程中所经历的挑战和机遇，尤其是涉及WebAssembly的应用。

本文介绍了Certora最近在形式验证WebAssembly (Wasm) 字节码方面的努力，特别是在Stellar区块链上的Soroban智能合约的实现中。Wasm因其安全性和高效性被广泛应用于DeFi领域，Certora开发了Sunbeam工具，能够验证用Rust编写的智能合约的高层功能正确性。

本文介绍了如何使用 Rust 编写零知识证明（ZKP）并在 WebAssembly (WASM) 中集成，从而在浏览器中运行 ZKP。文章展示了如何使用 wasm-pack 构建 WASM 文件，并在 HTML 中通过 JavaScript 桥接调用 Rust 代码实现 ZKP 的生成、证明和验证过程，使得在 Web 应用中实现隐私保护和可信计算成为可能。

本文介绍了 Hardhat v2.21.0 的发布，首个基于 Rust 实现的以太坊开发运行时 EDR，分析了此更新对性能的提升，特别是测试运行速度的显著提高。文中还探讨了构建 EDR 的原因，未来的计划，包括 Hardhat 3 的特性增强、Solidity 测试的实现以及将 EDR 转向 WebAssembly 以提高可移植性等。