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