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

基本信息

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

摘要

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