ChainCatcher news, a16z stated that several improvements have been made to the performance and usability of its zkVM Jolt, with validator costs significantly reduced, dropping from several MB proof sizes in April to about 200 KB, and can be further reduced to 25 KB; the prover is expected to accelerate by 3 times; supports the Rust standard library, etc.