本文致力于研究使用递归zk-SNARK的分布式证明生成过程。这种分布式的证明生成是在基于zk-snarks侧链的Latus共识协议中首次提出的，其中递归的zk-snark证明被组织在满Mercle树中。我们考虑这种证明生成过程的两种模型：一种是简化模型，其中所有证明都是独立的（如树的一层），另一种是自然生成模型，它的证明是按照树的结构组织在部分有序集(偏序集)中。我们使用离散马尔可夫链对相应的证明...