Valida zkVM 0.6.0 版本介绍

Valida 0.6.0 发布

2024年12月17日

我们很高兴地宣布 Valida 0.6.0-alpha 版本的发布，这是一个重要的里程碑，其中包含 Valida zkVM 和编译器工具链的新功能、修复和改进。此版本代表着在证明可靠性以及为使用 Valida 构建的开发人员的可用性和可访问性方面向前迈出了重要一步。

Valida 0.6.0-alpha 的亮点

Valida zkVM：更多约束，更接近可靠性

Valida 继续发展，增加了新的约束，以加强其可靠性：

• 有符号 32 位除法约束：增加了对有符号 32 位整数内的除法运算的支持，确保计算符合正确性和可靠性要求。
• `JALV`约束：为 `JALV` 指令引入约束，允许跳转到可变位置，同时链接到返回地址。
• 公共轨迹插值修复：解决了插值公共轨迹中的问题，提高了 一致性和可靠性。
• 从地址读取修复：纠正了从先前未写入的地址读取时的行为，消除了此类情况下的未定义行为。

此外，zkVM 二进制文件现在支持将计时数据直接记录到标准输出，从而提供对性能和调试的宝贵见解。

编译器工具链：增强的功能和开发者体验

Valida 的编译器工具链引入了几个令人兴奋的更新：

• Rust 标准库支持
• Rust 标准 I/O 支持：现在支持 `println!` 等函数和宏，使 Rust 开发人员的调试和 I/O 操作更加无缝。
• 64 位原子操作：增加了对 64 位原子操作的支持，从而实现强大的并发性和并行性。
• 链接时优化 (LTO)：使用 `-flto` 标志，开发人员现在可以在链接阶段优化二进制文件大小和性能。
• 改进的错误消息：该工具链为 Valida 程序执行中无法恢复的错误提供了详细的错误消息，例如：
  • Rust 程序中失败的断言
  • C 程序中失败的内存分配 (`malloc`)

其他值得注意的更改包括修复反汇编程序中立即值处理的问题、将示例和测试脚本与版本捆绑在一起，以及将对“delendum”的旧引用替换为“valida”。

文档：简化和扩展

我们专注于提高清晰度和可访问性：

• 新教程：添加了一个循序渐进的教程，以帮助新用户快速开始使用 Valida。
• Rust 标准 I/O 用法：文档的更新反映了向 Rust 标准 I/O 函数的转变。
• 简化 `libc` 的用法：简化了在 Valida 项目中使用 `libc` 的指南。
• 更新的参考资料：删除了对单独的 `valida-c-examples` 和 `valida-rust-examples` 存储库的过时引用。
• `--claimed-output` 规范：文档现在包含有关指定声明输出的明确详细信息。

试用 Valida 0.6.0-alpha

我们很高兴你能试用 Valida 0.6.0-alpha 并亲身体验其改进。

[ 下载 Valida 0.6.0-alpha] 并浏览 [ 文档] 了解更多详细信息。

我们感谢你一如既往的支持和反馈。如果你有任何问题或遇到任何问题，请随时通过 [ 我们的社区渠道] 与我们联系。

关于 Docker 的说明

目前，我们提供了一个为 x86_64 构建的 Docker 镜像。这可以在 ARM 系统（例如 MacOS ARM）上运行，但与本机代码相比，效率会有所降低。我们正在积极构建用于 ARM 的 Valida 工具链的 Docker 镜像，该镜像将能够在 MacOS ARM 等系统上以本机代码的速度运行。

我们理解目前使用 Docker 可能无法提供最佳的开发者体验。我们计划致力于本机支持并在 Mac 上启用 cargo run 以简化你的工作流程。同时，我们欢迎你的反馈，以帮助我们在过渡期间进行改进。

接下来是什么？

在我们的下一个版本（2-4 周）中，你可以期待以下功能：

• 部分执行证明，又名延续
• Valida 证明的 Groth16 包装器
• Valida zkVM API
• Keccak 哈希的优化

• 原文链接： lita.foundation/blog/int...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～