零知識證明|3.什麼是KCA係數知識假設？

上一篇介紹了盲計算，所謂盲計算，就是Alice在不知道s的情況下完成多項式計算。 那麼，Bob如何確定Alice的計算結果是正確的呢？要實現這一目標，需要先介紹一個概念：α對。 在有限循環羣G中，如果 α , β ≠ 0 且 b = α ⋅ a \alpha, \beta \neq 0 且 b = \alpha \cdot a α,β̸​=0且b=α⋅a，那麼就稱 ( a , b ) (a,b)

>>阅读原文<<