0970-822893270

pg电子官方网站-R1CS导入导出2021-01-25 08:36

本文摘要:玩过zkSNARK的朋友都告诉网卓新闻网,R1CS是目前描述电路的语言。目前zkSNARK电路的框架是libsnark(C)、bellman (Rust)、ZoKrates(DSL)、Circom(js)等等。 有时,在一帧中分解的电路必须引入到其他帧中。我在网上研究了一下,发现了两个有趣的项目。 1.J-R1CSJ-R1CS明确提出了给定RICS的格式标准。用json文件解释电路所需的所有信息。

pg电子

玩过zkSNARK的朋友都告诉网卓新闻网,R1CS是目前描述电路的语言。目前zkSNARK电路的框架是libsnark(C)、bellman (Rust)、ZoKrates(DSL)、Circom(js)等等。

有时,在一帧中分解的电路必须引入到其他帧中。我在网上研究了一下,发现了两个有趣的项目。

1.J-R1CSJ-R1CS明确提出了给定RICS的格式标准。用json文件解释电路所需的所有信息。https://www.sikoba.com/docs/SKOR_GD_R1CS_Format.pdf某电路的R1CS主要由三部分组成:1)电路的属性描述{ ' R1CS ' : { ' version ' : ' 1.0 ',' field _ character ' : ' 13358119985180779797178235848527563401 ',' extension _ degree ' :1,' instances ' :3,' witnesses ' :52)输出语句{'inputs' : ['0 ',' 1 ',' 0 ',' 1 ',' 3 ',' 8 ',],'女巫' 3360 ['1 ',' 1 ',243202698575991946913848952725080 83431720404889351149270757824295286710624 ',]}输出有两种,一种是公共输入,一种是私人输入。

输入代表公开输出,见证代表私人输出。3)约束语句{{'a' : [[0,' 2'],[-1,' 6'],[5,' 4'],],' b' : [[0,' 5'],[-6,' 3]每个数组中的元素都是一个二进制数:输出索引和输出系数。

如果产出指数为负,则表示公开发布的产出;如果输出索引是一个整数,它表示隐私输出。2.zkInterfacezkInterface更进一步,获得各种框架下电路的切换。zkInterface作为“中间”模块,可以将“前端”的电路格式赋予“后端”的证明框架。

目前,https://github.com/QED-it/zkinterface zkInterface已经搭建了以下介绍和给定能力:总结:零科学知识证明的框架有一些,框架中的电路全部用R1CS描述。J-R1CS明确提出了R1CS电路的给定格式。ZkInterface更进一步,获得各种框架下的电路切换。


本文关键词:电子,官方网站,-R1CS,导入,导出,玩过,zkSNARK,的,pg电子官网

本文来源:pg电子-www.losethek.com