Announcing Valida 0.7.0

As we approach the end of the year, we are excited to announce the release of the Valida 0.7.0 update. This release introduces initial support for WASM in our compiler toolchain, along with several enhancements aimed at improving the DevX of our zkVM stack.
‍
Key Highlights: 

1. Proof of Concept for WASM Support ‍

Building on our earlier support for C and Rust this year, we are now expanding our compiler toolchain to include additional languages, starting with WASM. This release enables the compilation of WASM programs that compute functions from a single integer to a single integer into the Valida zkVM. Please note that this is a proof of concept, and comprehensive support for WASM is still in progress.
‍

2. Rust stdio: read input

We have enhanced usability for Rust developers by allowing the use of standard library functions to read input from the input tape or stdin.
‍

3. ARM Docker image

This offers improved compile times and proving times on ARM64-based platforms, such as some Apple computers made since 2020.
‍

4. Floating Point Emulation (Including Tests)

C programs can now be compiled utilizing floating point operations, including a notable example of a Fast Fourier Transform.

Bug Fixes:

• Bugfix for valida run --fast
• Bugfix for writing output in the VM

Updated release version tags for public repos: 

• valida-toolchain
• valida-rs
• reth-valida
• prepare_block
• fibonacci
  ‍

Try Valida v0.7.0 here [github]. We’re grateful for your continued support and feedback. If you have questions or run into any issues, feel free to reach out on [our community channels].