×

如何证明一个定理,这样就没有人可以声称它。 (英语) Zbl 0672.94005号

程序。国际会议。数学。,伯克利/加州,1986年,第2卷,1444-1451(1987)。
[关于整个系列,请参见Zbl 0657.00005.]
零知识证明是一种优雅的技术,通过这种技术,证明者a可以说服验证者B,他拥有某个断言C的证明,而不会透露任何有关证明的信息。这些技术包含在精心设计的加密协议中。本文以一种非正式但清晰易读的方式介绍了零知识证明背后的思想,并针对“图的3-着色”和“图中的哈密顿圈”问题描述了两种新的此类协议。本文的目的是在广泛的数学界提出一个新的重要课题。
审核人:M.Zimand先生

MSC公司:

94A60型 密码学
05C15号 图和超图的着色
05C45号 欧拉图和哈密顿图