tasm_lib::test_helpers

Function maybe_write_tvm_output_to_disk

Source 
pub fn maybe_write_tvm_output_to_disk(
    stark: &Stark,
    claim: &Claim,
    proof: &Proof,
)
Expand description

Store the output from Triton VM’s proof function as files, such that a deterministic proof can be used for debugging purposes.