pub fn load_keys(pk_path: impl AsRef<Path>) -> Result<CircuitKeys>Expand description
Loads Groth16 keys from a binary proving key file.
The proving key file should be serialized using
ark_serialize::CanonicalSerialize. The verification key is extracted from
the proving key, and the prepared verification key is computed for efficient
verification.
§Arguments
pk_path- Path to the binary proving key file
§Returns
Returns Ok(CircuitKeys) containing the proving key, verification key,
and prepared verification key, or an error if loading fails.