I've said before that Jolt is a contrarian bet on what a zkVM can and should look like. Some people have prematurely declared victory of hashing-based SNARKs over alternatives. Today, Jolt shows that there's another way. With the integration of lattices, Jolt (i) is post-quantum, (ii) proves 2-3x faster, (iii) uses less memory, all while keeping proof sizes under 100 kB –– nearly a Pareto improvement upon Jolt with elliptic curves. Another reason you should care about the first lattice-based zkVM: diversity. Multi-prover architectures aim to strengthen security by using multiple proof systems, each independently proving/verifying the same statement. But if all of the proof systems are using the same software libraries, cryptographic primitives, and conjectures, the shared surface area for vulnerabilities undercuts this point. While we expect lattice Jolt to be an attractive default for most use cases, a hashing-based Jolt is still on the roadmap. Expect more announcements from the Jolt team soon!