Valida 0.10.0 版本发布，带来了多个重要更新，包括支持分段证明（Continuations），可以在浏览器端生成和验证 zk 证明的 WASM API，以及编译器工具链的升级。此外，还引入了实验性的 Secp256k1 和 Memcpy 操作码，并提供了 x86 和 ARM 的 Docker 支持，Reva 项目实现了在 Valida 内部执行以太坊区块。

本文介绍了Valida zkVM的性能基准分析工具，该工具用于持续监控Valida zkVM的性能，通过分析CI pipeline的基准测试结果，检测性能衰退、量化优化效果和分析Valida的执行时间和内存使用情况的缩放行为。文章还介绍了该工具的工作原理、分析步骤以及未来的增强计划，旨在为开发者和用户提供对实际性能特征的可见性。

Lita 提议扩展 Valida ISA 作为新的以太坊执行环境，以取代以太坊虚拟机（EVM）。这将加速以太坊上的执行速度，降低证明成本，并简化以太坊的验证过程。Valida ISA 专为简洁证明设计，更适合以太坊智能合约的执行。

Valida 推出了 Keccak 加速芯片，并将其与 Valida zkVM 和编译器工具链集成，显著减少了以太坊区块的验证时间。该芯片通过优化 Keccakf-1600 置换运算，并与 Valida zkVM 内存系统实现无缝通信，初步测试结果显示性能得到了显著提升，未来将进一步优化性能，并探索硬件加速方案。

Valida 0.6.0-alpha 版本发布，包含 Valida zkVM 和编译器工具链的新功能、修复和改进。 zkVM 增加了对有符号 32 位除法约束、JALV 指令和公共跟踪插值修复的支持。编译器工具链引入了 Rust 标准库支持、Rust 标准 I/O 支持、64 位原子操作和链接时优化。

Lita发布了 Valida Rust Alpha 编译器，该编译器基于 LLVM，旨在将 Rust 代码编译为 Valida zkVM 可执行的代码。目前支持部分 Rust 语法和标准库，以及 C 语言的互操作。该团队的目标是构建高性能、高能效且用户友好的 zkVM。

本文深入探讨了zkVM（零知识虚拟机）的概念、原理和应用。zkVM利用零知识证明技术保障计算的完整性和隐私，在数据隐私、安全交易和去中心化金融等领域具有巨大潜力。文章还介绍了zkEVM以及评估zkVM解决方案的框架，并提出了评估 zkVM 的标准，包括正确性、安全性、信任假设、效率、速度和简洁性。

本文是关于 Plonky3 和 Valida 项目进展的透明更新，目标是为开发者社区提供信息。文章介绍了 Plonky3 和 Valida 的 MVP 开发进度，以及对功能完整性、Partiality、异常处理、浮点数使用、渐近复杂度和系统支持等方面的审查标准。此外，还提到了 Valida LLVM 编译器的详细说明，并考虑启动早期访问计划，以获取用户反馈并完善系统。

本文探讨了将以太坊虚拟机（EVM）字节码翻译成Valida字节码的编译器设计与实现中遇到的复杂性和挑战。文章比较了EVM和Valida的特性，讨论了处理字长差异、地址空间挑战以及状态交互等问题，并提出了相应的解决方案，例如使用八个32位字模拟256位算术运算，以及设计ABI来处理EVM状态树与Valida输入输出带的交互。

文章介绍了作者团队正在构建的一个先进账户系统，旨在实现平台、组织和个人之间自由无摩擦的价值转移。该系统通过私有子账户、灵活的支出策略、统一身份和组织间转账等功能，解决现有金融基础设施和区块链解决方案在隐私、成本和可扩展性方面的挑战，目标是重塑工作经济框架，实现更公平的财富和权力分配。