干凈體面的直男。<br>個(gè)人博客：<a href="https://links.jianshu.com/go?to=http%3A%2F%2Fzisong.me" target="_blank">http://zisong.me</a>
發(fā)簡信
IP屬地：廣東
-
-
-
-
從「模擬」理解零知識證明：平行宇宙與時(shí)光倒流 —— 探索零知識證明系列（二）本文作者：郭宇 本文已更新至Github https://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/2/zk...
-
-
安比(SECBIT)實(shí)驗(yàn)室由一群熱愛區(qū)塊鏈技術(shù)的極客組建桌肴，專注于可信智能合約與安全共識協(xié)議研究皇筛。實(shí)驗(yàn)室成員遍布在全球多個(gè)國家，專業(yè)領(lǐng)域涉及區(qū)塊鏈底層架構(gòu)坠七、智能合約語言水醋、形式化驗(yàn)證、密碼學(xué)與安全協(xié)議彪置、編譯與分析技術(shù)拄踪、博弈論與加密經(jīng)濟(jì)學(xué)等諸多學(xué)科。安比(SECBIT)實(shí)驗(yàn)室目前著重于研究區(qū)塊鏈智能合約的安全問題拳魁，助力區(qū)塊鏈團(tuán)隊(duì)提高智能合約的可靠性與安全性惶桐，開展構(gòu)建智能合約安全框架的理論探索與技術(shù)研發(fā)，參與共建共識潘懊、可信姚糊、有序的區(qū)塊鏈經(jīng)濟(jì)體。
-
'現(xiàn)在我們使用拉格朗日差值公式來將 R1CS 轉(zhuǎn)化為 QAP 形式授舟。我們先求出四個(gè)約束所對應(yīng)的每個(gè) a 向量的第一個(gè)值的多項(xiàng)式救恨，也就是說使用拉格朗日插值定理求過點(diǎn) (1,0), (2,0), (3,0), (4,0) 的多項(xiàng)式，類似的我們可以求出其余的四個(gè)約束所對應(yīng)的每個(gè)向量的第i個(gè)值的多項(xiàng)式岂却。'
這里應(yīng)該是 "(1,0), (2,0), (3,0), (4,5)" -
-
程序員，開源軟件愛好者
-
-
現(xiàn)專注于區(qū)塊鏈開發(fā)弊攘，熟悉Golang和Python。
-
-
2.A使用(a′,b′)=(c1?a1+c2?a2,c1?b1+c2?b2)生成新的α對
3.B驗(yàn)證通過，可以斷言A知道c數(shù)組
感覺這里A只用知道一個(gè)任意一個(gè)多項(xiàng)式形式伤靠，都可以滿足生成的(a′,b′)是α對捣域？為什么可以斷言A知道多項(xiàng)式的具體系數(shù)值，即c數(shù)組宴合？焕梅？？零知識證明與zkSNARK
最近以太坊啟動(dòng)了“大都會(huì)”硬分叉卦洽，很重要的一個(gè)功能就是整合了ZCash的零知識證明技術(shù)zkSNARK贞言。我們一起來看一下zkSNARK這個(gè)拗口的技術(shù)到底是什么鬼。 零知識證明 ...
