powdrVM 0.1.3

Release highlights:

• secp256k1 ec_add and ec_double optimized precompile available in stdlib and Rust
• Keccak optimized precompile for Goldilocks available in stdlib
• stdout/stderr and publics available in powdr::Session after test execution or proof
• New fast Mock backend that verifies the constraints on a given witness
• Optimize proofs when submachines are unused at runtime
• Optimize Plonky3 proving key
• Stwo backend fixed column support
• Auto generated Rust code for submachine witgen
• asmopt removes all unused objects in asm file

powdrVM 0.1.2

Release highlights:

• Initial integration with Stwo prover (not yet used by the full zkVM)
• Public commitments support in Rust
• Poseidon2 (Goldilocks) precompile available in Rust
• Keccak precompile (BabyBear/Mersenne31/KoalaBear) in stdlib
• Automated witgen support for LogUp from powdr-PIL's stdlib
• Several powdr-PIL language & compiler improvements
• Optimized general syscalls

powdrVM 0.1.1

Some updates after the initial release:

• Bugfix in the continuations code with serialized inputs.
• Poseidon2 precompile in stdlib.
• Support intermediate polynomials in powdr-plonky3.

powdrVM 0.1

This marks the first release of powdrVM, the first multi-prover zkVM.
Highlighted features:

• General purpose zkVM based on RISCV32im, using the Goldilocks 64-bit field
• Support to multiple provers, such as Plonky3, Halo2, Polygon PIL STARK, Eigen Labs' Starky
• std Rust and unbounded execution support
• Based on powdr-rs and powdr

v0.1.0-alpha.1 - Initial Alpha Release

This is an early release intended for testing and feedback, and as such, may not yet be suitable for production use.