这篇文章正式介绍一下Bob如何验证Alice发过来的的值是否正确。实际上，我们想要实现2个目的： 要实现第2个目标，需要用到上一篇文章里介绍的α对和KCA的概念。 Alice需要回复一个α对，根据之前介绍的方法，她可以从上面的α对中随机挑选一个，然后各自乘以一个系数：。那么，除…

上一篇介绍了什么是同态隐藏。假设取，则可以通过和计算出来： 需要注意的是，上面的加法和乘法运算都是模p运算。 假设现在有一个d次多项式，其中的系数是Alice需要保护的秘密。根据上面的特性，我们可以计算出： 现在Bob想来验证Alice是不是真的知道这些秘密，于是他决定随机指定…

所谓零知识证明，指的是在不泄露秘密的前提下，证明我知道这个秘密。 举个简单例子，假设我一个月工资2000，我老婆一个月工资3000。我不会把这两个数字透露给你，但是我可以告诉你，我俩每个月的工资加起来是5000。你可以通过某种方式验证我俩的工资加起来确实是5000，但是你没办法…

上一篇介绍了盲计算，所谓盲计算，就是Alice在不知道s的情况下完成多项式计算。 那么，Bob如何确定Alice的计算结果是正确的呢？要实现这一目标，需要先介绍一个概念：α对。 在有限循环群G中，如果，那么就称为一个α对。 也就是说，b是a的α倍（模p）。有了这个概念，就可以进…