Open GUJustin opened 7 months ago
The current Rust verifier is not optimized at all (no parallelization, etc.)
The current Rust verifier is not optimized at all (no parallelization, etc.)