零知識證明|4.如何驗證多項式盲計算的值？

這篇文章正式介紹一下Bob如何驗證Alice發過來的 E ( P ( s ) ) E(P(s)) E(P(s))的值是否正確。實際上，我們想要實現2個目的： 雙盲：Alice不知道s，Bob也不知道P(X) 可驗證：Alice只有發送正確的 E ( P ( s ) ) E(P(s)) E(P(s))的值，纔會被Bob接受 要實現第2個目標，需要用到上一篇文章裏介紹的α對和KCA的概念。 上一篇文章

>>阅读原文<<