博客
关于我
Pinoccho——nizk-test
阅读量:275 次
发布时间:2019-03-01

本文共 2527 字,大约阅读时间需要 8 分钟。

接,对nizk-test进行操作。

在这里插入图片描述

nizk-test.c内容为:

#pragma oncestruct Input {    int a;};struct NIZKInput {    int b1;    int b2;    int b3;    int b4;};struct Output {    int c1;    int c2;    int c3;};void outsource(struct Input *input, struct NIZKInput *nizkinput, struct Output *output);#if 17void outsource(struct Input *input, struct NIZKInput *nizkinput, struct Output *output){    	output->c1 = input->a + nizkinput->b1;    	output->c3 = input->a + nizkinput->b3;}#elsevoid outsource(struct Input *input, struct Output *output){    	output->c1 = input->a;    	output->c3 = input->a + 3;}#endif

一、生成nizk-test.c对应的circuit

python ../src/vercomp.py nizk-test.c --arith nizk-test.arith --ignore-overflow False --progress True

生成的nizk-test.arith内容为:

total 13input 0                                  # inputinput 1                                  # one-inputnizkinput 2                              # inputnizkinput 3                              # input (unused)nizkinput 4                              # inputnizkinput 5                              # input (unused)const-mul-0 in 1 <1> out 1 <6>           # zeroadd in 2 <0 2> out 1 <7>                 # ArithBusReq.AddReq(DFG.Input,DFG.NIZKInput)const-mul-0 in 1 <1> out 1 <8>           # constant 0add in 2 <0 4> out 1 <9>                 # ArithBusReq.AddReq(DFG.Input,DFG.NIZKInput)mul in 2 <1 7> out 1 <10>                # output-castoutput 10                                # mul in 2 <1 8> out 1 <11>                # output-castoutput 11                                # mul in 2 <1 9> out 1 <12>                # output-castoutput 12                                #

配置相应的input文件nizk-test.in

0 51 12 13 24 35 4

二、生成相应的公私钥

pinocchio-v0.5.3.exe --qap --pv --nizk --file circuit/nizk-test.arith --mem 4 --input circuit/nizk-test.in --output circuit/nizk-test.out --keys test-nizk-key --genkeys

对应的输出为:

在这里插入图片描述
同时生成了公私钥文件:(私钥为空???)
在这里插入图片描述

三、生成proof文件

pinocchio-v0.5.3.exe --qap --pv --nizk --file circuit/nizk-test.arith --mem 4 --input circuit/nizk-test.in --output circuit/nizk-test.out --keys test-nizk-key --dowork

输出内容为:

在这里插入图片描述
同时生成proof文件和.out文件:
在这里插入图片描述在这里插入图片描述
其中nizk-test.out内容为(与nizk-test.in文件的输入相对应):

10 000000000000000000000000000000000000000000000000000000000000000611 000000000000000000000000000000000000000000000000000000000000000012 0000000000000000000000000000000000000000000000000000000000000008

四、Verify

pinocchio-v0.5.3.exe --qap --pv --nizk --file circuit/nizk-test.arith --mem 4 --input circuit/nizk-test.in --output circuit/nizk-test.out --keys test-nizk-key --verify

对应的输出为Verification passed通过。在这里插入图片描述

转载地址:http://suqx.baihongyu.com/

你可能感兴趣的文章
Mysql学习总结(39)——49条MySql语句优化技巧
查看>>
Mysql学习总结(3)——MySql语句大全:创建、授权、查询、修改等
查看>>
Mysql学习总结(40)——MySql之Select用法汇总
查看>>
Mysql学习总结(41)——MySql数据库基本语句再体会
查看>>
Mysql学习总结(42)——MySql常用脚本大全
查看>>
Mysql学习总结(43)——MySQL主从复制详细配置
查看>>
Mysql学习总结(44)——Linux下如何实现mysql数据库每天自动备份定时备份
查看>>
Mysql学习总结(45)——Mysql视图和事务
查看>>
Mysql学习总结(46)——8种常被忽视的SQL错误用法
查看>>
war包放到webapps下,启动tomcat,tomcat正常,却无法加载项目
查看>>
Mysql学习总结(48)——MySql的日志与备份还原
查看>>
Mysql学习总结(49)——从开发规范、选型、拆分到减压
查看>>
Mysql学习总结(4)——MySql基础知识、存储引擎与常用数据类型
查看>>
Mysql学习总结(50)——Oracle,mysql和SQL Server的区别
查看>>
Mysql学习总结(51)——Linux主机Mysql数据库自动备份
查看>>
Mysql学习总结(52)——最全面的MySQL 索引详解
查看>>
Mysql学习总结(53)——使用MySql开发的Java开发者规范
查看>>
Mysql学习总结(54)——MySQL 集群常用的几种高可用架构方案
查看>>
Mysql学习总结(55)——MySQL 语句大全再温习
查看>>
Mysql学习总结(56)——MySQL用户管理和权限设置
查看>>