Test utilities (requires std for file I/O) Test utilities for circuit proving and verification.
This module is only compiled when the std feature is enabled, as it depends on file I/O and other std-only types.
std