Add Jolt zkVM Support to ProofLab

[yourbuddyconner]

Overview

This PR adds support for https://github.com/a16z/jolt, a Rust-native zero-knowledge VM, as a new backend in ProofLab. This implementation allows users to generate and verify proofs using Jolt alongside the existing SP1 and RISC0 backends.

Changes

• Created new jolt.rs module with Jolt-specific implementation
• Added Jolt to supported backends in CLI commands
• Created base workspace files for Jolt compilation
• Extended Makefile with Jolt-specific commands
• Updated documentation to include Jolt commands and examples
• Added integration with Aligned verification system (provisional)

Implementation Details

Jolt differs from SP1 and RISC0 in several important ways:

1. Uses a #[jolt::provable] attribute macro on functions rather than a program entrypoint
2. Exposes both a prover and verifier function via a build_* function
3. Supports both no_std and the full Rust standard library via feature flags

The implementation integrates Jolt's approach to proving and verification while maintaining the consistent interface pattern used by existing backends.

Testing

The PR includes basic infrastructure for testing Jolt proofs with examples like Fibonacci. More comprehensive tests will need to be added as development continues.

Future Work

• Improve error handling for Jolt-specific failures
• Optimize Jolt workspace compilation process
• Extend telemetry collection for Jolt-specific metrics