Jolt zkVM: Enhancements in Performance and Usability

Jolt, a state-of-the-art zero-knowledge virtual machine (zkVM) developed by a16z crypto, has undergone significant improvements in performance and usability since its initial release in April, according to a16z crypto. These enhancements are the result of collaborative efforts by the Jolt team and open-source contributors.

Performance Enhancements

A key focus has been the reduction of verifier costs. Originally, proof sizes were in the megabytes; however, they have been reduced to approximately 200 kilobytes, with potential future reductions to 25 kilobytes. This decrease facilitates efficient folding schemes, which will help manage prover space by maintaining it at just a few gigabytes, achieving zero-knowledge, and providing on-chain proofs.

Additionally, there is an anticipated threefold increase in the speed of the Jolt prover. This improvement is due to recent optimizations in the sum-check protocol and better utilization of the constraint system’s uniform nature.

Integration and Support

Jolt’s integration with the Rust standard library, led by engineering partner Noah Citron, has expanded its capabilities by enabling the use of more existing Rust crates. The support for the RISC-V “M” extension, thanks to contributors Mihir Wadekar and Ethan Lee, enhances performance for programs with intensive multiplication or division operations.

Commitment Schemes and Proof Reductions

Jolt initially used the Hyrax polynomial commitment scheme, but contributors Pat Stiles and Ethan Lee have integrated Zeromorph and HyperKZG schemes. These new schemes reduce proof sizes while maintaining performance. The implementation of a sum-check-based protocol further reduces multiple opening proofs to a single one, optimizing both proof size and prover time.

Future Developments

Progress has been made towards on-chain verification with significant steps taken by contributors Alpeh_v and Matteo Mer in developing a Solidity implementation of the Jolt verifier. Once complete, this will enable Jolt proofs to be verified on any EVM blockchain.

An AVX-512 library for 256-bit Montgomery arithmetic, developed in collaboration with Dag Arne Osvik, promises to accelerate field arithmetic in Jolt and other elliptic curve-based SNARKs on compatible hardware. Formal verification efforts, led by Quang Dao and Carl Kwan, have identified minor bugs and optimizations, contributing to the reliability of Jolt’s implementation.

Looking ahead, a16z crypto is working with various teams to further enhance Jolt. Planned improvements include sum-check prover optimizations, further reductions in proof size and verifier costs, GPU integration, and the integration of Jolt with Nova for continuations via folding.

For more detailed insights, visit the official update from a16z crypto.

Image source: Shutterstock