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 以提高可移植性等。

本文介绍了使用 WebAssembly (WASM) 在浏览器中实现基于双线性映射的累加器（Accumulator）的方法，累加器允许将值添加到固定长度的摘要中，并提供已添加值的证明，而无需泄露累加值中的实际内容。文章展示了如何使用`docknetworkcryptoWasm`库来创建累加器、添加和移除元素，并生成和验证成员资格证明，附有代码示例和在线演示链接。

本文讨论了在公民身份管理中使用BBS+签名实现选择性披露身份信息的方案。文章指出，政府应提供身份验证而非拥有公民身份，英国政府目前在这方面存在问题。文章介绍了BBS+签名技术，它允许签名者在不泄露全部信息的情况下验证部分身份信息，同时使用密码学wasm集成和JavaScript来实现，从而在交易中建立信任并保护隐私。

本文介绍了 `wasmati`，一个 TypeScript 库，用于在指令级别编写 WebAssembly (Wasm) 代码以优化 JavaScript 性能。

本文介绍了在浏览器中使用零知识证明（ZK）技术以保护用户数据隐私的方法。通过在浏览器中生成证明，用户可以在不将敏感数据发送到服务器的情况下，证明他们满足某些条件。文章还比较了目前可用的几种在浏览器中生成ZK证明的方案，并讨论了选择合适方案时需要考虑的因素。

SpeakUp 是 PSE 团队正在原型设计的一款零知识虚拟机（zkVM），专注于隐私保护和客户端证明，能够在手机、浏览器等资源受限设备上对任意 WebAssembly 程序生成零知识证明。