v1.4.2

v1.4.2

Added

• (Executor) Added ahead of time (AOT) compilation of OpenVM executables to host x86 binaries using x86 assembly and dynamic linking.

Changed

• Workspace MSRV has been updated to Rust 1.90.0.
• (Verifier) The formatting of the Solidity code generated for the EVM SNARK verifier has changed due to an update to forge-fmt v1.5.0. No other change to the smart contract besides formatting.
• (Prover) Fix metered execution trace height estimations to account for uninitialized memory.
• (Prover) More robust CUDA stream synchronization for memory merkle tree trace generation.
• (Prover) Updated cuda-backend with fixes to virtual memory management for long running processes.
• (Executor) Performance optimizations to elliptic curve host execution.

What's Changed

• fix: order of fields in metered execution tracing log by @shuklaayush in #2184
• perf: avoid re-computing memory merkle tree for user public values proof by @jonathanpwang in #2207
• ci: fix codspeed instrumentation benchmark by @jonathanpwang in #2231
• feat: ahead of time (AOT) compilation of VmExe on x86_64 by @nyunyunyunyu in #2195
• fix(cuda): ensure streams have observed events before destroying by @jonathanpwang in #2242
• chore: switch to git dependency for halo2curves-axiom by @nyunyunyunyu in #2264
• perf: exponentiate on naf representation by @shuklaayush in #2272
• fix: use set_trace_height function to set trace height by @shuklaayush in #2267
• perf: switch halo2curve dependency to use the newly wrapped invert() … by @GunaDD in #2268
• perf: use blstrs for algebra/ecc bls operations by @shuklaayush in #2274
• perf: use blstrs for bls field operations in exp_naf by @shuklaayush in #2273
• chore: add tracing spans for aot exec methods by @shuklaayush in #2275
• fix: update the ctx.instret_left in E1 from the register by @GunaDD in #2276
• docs(book): add instructions for NVIDIA open source drivers by @jonathanpwang in #2285
• fix(ci): rust cache needs to be cuda architecture specific by @jonathanpwang in #2287
• fix: lazy_update_boundary_heights needs to handle uninitialized memory by @jonathanpwang in #2286
• fix(cuda): use vpmm v4 by @gaxiom in #2281
• fix: invalid handling of empty persistent initial memory on CUDA by @Golovanov399 in #2277
• chore: use stark-backend v1.2.2-rc.1 by @jonathanpwang in #2292
• chore: update forge-fmt, alloy-sol-types, rust toolchain by @shuklaayush in #2299
• ci: add workflow to auto-rebase feature branches by @jonathanpwang in #2290
• chore(test): add GpuChipTestBuilder::new_persistent by @DeVikingMark in #2191
• chore(ci): fix formatting in slack message for rebase bot by @jonathanpwang in #2306
• release: v1.4.2 by @jonathanpwang in #2307

New Contributors

• @DeVikingMark made their first contribution in #2191

Full Changelog: v1.4.1...v1.4.2