Zero-knowledge virtual machines hit a wall: proofs have resource limits, but programs don't. Jolt proves RISC-V execution with zero-knowledge proofs. Validators check a succinct proof instead of ...