Sum2=exe(n/k)+max{k*prove(n/k),(k-1)*exe(n/k)}+aggr(k) ... Folder分别对每批交易计算正确性证明,最后再聚合起来。通常,这个证明是基于FOAKS这种 ...
確定! 回上一頁