1-zkSNARKs問題描述2-同態(tài)隱藏Homomorphic Hidings3-多項(xiàng)式盲證Blind Evaluation of Polynomials4-KCA驗(yàn)證The...
接下來我們需要考慮如何采用計(jì)算機(jī)來存儲(chǔ)和驗(yàn)證。我們引入QAP的概念实苞,并且我們可以P(x)轉(zhuǎn)換為QAP問題。QAP(Quadratic Arithmetic Programs)...
KCA驗(yàn)證The Knowledge of Coefficient Test and Assumption 2019.12.06 胡振遠(yuǎn) 在多項(xiàng)式盲證中须眷,Alice在未知的情...
多項(xiàng)式盲證Blind Evaluation of Polynomials 2019.12.06 胡振遠(yuǎn) 有了同態(tài)隱藏的知識(shí)后征懈,我們可以采用多項(xiàng)式盲估這種辦法,對(duì)隱藏后的進(jìn)行計(jì)...
同態(tài)隱藏Homomorphic Hidings 2019.12.06 胡振遠(yuǎn) 我們采用逐步遞進(jìn)的方式來解決問題俏扩,首先我們假設(shè)Bob把告訴Alice糜工,那么問題的描述流程如下。 ...
zkSNARKs問題描述 2019.12.06 胡振遠(yuǎn) 問題一描述 Alice有一個(gè)多項(xiàng)式問題录淡,求捌木,滿足。Bob恰好知道當(dāng)時(shí)嫉戚,钮莲。那么,如何在Bob不告訴Alice 的情況下...