Parano1d 实现基于认证验证器类库的异构递归

Parano1d 已在其公开主网上实现异构递归，小规模与大规模递归状态转换证明可运行于有限认证的验证器类库之上。该方案为每个验证器类维护独立的累加器通道：父证明回放产生的矩阵求值声明按父类通道折叠，其余通道原样保留，终端验证检查最新声明与所有活跃通道。 论文第 6 节给出类库不变式证明及两阶段矩阵折叠的公共币归约界。作者正就子类库合并不变式等问题征求反馈。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。