jolt

What problem does it solve?

This Skill allows developers to wrap pure, deterministic Rust functions in zero-knowledge proofs, enabling verification of computation without revealing the underlying inputs or logic.

Core Features & Use Cases

• ZK Proof Generation: Creates zero-knowledge proofs for Rust functions using the Jolt zkVM.
• Function Provability: Adapts Rust functions for proof generation, handling type conversions and memory constraints.
• Use Case: You have a critical Rust function that performs a complex calculation. You want to prove to a third party that the calculation was performed correctly without them needing to run the code themselves or know the sensitive inputs.

Quick Start

Use the jolt skill to wrap the Rust function my_computation in a zero-knowledge proof.