CoinVoice recently learned that a16z has published a document stating that it has made a number of improvements to the performance and usability of its zkVM Jolt. The cost of the validator has been significantly reduced, from several MB of proof size in April to about 200 KB, and can be further reduced to 25 KB; the prover is expected to be accelerated by 3 times; support for the Rust standard library, etc. [Original link]