Lita (0xlita)

Introducing Valida Rust Alpha Compiler.

• 1 reply
• 1 recast
• 1 reaction

Introducing Valida Rust Alpha Compiler.

• 1 reply
• 1 recast
• 1 reaction

1/ Key Features: • Partial Rust Support: rustc, cargo, and some core library functions are now supported • Valida-Reth block prover and reth benchmarks: coming soon • Libc Support: a customized subset of libc functions for key operations in Valida • Other compiler and VM improvements: dynamic memory management, -O3, fixes to 64-bit arithmetic and more

• 1 reply
• 0 recasts
• 0 reactions

2/ What is Valida Rust Alpha Compiler? Our toolchain leverages the power of LLVM to bridge the gap between Rust and the Valida zkVM. This means that some parts of the Rust programming language can now be translated into an intermediate representation (IR) used by the LLVM compiler framework. From there, this IR can be further compiled into machine code that runs on the Valida zkVM. Essentially, developers can now write some Rust code and have it run on Valida.

• 1 reply
• 0 recasts
• 0 reactions

3/ Why doesn't Valida support Rust from the get go? At Lita, we believe that using traditional hardware based ISA to develop zkVM software is not the optimal approach. Unlike other zkVMs such as SP1 and Risc Zero, which leverage the RISC-V ISA and benefit from existing compiler toolchains for native Rust support, our design approach is different.

• 1 reply
• 0 recasts
• 0 reactions