Performance Improvements - Improved shared memory across multi-threaded processes [1] - Flexible SIMD config for better parallelism [1] - Refined PCS interface and efficient multi-claim merging [1] - Setup, proving, and verification are now cleanly separated [1] Resource Optimization - Lower memory footprint for zkML, for example, VGG requires less than 8GB [1] - Fine-grained CPU resource control and deterministic proofs [1]