jolt
jolt copied to clipboard
Optimize Rust verifier
The current Rust verifier is not optimized at all (no parallelization, etc.)