IP属地:北京
1-zkSNARKs问题描述2-同态隐藏Homomorphic Hidings3-多项式盲证Blind Evaluation of Polynomials4-KCA验证The...
接下来我们需要考虑如何采用计算机来存储和验证。我们引入QAP的概念,并且我们可以P(x)转换为QAP问题。QAP(Quadratic Arithmetic Programs)...
KCA验证The Knowledge of Coefficient Test and Assumption 2019.12.06 胡振远 在多项式盲证中,Alice在未知的情...
多项式盲证Blind Evaluation of Polynomials 2019.12.06 胡振远 有了同态隐藏的知识后,我们可以采用多项式盲估这种办法,对隐藏后的进行计...
同态隐藏Homomorphic Hidings 2019.12.06 胡振远 我们采用逐步递进的方式来解决问题,首先我们假设Bob把告诉Alice,那么问题的描述流程如下。 ...
zkSNARKs问题描述 2019.12.06 胡振远 问题一描述 Alice有一个多项式问题,求,满足。Bob恰好知道当时,。那么,如何在Bob不告诉Alice 的情况下...