電路合成方法、設(shè)備、介質(zhì)和數(shù)據(jù)存儲(chǔ)證明系統(tǒng)

基本信息

申請(qǐng)?zhí)?/td> CN202010830354.4 申請(qǐng)日 -
公開（公告）號(hào) CN112632888A 公開（公告）日 2021-04-09
申請(qǐng)公布號(hào) CN112632888A 申請(qǐng)公布日 2021-04-09
分類號(hào) G06F30/337 分類 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 李星;夏坤賢;張守恒 申請(qǐng)（專利權(quán)）人 上海致居信息科技有限公司
代理機(jī)構(gòu) 上海上谷知識(shí)產(chǎn)權(quán)代理有限公司 代理人 張平
地址 201206 上海市浦東新區(qū)金高路310號(hào)5層
法律狀態(tài) -

摘要

摘要 本發(fā)明提供了一種用于零知識(shí)證明的電路合成方法、設(shè)備、計(jì)算機(jī)存儲(chǔ)介質(zhì)和數(shù)據(jù)存儲(chǔ)證明系統(tǒng)。該方法包括，由進(jìn)行零知識(shí)證明的證明單元：基于待證明數(shù)據(jù)的邏輯電路為所述待證明數(shù)據(jù)產(chǎn)生一個(gè)父約束系統(tǒng)；將所述父約束系統(tǒng)發(fā)送給多個(gè)處理單元；接收所述多個(gè)處理單元并行產(chǎn)生的多個(gè)不同的一階約束系統(tǒng)分量，其中每個(gè)一階約束系統(tǒng)分量包括所述父約束系統(tǒng)和一個(gè)子約束系統(tǒng)，所述子約束系統(tǒng)基于所述父約束系統(tǒng)得到；對(duì)所述多個(gè)不同的一階約束系統(tǒng)分量進(jìn)行合并以獲得所述一階約束系統(tǒng)；以及基于所述一階約束系統(tǒng)構(gòu)造針對(duì)所述待證明數(shù)據(jù)的零知識(shí)證明。