Pinoccho——nizk-test
本文共 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学习总结（4）——MySql基础知识、存储引擎与常用数据类型
查看>>
Mysql学习总结（56）——MySQL用户管理和权限设置
查看>>
Mysql学习总结（58）——深入理解Mysql的四种隔离级别
查看>>
Mysql学习总结（59）——数据库分库分表策略总结
查看>>
Mysql学习总结（60）——并发量大、数据量大的互联网业务数据库设计规范总结
查看>>
Mysql学习总结（61）——MySQL优化之DBA级优化整理汇总
查看>>
Mysql学习总结（64）——Mysql配置文件my.cnf各项参数解读
查看>>
Mysql学习总结（65）——项目实战中常用SQL实践总结
查看>>
Mysql学习总结（66）——设置MYSQL数据库编码为UTF-8
查看>>
Mysql学习总结（68）——MYSQL统计每天、每周、每月、每年数据 SQL 总结
查看>>
Mysql学习总结（69）——Mysql EXPLAIN 命令使用总结
查看>>
Mysql学习总结（6）——MySql之ALTER命令用法详细解读
查看>>
Mysql学习总结（70）——MySQL 优化实施方案
查看>>
Mysql学习总结（71）——MySQL 重复记录查询与删除总结
查看>>
Mysql学习总结（73）——MySQL 查询A表存在B表不存在的数据SQL总结
查看>>
Mysql学习总结（77）——温故Mysql数据库开发核心原则与规范
查看>>
Mysql学习总结（78）——MySQL各版本差异整理
查看>>
Mysql学习总结（79）——MySQL常用函数总结
查看>>
Mysql学习总结（7）——MySql索引原理与使用大全
查看>>
Mysql学习总结（80）——统计数据库的总记录数和库中各个表的数据量
查看>>