Function expand_proof 

fn expand_proof(params: ExpandProofParams<'_>) -> Result<ExpandedProof>