Function prove 

pub fn prove(
    spec: &ProofSpec,
    data: &BTreeMap<String, Vec<Candle>>,
) -> Result<Proof>

Fold (spec, data) into a deterministic report and its canonical hashes.