计算机科学家结合两种“漂亮”的证明方法 (www.quantamagazine.org)

三位计算机科学家成功将零知识证明和概率可验证证明这两种证明方法的理想版本结合起来，创造了一种既能保证信息完全保密又能分散信息的新型证明方法。这种方法被称为“完美零知识PCP”，它可以应用于计算NP问题（如地图着色问题）的解的数量，并通过在多维数字表中添加随机性来隐藏信息，同时允许验证者检查随机性是否没有扭曲最终结果。