github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

remove compilation result

Browse source
This commit is contained in:
JacobEberhardt 2019-09-30 12:01:45 +02:00
parent ef24980d6b
commit aa5b306286
2 changed files with 0 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
out.code
View file

@ -1,19 +0,0 @@
def main(_0, _1, _2, _3) -> (2):
(21 * _0) * (1 * _1) == 1 * _4
(1 * _4) * (1 * _2) == 1 * _5
(1 * _5) * (1 * _3) == 1 * _6
(1 * _0) * (1 * _3) == 1 * _7
(1 * _2) * (1 * _1) == 1 * _8
# _11 = Rust::Div(1 * ~one, 1 * ~one + 1 * _6)
(1 * _11) * (1 * ~one + 1 * _6) == 1 * ~one
# _12 = Rust::Div(1 * _7 + 1 * _8, 1 * ~one + 1 * _6)
(1 * ~one + 1 * _6) * (1 * _12) == 1 * _7 + 1 * _8
(1 * _2) * (1 * _3) == 1 * _13
(42 * _0) * (1 * _1) == 1 * _14
# _17 = Rust::Div(1 * ~one, 1 * ~one + (-1) * _6)
(1 * _17) * (1 * ~one + (-1) * _6) == 1 * ~one
# _18 = Rust::Div(1 * _13 + (-1) * _14, 1 * ~one + (-1) * _6)
(1 * ~one + (-1) * _6) * (1 * _18) == 1 * _13 + (-1) * _14
(1 * ~one) * (1 * _12) == 1 * ~out_0
(1 * ~one) * (1 * _18) == 1 * ~out_1
return ~out_0, ~out_1

0
zokrates_book/src/reference/Testing.md → zokrates_book/src/reference/testing.md
View file