write_circuit_description_to_file

remainder::prover::helpers

Function write_circuit_description_to_file 

Source 
pub fn write_circuit_description_to_file<F: Field>(
    circuit_description: &GKRCircuitDescription<F>,
    circuit_description_path: &Path,
)
Expand description

Writes the circuit description for the provided GKRCircuitDescription to the circuit_description_path specified, in JSON format.

ยงArguments

  • circuit_description - The GKRCircuitDescription to be written to file.
  • circuit_description_path - The filepath to which the JSON description will be saved.