Function write_calldata 

pub fn write_calldata(
    instances: &[Vec<Fr>],
    proof: &[u8],
    path: &Path,
) -> Result<String>