Function prove_spec

Source
fn prove_spec(
    tx_prover: &TransactionProver,
    zkapp_prover: &ZkappProver,
    spec: SnarkWorkSpec,
    sok_message: &SokMessage,
) -> Result<SnarkWorkResult, ExternalSnarkWorkerWorkError>