为认证 Krawczyk 同伪跟踪建立先验界限

我们首次为基于 Krawczyk 方法的认证同伪跟踪建立复杂度分析。该方法包含确保 Krawczyk测试成功的明确先验步长界限，以及与解答路径加权长度成正比的迭代计数界限。我们的先验界限降低了区间算术的开销，实现的迭代次数较先前方法更少。使用演示性实现的实验验证了结果。