Function generate_zkapp_proof 

pub fn generate_zkapp_proof(params: ZkappParams<'_>) -> Result<LedgerProof>