ProCerDCL：黑盒概率验证框架

Zexin Li 等作者提出黑盒概率验证框架 ProCerDCL，用于在给定可采样输入分布和二元性质预言机时，判断性质违反概率 p 是否超过阈值 θ，并输出接受、拒绝或不确定三种结论。作者称该框架查询高效。报道未给出实验数据或与其他方法的对比结果。

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

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