github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

fix tests

Browse source
This commit is contained in:
sdeml 2019-01-13 15:23:55 +01:00
parent a1a2de56f3
commit 1d3f4268e7
14 changed files with 268 additions and 872 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
zokrates_cli/tests/code/sha_ethereum_libsnark.code
View file

@ -1,22 +0,0 @@
//This example creates the equivalent output as the following solidity code:
//pragma solidity ^0.4.24;
//contract SHA256Test {
// event Success(
// bytes32 indexed _id
// );
//
// function calc_sha() public returns (bytes32) {
// bytes32 a = 0x5;
// bytes32 b = 0x0;
// bytes32 result = sha256(b,a);
// emit Success(result);
// return result;
// }
//}
//
import "LIBSNARK/sha256"
def main(field a) -> (field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field):
o255, o254, o253, o252, o251, o250, o249, o248, o247, o246, o245, o244, o243, o242, o241, o240, o239, o238, o237, o236, o235, o234, o233, o232, o231, o230, o229, o228, o227, o226, o225, o224, o223, o222, o221, o220, o219, o218, o217, o216, o215, o214, o213, o212, o211, o210, o209, o208, o207, o206, o205, o204, o203, o202, o201, o200, o199, o198, o197, o196, o195, o194, o193, o192, o191, o190, o189, o188, o187, o186, o185, o184, o183, o182, o181, o180, o179, o178, o177, o176, o175, o174, o173, o172, o171, o170, o169, o168, o167, o166, o165, o164, o163, o162, o161, o160, o159, o158, o157, o156, o155, o154, o153, o152, o151, o150, o149, o148, o147, o146, o145, o144, o143, o142, o141, o140, o139, o138, o137, o136, o135, o134, o133, o132, o131, o130, o129, o128, o127, o126, o125, o124, o123, o122, o121, o120, o119, o118, o117, o116, o115, o114, o113, o112, o111, o110, o109, o108, o107, o106, o105, o104, o103, o102, o101, o100, o99, o98, o97, o96, o95, o94, o93, o92, o91, o90, o89, o88, o87, o86, o85, o84, o83, o82, o81, o80, o79, o78, o77, o76, o75, o74, o73, o72, o71, o70, o69, o68, o67, o66, o65, o64, o63, o62, o61, o60, o59, o58, o57, o56, o55, o54, o53, o52, o51, o50, o49, o48, o47, o46, o45, o44, o43, o42, o41, o40, o39, o38, o37, o36, o35, o34, o33, o32, o31, o30, o29, o28, o27, o26, o25, o24, o23, o22, o21, o20, o19, o18, o17, o16, o15, o14, o13, o12, o11, o10, o9, o8, o7, o6, o5, o4, o3, o2, o1, o0 = sha256(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1)
return o255, o254, o253, o252, o251, o250, o249, o248, o247, o246, o245, o244, o243, o242, o241, o240, o239, o238, o237, o236, o235, o234, o233, o232, o231, o230, o229, o228, o227, o226, o225, o224, o223, o222, o221, o220, o219, o218, o217, o216, o215, o214, o213, o212, o211, o210, o209, o208, o207, o206, o205, o204, o203, o202, o201, o200, o199, o198, o197, o196, o195, o194, o193, o192, o191, o190, o189, o188, o187, o186, o185, o184, o183, o182, o181, o180, o179, o178, o177, o176, o175, o174, o173, o172, o171, o170, o169, o168, o167, o166, o165, o164, o163, o162, o161, o160, o159, o158, o157, o156, o155, o154, o153, o152, o151, o150, o149, o148, o147, o146, o145, o144, o143, o142, o141, o140, o139, o138, o137, o136, o135, o134, o133, o132, o131, o130, o129, o128, o127, o126, o125, o124, o123, o122, o121, o120, o119, o118, o117, o116, o115, o114, o113, o112, o111, o110, o109, o108, o107, o106, o105, o104, o103, o102, o101, o100, o99, o98, o97, o96, o95, o94, o93, o92, o91, o90, o89, o88, o87, o86, o85, o84, o83, o82, o81, o80, o79, o78, o77, o76, o75, o74, o73, o72, o71, o70, o69, o68, o67, o66, o65, o64, o63, o62, o61, o60, o59, o58, o57, o56, o55, o54, o53, o52, o51, o50, o49, o48, o47, o46, o45, o44, o43, o42, o41, o40, o39, o38, o37, o36, o35, o34, o33, o32, o31, o30, o29, o28, o27, o26, o25, o24, o23, o22, o21, o20, o19, o18, o17, o16, o15, o14, o13, o12, o11, o10, o9, o8, o7, o6, o5, o4, o3, o2, o1, o0

256
zokrates_cli/tests/code/sha_ethereum_libsnark.expected.witness
View file

@ -1,256 +0,0 @@
~out_255 0
~out_254 0
~out_253 0
~out_252 0
~out_251 1
~out_250 0
~out_249 0
~out_248 0
~out_247 0
~out_246 1
~out_245 1
~out_244 1
~out_243 0
~out_242 0
~out_241 1
~out_240 1
~out_239 1
~out_238 0
~out_237 0
~out_236 1
~out_235 1
~out_234 0
~out_233 1
~out_232 0
~out_231 0
~out_230 0
~out_229 0
~out_228 0
~out_227 0
~out_226 1
~out_225 1
~out_224 1
~out_223 0
~out_222 1
~out_221 0
~out_220 1
~out_219 0
~out_218 1
~out_217 0
~out_216 1
~out_215 0
~out_214 1
~out_213 0
~out_212 1
~out_211 1
~out_210 1
~out_209 1
~out_208 1
~out_207 0
~out_206 1
~out_205 1
~out_204 0
~out_203 0
~out_202 1
~out_201 0
~out_200 1
~out_199 0
~out_198 0
~out_197 1
~out_196 0
~out_195 0
~out_194 0
~out_193 1
~out_192 1
~out_191 1
~out_190 1
~out_189 1
~out_188 0
~out_187 0
~out_186 0
~out_185 0
~out_184 0
~out_183 1
~out_182 1
~out_181 0
~out_180 0
~out_179 1
~out_178 1
~out_177 1
~out_176 1
~out_175 0
~out_174 0
~out_173 1
~out_172 0
~out_171 0
~out_170 0
~out_169 1
~out_168 1
~out_167 1
~out_166 0
~out_165 0
~out_164 1
~out_163 0
~out_162 0
~out_161 0
~out_160 1
~out_159 1
~out_158 1
~out_157 1
~out_156 1
~out_155 1
~out_154 1
~out_153 1
~out_152 1
~out_151 0
~out_150 1
~out_149 1
~out_148 1
~out_147 0
~out_146 1
~out_145 1
~out_144 1
~out_143 0
~out_142 0
~out_141 0
~out_140 0
~out_139 0
~out_138 1
~out_137 0
~out_136 0
~out_135 1
~out_134 0
~out_133 0
~out_132 0
~out_131 1
~out_130 1
~out_129 0
~out_128 0
~out_127 1
~out_126 0
~out_125 1
~out_124 1
~out_123 0
~out_122 1
~out_121 1
~out_120 1
~out_119 0
~out_118 0
~out_117 0
~out_116 1
~out_115 0
~out_114 1
~out_113 1
~out_112 1
~out_111 1
~out_110 0
~out_109 1
~out_108 0
~out_107 0
~out_106 1
~out_105 0
~out_104 1
~out_103 0
~out_102 1
~out_101 0
~out_100 1
~out_99 1
~out_98 1
~out_97 1
~out_96 1
~out_95 0
~out_94 0
~out_93 1
~out_92 1
~out_91 0
~out_90 0
~out_89 0
~out_88 1
~out_87 1
~out_86 1
~out_85 0
~out_84 1
~out_83 0
~out_82 0
~out_81 0
~out_80 0
~out_79 0
~out_78 0
~out_77 0
~out_76 1
~out_75 0
~out_74 1
~out_73 1
~out_72 0
~out_71 1
~out_70 1
~out_69 1
~out_68 1
~out_67 0
~out_66 1
~out_65 0
~out_64 1
~out_63 0
~out_62 0
~out_61 1
~out_60 0
~out_59 0
~out_58 1
~out_57 1
~out_56 0
~out_55 1
~out_54 0
~out_53 0
~out_52 0
~out_51 0
~out_50 0
~out_49 1
~out_48 0
~out_47 1
~out_46 1
~out_45 1
~out_44 1
~out_43 1
~out_42 1
~out_41 1
~out_40 1
~out_39 1
~out_38 0
~out_37 1
~out_36 0
~out_35 0
~out_34 0
~out_33 1
~out_32 1
~out_31 0
~out_30 1
~out_29 0
~out_28 0
~out_27 0
~out_26 1
~out_25 0
~out_24 0
~out_23 0
~out_22 1
~out_21 1
~out_20 1
~out_19 1
~out_18 0
~out_17 0
~out_16 0
~out_15 0
~out_14 0
~out_13 0
~out_12 1
~out_11 0
~out_10 0
~out_9 1
~out_8 0
~out_7 0
~out_6 1
~out_5 1
~out_4 0
~out_3 0
~out_2 0
~out_1 1
~out_0 1

1
zokrates_cli/tests/code/sha_libsnark.arguments.json
View file

@ -1 +0,0 @@
[42]

6
zokrates_cli/tests/code/sha_libsnark.code
View file

@ -1,6 +0,0 @@
import "LIBSNARK/sha256compression"
def main(field a) -> (field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field):
o255, o254, o253, o252, o251, o250, o249, o248, o247, o246, o245, o244, o243, o242, o241, o240, o239, o238, o237, o236, o235, o234, o233, o232, o231, o230, o229, o228, o227, o226, o225, o224, o223, o222, o221, o220, o219, o218, o217, o216, o215, o214, o213, o212, o211, o210, o209, o208, o207, o206, o205, o204, o203, o202, o201, o200, o199, o198, o197, o196, o195, o194, o193, o192, o191, o190, o189, o188, o187, o186, o185, o184, o183, o182, o181, o180, o179, o178, o177, o176, o175, o174, o173, o172, o171, o170, o169, o168, o167, o166, o165, o164, o163, o162, o161, o160, o159, o158, o157, o156, o155, o154, o153, o152, o151, o150, o149, o148, o147, o146, o145, o144, o143, o142, o141, o140, o139, o138, o137, o136, o135, o134, o133, o132, o131, o130, o129, o128, o127, o126, o125, o124, o123, o122, o121, o120, o119, o118, o117, o116, o115, o114, o113, o112, o111, o110, o109, o108, o107, o106, o105, o104, o103, o102, o101, o100, o99, o98, o97, o96, o95, o94, o93, o92, o91, o90, o89, o88, o87, o86, o85, o84, o83, o82, o81, o80, o79, o78, o77, o76, o75, o74, o73, o72, o71, o70, o69, o68, o67, o66, o65, o64, o63, o62, o61, o60, o59, o58, o57, o56, o55, o54, o53, o52, o51, o50, o49, o48, o47, o46, o45, o44, o43, o42, o41, o40, o39, o38, o37, o36, o35, o34, o33, o32, o31, o30, o29, o28, o27, o26, o25, o24, o23, o22, o21, o20, o19, o18, o17, o16, o15, o14, o13, o12, o11, o10, o9, o8, o7, o6, o5, o4, o3, o2, o1, o0 = sha256compression(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,1,1,0,0,0,0,0,0,1,1,1,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,1,0,1,0,0,0,0,0,1,0,1,1,0,0,0,0,1,1,0,0,0,0,0,0,1,1,0,1,0,0,0,0,1,1,1,0,0,0,0,0,1,1,1,1,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,1,0,0,1,0,0,0,0,1,0,0,1,1,0,0,0,1,0,1,0,0,0,0,0,1,0,1,0,1,0,0,0,1,0,1,1,0,0,0,0,1,0,1,1,1,0,0,0,1,1,0,0,0,0,0,0,1,1,0,0,1,0,0,0,1,1,0,1,0,0,0,0,1,1,0,1,1,0,0,0,1,1,1,0,0,0,0,0,1,1,1,0,1,0,0,0,1,1,1,1,0,0,0,0,1,1,1,1,1,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,1,0,0,0,1,0,0,0,1,0,0,0,1,1,0,0,1,0,0,1,0,0,0,0,1,0,0,1,0,1,0,0,1,0,0,1,1,0,0,0,1,0,0,1,1,1,0,0,1,0,1,0,0,0,0,0,1,0,1,0,0,1,0,0,1,0,1,0,1,0,0,0,1,0,1,0,1,1,0,0,1,0,1,1,0,0,0,0,1,0,1,1,0,1,0,0,1,0,1,1,1,0,0,0,1,0,1,1,1,1,0,0,1,1,0,0,0,0,0,0,1,1,0,0,0,1,0,0,1,1,0,0,1,0,0,0,1,1,0,0,1,1,0,0,1,1,0,1,0,0,0,0,1,1,0,1,0,1,0,0,1,1,0,1,1,0,0,0,1,1,0,1,1,1,0,0,1,1,1,0,0,0,0,0,1,1,1,0,0,1,0,0,1,1,1,0,1,0,0,0,1,1,1,0,1,1,0,0,1,1,1,1,0,0,0,0,1,1,1,1,0,1,0,0,1,1,1,1,1,0,0,0,1,1,1,1,1,1)
return o255, o254, o253, o252, o251, o250, o249, o248, o247, o246, o245, o244, o243, o242, o241, o240, o239, o238, o237, o236, o235, o234, o233, o232, o231, o230, o229, o228, o227, o226, o225, o224, o223, o222, o221, o220, o219, o218, o217, o216, o215, o214, o213, o212, o211, o210, o209, o208, o207, o206, o205, o204, o203, o202, o201, o200, o199, o198, o197, o196, o195, o194, o193, o192, o191, o190, o189, o188, o187, o186, o185, o184, o183, o182, o181, o180, o179, o178, o177, o176, o175, o174, o173, o172, o171, o170, o169, o168, o167, o166, o165, o164, o163, o162, o161, o160, o159, o158, o157, o156, o155, o154, o153, o152, o151, o150, o149, o148, o147, o146, o145, o144, o143, o142, o141, o140, o139, o138, o137, o136, o135, o134, o133, o132, o131, o130, o129, o128, o127, o126, o125, o124, o123, o122, o121, o120, o119, o118, o117, o116, o115, o114, o113, o112, o111, o110, o109, o108, o107, o106, o105, o104, o103, o102, o101, o100, o99, o98, o97, o96, o95, o94, o93, o92, o91, o90, o89, o88, o87, o86, o85, o84, o83, o82, o81, o80, o79, o78, o77, o76, o75, o74, o73, o72, o71, o70, o69, o68, o67, o66, o65, o64, o63, o62, o61, o60, o59, o58, o57, o56, o55, o54, o53, o52, o51, o50, o49, o48, o47, o46, o45, o44, o43, o42, o41, o40, o39, o38, o37, o36, o35, o34, o33, o32, o31, o30, o29, o28, o27, o26, o25, o24, o23, o22, o21, o20, o19, o18, o17, o16, o15, o14, o13, o12, o11, o10, o9, o8, o7, o6, o5, o4, o3, o2, o1, o0

1
zokrates_cli/tests/code/sha_libsnark_null.arguments.json
View file

@ -1 +0,0 @@
[42]

6
zokrates_cli/tests/code/sha_libsnark_null.code
View file

@ -1,6 +0,0 @@
import "LIBSNARK/sha256compression"
def main(field a) -> (field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, field):
o255, o254, o253, o252, o251, o250, o249, o248, o247, o246, o245, o244, o243, o242, o241, o240, o239, o238, o237, o236, o235, o234, o233, o232, o231, o230, o229, o228, o227, o226, o225, o224, o223, o222, o221, o220, o219, o218, o217, o216, o215, o214, o213, o212, o211, o210, o209, o208, o207, o206, o205, o204, o203, o202, o201, o200, o199, o198, o197, o196, o195, o194, o193, o192, o191, o190, o189, o188, o187, o186, o185, o184, o183, o182, o181, o180, o179, o178, o177, o176, o175, o174, o173, o172, o171, o170, o169, o168, o167, o166, o165, o164, o163, o162, o161, o160, o159, o158, o157, o156, o155, o154, o153, o152, o151, o150, o149, o148, o147, o146, o145, o144, o143, o142, o141, o140, o139, o138, o137, o136, o135, o134, o133, o132, o131, o130, o129, o128, o127, o126, o125, o124, o123, o122, o121, o120, o119, o118, o117, o116, o115, o114, o113, o112, o111, o110, o109, o108, o107, o106, o105, o104, o103, o102, o101, o100, o99, o98, o97, o96, o95, o94, o93, o92, o91, o90, o89, o88, o87, o86, o85, o84, o83, o82, o81, o80, o79, o78, o77, o76, o75, o74, o73, o72, o71, o70, o69, o68, o67, o66, o65, o64, o63, o62, o61, o60, o59, o58, o57, o56, o55, o54, o53, o52, o51, o50, o49, o48, o47, o46, o45, o44, o43, o42, o41, o40, o39, o38, o37, o36, o35, o34, o33, o32, o31, o30, o29, o28, o27, o26, o25, o24, o23, o22, o21, o20, o19, o18, o17, o16, o15, o14, o13, o12, o11, o10, o9, o8, o7, o6, o5, o4, o3, o2, o1, o0 = sha256compression(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0)
return o255, o254, o253, o252, o251, o250, o249, o248, o247, o246, o245, o244, o243, o242, o241, o240, o239, o238, o237, o236, o235, o234, o233, o232, o231, o230, o229, o228, o227, o226, o225, o224, o223, o222, o221, o220, o219, o218, o217, o216, o215, o214, o213, o212, o211, o210, o209, o208, o207, o206, o205, o204, o203, o202, o201, o200, o199, o198, o197, o196, o195, o194, o193, o192, o191, o190, o189, o188, o187, o186, o185, o184, o183, o182, o181, o180, o179, o178, o177, o176, o175, o174, o173, o172, o171, o170, o169, o168, o167, o166, o165, o164, o163, o162, o161, o160, o159, o158, o157, o156, o155, o154, o153, o152, o151, o150, o149, o148, o147, o146, o145, o144, o143, o142, o141, o140, o139, o138, o137, o136, o135, o134, o133, o132, o131, o130, o129, o128, o127, o126, o125, o124, o123, o122, o121, o120, o119, o118, o117, o116, o115, o114, o113, o112, o111, o110, o109, o108, o107, o106, o105, o104, o103, o102, o101, o100, o99, o98, o97, o96, o95, o94, o93, o92, o91, o90, o89, o88, o87, o86, o85, o84, o83, o82, o81, o80, o79, o78, o77, o76, o75, o74, o73, o72, o71, o70, o69, o68, o67, o66, o65, o64, o63, o62, o61, o60, o59, o58, o57, o56, o55, o54, o53, o52, o51, o50, o49, o48, o47, o46, o45, o44, o43, o42, o41, o40, o39, o38, o37, o36, o35, o34, o33, o32, o31, o30, o29, o28, o27, o26, o25, o24, o23, o22, o21, o20, o19, o18, o17, o16, o15, o14, o13, o12, o11, o10, o9, o8, o7, o6, o5, o4, o3, o2, o1, o0

256
zokrates_cli/tests/code/sha_libsnark_null.expected.witness
View file

@ -1,256 +0,0 @@
~out_0 1
~out_1 1
~out_2 0
~out_3 1
~out_4 1
~out_5 0
~out_6 1
~out_7 0
~out_8 0
~out_9 1
~out_10 0
~out_11 1
~out_12 0
~out_13 1
~out_14 1
~out_15 0
~out_16 1
~out_17 0
~out_18 0
~out_19 1
~out_20 1
~out_21 0
~out_22 0
~out_23 0
~out_24 1
~out_25 0
~out_26 1
~out_27 1
~out_28 1
~out_29 1
~out_30 1
~out_31 0
~out_32 0
~out_33 0
~out_34 0
~out_35 1
~out_36 0
~out_37 1
~out_38 1
~out_39 1
~out_40 1
~out_41 0
~out_42 1
~out_43 1
~out_44 1
~out_45 0
~out_46 0
~out_47 1
~out_48 1
~out_49 0
~out_50 1
~out_51 1
~out_52 0
~out_53 1
~out_54 0
~out_55 0
~out_56 0
~out_57 1
~out_58 1
~out_59 0
~out_60 1
~out_61 0
~out_62 0
~out_63 1
~out_64 0
~out_65 1
~out_66 1
~out_67 0
~out_68 0
~out_69 0
~out_70 1
~out_71 0
~out_72 0
~out_73 0
~out_74 1
~out_75 1
~out_76 0
~out_77 0
~out_78 1
~out_79 1
~out_80 0
~out_81 1
~out_82 0
~out_83 1
~out_84 0
~out_85 1
~out_86 1
~out_87 1
~out_88 1
~out_89 0
~out_90 0
~out_91 1
~out_92 1
~out_93 0
~out_94 0
~out_95 1
~out_96 0
~out_97 1
~out_98 1
~out_99 1
~out_100 0
~out_101 1
~out_102 1
~out_103 1
~out_104 1
~out_105 0
~out_106 0
~out_107 1
~out_108 1
~out_109 1
~out_110 1
~out_111 1
~out_112 1
~out_113 0
~out_114 1
~out_115 1
~out_116 1
~out_117 1
~out_118 1
~out_119 0
~out_120 1
~out_121 1
~out_122 0
~out_123 0
~out_124 1
~out_125 0
~out_126 1
~out_127 0
~out_128 1
~out_129 0
~out_130 0
~out_131 0
~out_132 1
~out_133 1
~out_134 0
~out_135 0
~out_136 1
~out_137 1
~out_138 1
~out_139 0
~out_140 0
~out_141 1
~out_142 0
~out_143 1
~out_144 1
~out_145 1
~out_146 0
~out_147 1
~out_148 0
~out_149 1
~out_150 0
~out_151 0
~out_152 1
~out_153 0
~out_154 0
~out_155 1
~out_156 0
~out_157 0
~out_158 0
~out_159 1
~out_160 1
~out_161 1
~out_162 0
~out_163 0
~out_164 0
~out_165 0
~out_166 0
~out_167 0
~out_168 1
~out_169 1
~out_170 0
~out_171 1
~out_172 0
~out_173 0
~out_174 1
~out_175 0
~out_176 0
~out_177 1
~out_178 1
~out_179 0
~out_180 0
~out_181 0
~out_182 1
~out_183 0
~out_184 0
~out_185 1
~out_186 0
~out_187 0
~out_188 0
~out_189 0
~out_190 1
~out_191 1
~out_192 1
~out_193 0
~out_194 1
~out_195 1
~out_196 1
~out_197 0
~out_198 1
~out_199 0
~out_200 1
~out_201 1
~out_202 1
~out_203 1
~out_204 1
~out_205 1
~out_206 1
~out_207 0
~out_208 1
~out_209 1
~out_210 1
~out_211 1
~out_212 1
~out_213 0
~out_214 0
~out_215 1
~out_216 1
~out_217 1
~out_218 1
~out_219 0
~out_220 1
~out_221 0
~out_222 1
~out_223 0
~out_224 0
~out_225 0
~out_226 0
~out_227 1
~out_228 1
~out_229 0
~out_230 0
~out_231 0
~out_232 0
~out_233 0
~out_234 1
~out_235 1
~out_236 0
~out_237 1
~out_238 1
~out_239 1
~out_240 1
~out_241 0
~out_242 1
~out_243 0
~out_244 1
~out_245 0
~out_246 0
~out_247 1
~out_248 1
~out_249 1
~out_250 0
~out_251 1
~out_252 1
~out_253 0
~out_254 0
~out_255 0

1
zokrates_cli/tests/code/sha_libsnark_packed.arguments.json
View file

@ -1 +0,0 @@
[1, 2, 3, 4]

28
zokrates_cli/tests/code/sha_libsnark_packed.code
View file

@ -1,28 +0,0 @@
// sha256 called with two 254 bits inputs, padded to 256 bits with zeros for most significant bits:
// [0, 0, a_0, ..., a_254, 0, 0, b_0, ..., b_254]
// output is truncated of the two most significant bits, and packed in a field element
// output_packed = 0 + 0 + output_2 * 2**253 + ... + output_256 * 2**0
// the behavior can be reproduced in solidity with
// pragma solidity ^0.4.24;
// contract SHA256Test {
// event Success(
// bytes32 indexed _id
// );
//
// function calc_sha() public returns (bytes32) {
// bytes32 a = 0x5;
// bytes32 b = 0x0;
// bytes32 result = sha256(b,a);
// // set two most significant bits to zero
// bytes32 r = bytes32(uint256(result) & 0x3fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff);
// emit Success(r);
// return r;
// }
// }
import "LIBSNARK/sha256packed"
def main(field a, field b, field c, field d) -> (field, field):
e, f = sha256packed(a, b, c, d)
return e, f

2
zokrates_cli/tests/code/sha_libsnark_packed.expected.witness
View file

@ -1,2 +0,0 @@
~out_0 6441948221896607572742608488120559578
~out_1 146139290966201238425928859098213699460

0
zokrates_cli/tests/code/sha_ethereum_libsnark.arguments.json → zokrates_cli/tests/code/sha_round.arguments.json
View file

13
zokrates_cli/tests/code/sha_round.code Normal file
View file

File diff suppressed because one or more lines are too long

510
zokrates_cli/tests/code/sha_libsnark.expected.witness → zokrates_cli/tests/code/sha_round.expected.witness
View file

@ -1,256 +1,256 @@
~out_0 1
~out_1 1
~out_2 1
~out_3 1
~out_4 1
~out_5 1
~out_6 0
~out_7 0
~out_8 1
~out_9 0
~out_10 0
~out_11 1
~out_12 1
~out_13 0
~out_14 0
~out_15 1
~out_16 1
~out_17 0
~out_18 1
~out_19 0
~out_20 0
~out_21 0
~out_22 1
~out_23 0
~out_24 1
~out_25 1
~out_26 0
~out_27 1
~out_28 1
~out_29 1
~out_30 1
~out_31 1
~out_32 1
~out_33 0
~out_34 0
~out_35 0
~out_36 1
~out_37 0
~out_38 0
~out_39 0
~out_40 1
~out_41 1
~out_42 1
~out_43 1
~out_44 0
~out_45 1
~out_46 0
~out_47 0
~out_48 0
~out_49 0
~out_50 1
~out_51 0
~out_52 1
~out_53 0
~out_54 1
~out_55 0
~out_56 0
~out_57 1
~out_58 1
~out_59 1
~out_60 1
~out_61 0
~out_62 1
~out_63 0
~out_64 0
~out_65 1
~out_66 1
~out_67 1
~out_68 1
~out_69 0
~out_70 1
~out_71 1
~out_72 1
~out_73 0
~out_74 1
~out_75 1
~out_76 1
~out_77 0
~out_78 0
~out_79 1
~out_80 1
~out_81 1
~out_82 0
~out_83 1
~out_84 0
~out_85 0
~out_86 0
~out_87 1
~out_88 1
~out_89 0
~out_90 0
~out_91 0
~out_92 0
~out_93 0
~out_94 0
~out_95 0
~out_96 0
~out_97 0
~out_98 1
~out_99 1
~out_100 0
~out_101 0
~out_102 1
~out_103 1
~out_104 1
~out_105 1
~out_106 0
~out_107 0
~out_108 1
~out_109 1
~out_110 0
~out_111 1
~out_112 1
~out_113 1
~out_114 0
~out_115 0
~out_116 0
~out_117 1
~out_118 1
~out_119 0
~out_120 1
~out_121 0
~out_122 1
~out_123 0
~out_124 0
~out_125 0
~out_126 1
~out_127 0
~out_128 0
~out_129 0
~out_130 0
~out_131 0
~out_132 0
~out_133 0
~out_134 1
~out_135 0
~out_136 0
~out_137 1
~out_138 0
~out_139 1
~out_140 0
~out_141 1
~out_142 1
~out_143 0
~out_144 0
~out_145 1
~out_146 1
~out_147 1
~out_148 0
~out_149 1
~out_150 0
~out_151 1
~out_152 0
~out_153 1
~out_154 0
~out_155 1
~out_156 1
~out_157 1
~out_158 1
~out_159 1
~out_160 1
~out_161 0
~out_162 0
~out_163 1
~out_164 1
~out_165 1
~out_166 0
~out_167 1
~out_168 0
~out_169 1
~out_170 0
~out_171 1
~out_172 1
~out_173 0
~out_174 1
~out_175 1
~out_176 1
~out_177 0
~out_178 0
~out_179 1
~out_180 1
~out_181 0
~out_182 1
~out_183 0
~out_184 0
~out_185 1
~out_186 0
~out_187 1
~out_188 0
~out_189 0
~out_190 0
~out_191 0
~out_192 0
~out_193 1
~out_194 0
~out_195 0
~out_196 0
~out_197 1
~out_198 0
~out_199 0
~out_200 1
~out_201 0
~out_202 1
~out_203 0
~out_204 1
~out_205 0
~out_206 0
~out_207 1
~out_208 1
~out_209 1
~out_210 0
~out_211 0
~out_212 1
~out_213 1
~out_214 0
~out_215 0
~out_216 0
~out_217 0
~out_218 1
~out_219 1
~out_220 0
~out_221 0
~out_222 0
~out_223 1
~out_224 0
~out_225 1
~out_226 0
~out_227 1
~out_228 1
~out_229 0
~out_230 1
~out_231 0
~out_232 1
~out_233 0
~out_234 1
~out_235 1
~out_236 1
~out_237 1
~out_238 1
~out_239 0
~out_240 1
~out_241 0
~out_242 0
~out_243 0
~out_244 0
~out_245 1
~out_246 0
~out_247 0
~out_248 1
~out_249 0
~out_250 1
~out_251 0
~out_252 0
~out_255 1
~out_254 0
~out_253 1
~out_254 1
~out_255 1
~out_252 1
~out_251 0
~out_250 1
~out_249 0
~out_248 0
~out_247 1
~out_246 0
~out_245 1
~out_244 1
~out_243 1
~out_242 1
~out_241 0
~out_240 0
~out_239 0
~out_238 0
~out_237 1
~out_236 1
~out_235 0
~out_234 0
~out_233 1
~out_232 1
~out_231 0
~out_230 1
~out_229 0
~out_228 1
~out_227 0
~out_226 1
~out_225 1
~out_224 1
~out_223 1
~out_222 1
~out_221 0
~out_220 1
~out_219 1
~out_218 1
~out_217 1
~out_216 0
~out_215 0
~out_214 0
~out_213 0
~out_212 0
~out_211 0
~out_210 1
~out_209 0
~out_208 1
~out_207 1
~out_206 1
~out_205 0
~out_204 0
~out_203 1
~out_202 0
~out_201 0
~out_200 0
~out_199 1
~out_198 1
~out_197 1
~out_196 1
~out_195 0
~out_194 1
~out_193 1
~out_192 1
~out_191 1
~out_190 0
~out_189 1
~out_188 0
~out_187 1
~out_186 1
~out_185 0
~out_184 0
~out_183 1
~out_182 1
~out_181 1
~out_180 1
~out_179 0
~out_178 0
~out_177 0
~out_176 1
~out_175 1
~out_174 1
~out_173 0
~out_172 0
~out_171 1
~out_170 1
~out_169 1
~out_168 0
~out_167 0
~out_166 1
~out_165 1
~out_164 1
~out_163 0
~out_162 0
~out_161 1
~out_160 0
~out_159 1
~out_158 0
~out_157 0
~out_156 0
~out_155 0
~out_154 1
~out_153 1
~out_152 0
~out_151 0
~out_150 1
~out_149 0
~out_148 0
~out_147 0
~out_146 1
~out_145 1
~out_144 0
~out_143 1
~out_142 0
~out_141 1
~out_140 0
~out_139 1
~out_138 0
~out_137 1
~out_136 0
~out_135 0
~out_134 0
~out_133 0
~out_132 0
~out_131 1
~out_130 0
~out_129 0
~out_128 0
~out_127 0
~out_126 1
~out_125 1
~out_124 0
~out_123 1
~out_122 1
~out_121 0
~out_120 1
~out_119 0
~out_118 0
~out_117 1
~out_116 0
~out_115 1
~out_114 0
~out_113 0
~out_112 0
~out_111 0
~out_110 0
~out_109 1
~out_108 0
~out_107 1
~out_106 0
~out_105 0
~out_104 0
~out_103 0
~out_102 0
~out_101 1
~out_100 1
~out_99 0
~out_98 1
~out_97 0
~out_96 0
~out_95 0
~out_94 1
~out_93 0
~out_92 0
~out_91 1
~out_90 1
~out_89 0
~out_88 0
~out_87 1
~out_86 1
~out_85 0
~out_84 0
~out_83 0
~out_82 1
~out_81 1
~out_80 1
~out_79 0
~out_78 1
~out_77 1
~out_76 1
~out_75 0
~out_74 0
~out_73 0
~out_72 1
~out_71 0
~out_70 0
~out_69 1
~out_68 1
~out_67 1
~out_66 1
~out_65 0
~out_64 0
~out_63 0
~out_62 0
~out_61 1
~out_60 0
~out_59 1
~out_58 0
~out_57 0
~out_56 1
~out_55 0
~out_54 0
~out_53 0
~out_52 1
~out_51 1
~out_50 1
~out_49 0
~out_48 1
~out_47 0
~out_46 1
~out_45 1
~out_44 1
~out_43 1
~out_42 0
~out_41 0
~out_40 0
~out_39 0
~out_38 1
~out_37 0
~out_36 0
~out_35 0
~out_34 0
~out_33 1
~out_32 1
~out_31 0
~out_30 0
~out_29 0
~out_28 1
~out_27 1
~out_26 0
~out_25 0
~out_24 1
~out_23 1
~out_22 1
~out_21 0
~out_20 1
~out_19 0
~out_18 0
~out_17 0
~out_16 1
~out_15 1
~out_14 1
~out_13 0
~out_12 1
~out_11 1
~out_10 1
~out_9 0
~out_8 0
~out_7 1
~out_6 1
~out_5 1
~out_4 1
~out_3 1
~out_2 0
~out_1 0
~out_0 0

38
zokrates_core/src/imports.rs
View file

File diff suppressed because one or more lines are too long