干凈體面的直男焚刺。<br>個人博客：<a href="https://links.jianshu.com/go?to=http%3A%2F%2Fzisong.me" target="_blank">http://zisong.me</a>
發(fā)簡信
IP屬地：廣東
-
-
-
-
從「模擬」理解零知識證明：平行宇宙與時光倒流 —— 探索零知識證明系列（二）本文作者：郭宇 本文已更新至Github https://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/2/zk...
-
-
安比(SECBIT)實驗室由一群熱愛區(qū)塊鏈技術(shù)的極客組建坡脐，專注于可信智能合約與安全共識協(xié)議研究泄私。實驗室成員遍布在全球多個國家，專業(yè)領(lǐng)域涉及區(qū)塊鏈底層架構(gòu)备闲、智能合約語言晌端、形式化驗證、密碼學(xué)與安全協(xié)議恬砂、編譯與分析技術(shù)咧纠、博弈論與加密經(jīng)濟(jì)學(xué)等諸多學(xué)科。安比(SECBIT)實驗室目前著重于研究區(qū)塊鏈智能合約的安全問題觉既，助力區(qū)塊鏈團(tuán)隊提高智能合約的可靠性與安全性惧盹，開展構(gòu)建智能合約安全框架的理論探索與技術(shù)研發(fā)，參與共建共識瞪讼、可信钧椰、有序的區(qū)塊鏈經(jīng)濟(jì)體。
-
'現(xiàn)在我們使用拉格朗日差值公式來將 R1CS 轉(zhuǎn)化為 QAP 形式符欠。我們先求出四個約束所對應(yīng)的每個 a 向量的第一個值的多項式嫡霞，也就是說使用拉格朗日插值定理求過點 (1,0), (2,0), (3,0), (4,0) 的多項式，類似的我們可以求出其余的四個約束所對應(yīng)的每個向量的第i個值的多項式希柿。'
這里應(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驗證通過阅嘶，可以斷言A知道c數(shù)組
感覺這里A只用知道一個任意一個多項式形式，都可以滿足生成的(a′,b′)是α對载迄？為什么可以斷言A知道多項式的具體系數(shù)值讯柔，即c數(shù)組？护昧？磷杏？零知識證明與zkSNARK
最近以太坊啟動了“大都會”硬分叉，很重要的一個功能就是整合了ZCash的零知識證明技術(shù)zkSNARK捏卓。我們一起來看一下zkSNARK這個拗口的技術(shù)到底是什么鬼。 零知識證明 ...
