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
166 commits 186 branches 59 tags 32 MiB
Commit graph

55 commits

Author SHA1 Message Date
Hanyun Xu
0fbda02381
Update sudokuchecker.code 
In the `check row correctness` part, the 3rd row should be c11, c12...
I ran the example with a 4*4 case but it failed. This change fixed it.
 2018-02-01 10:53:47 -06:00
Jacob Eberhardt
07342fdefb Updated Examples 2017-11-08 17:10:19 +01:00
Jacob Eberhardt
c213330ed0 Function flattening rewritten 2017-10-29 00:28:14 +02:00
Jacob Eberhardt
607be16d00 Sudoku Example bugfix 2017-10-28 17:36:24 +02:00
Steffen Haertlein
4162be91e3 improved two of the examples 2017-10-27 14:27:41 +02:00
Jacob Eberhardt
c70317b3ed Sudoku Example inputs aligned 2017-10-27 01:27:21 +02:00
Jacob Eberhardt
8df807c049 Sudoku Example Updated 2017-10-26 18:08:55 +02:00
Jacob Eberhardt
4a4e580df2 sudoku example draft, not overflow-save yet. 2017-10-26 14:14:04 +02:00
Jacob Eberhardt
72826f05ca Dockerfile fixed. Example fixed. 2017-10-23 16:02:46 +02:00
Jacob Eberhardt
b6bca81863 example added 2017-10-23 11:45:25 +02:00
Jacob Eberhardt
c2b8372b6e Template und Sample update 2017-10-11 17:41:44 +02:00
Jacob Eberhardt
5d34f6c92f Added shortcut cli command to quickly perform setup, witness and proof generation. 2017-10-11 14:09:41 +02:00
Jacob Eberhardt
3c0db60dfa Examples refactored. 2017-10-09 21:48:12 +02:00
Jacob Eberhardt
70c682d7fc Functions without arguments now supported. 2017-08-25 16:59:36 +02:00
Jacob Eberhardt
7775c496f9 Support for inline comments added. 2017-08-25 14:06:27 +02:00
Jacob Eberhardt
5172569c46 Expressions in Function Calls refactored. 2017-08-24 17:54:23 +02:00
Jacob Eberhardt
9fdfa69701 Intermediate State. 2017-08-24 17:09:00 +02:00
Jacob Eberhardt
91681df2f0 Function flattening bug fixed. 2017-08-23 13:07:30 +02:00
Jacob Eberhardt
93936ae5d4 Intermediary Backup. Not working yet. 2017-08-17 15:40:38 +02:00
Dennis Kuhnert
174ab4b64f Update example to work with libsnark 2017-07-06 16:45:16 +02:00
Dennis Kuhnert
fb8442ff6a Fix multiple bugs in function flattening; add examples 2017-07-06 13:28:11 +02:00
Jacob Eberhardt
f75f05e2d2 Reworked the zkSNARK generation and exports to solidity (proof + input + verification key) 2017-06-29 19:41:02 +02:00
Jacob Eberhardt
f7b197791f Code samples adapted so they have a main function 
Code samples now reflect the changes made to the absy by adding functions.
 2017-06-13 17:39:20 +02:00
Jacob Eberhardt
2720026f77 Added functions example 2017-06-13 12:04:52 +02:00
Jacob Eberhardt
55a915912d Removed now invalid example 2017-06-13 11:58:00 +02:00
Jacob Eberhardt
f31cc4a7ba Function Expression can now be resolved. 2017-06-13 11:57:19 +02:00
Jacob Eberhardt
fc7c4555c9 Functions code sample added and Grammar adapted. 2017-04-06 15:30:41 +02:00
Dennis Kuhnert
a1e1223920 Add `for' statement to parser 2017-03-23 22:35:43 +01:00
Dennis Kuhnert
cc82bf0224 Fix bug in "<" flattening; Add test 2017-03-01 00:15:30 +01:00
Dennis Kuhnert
e5cffc9763 Optimize flattening of equation == 2017-02-28 21:47:44 +01:00
Dennis Kuhnert
91515ed726 Add Compiler statements for witness calculation; Add user input for unknown variables 
Statement::Compilter starting with `#`
 2017-02-22 11:06:28 +01:00
Dennis Kuhnert
72e3c422af Add == (if) implementation in flattening and r1cs 2017-02-22 08:59:12 +01:00
Dennis Kuhnert
6899896170 Bugfix in r1cs swap_sub, securing order in Add; Add test 2017-02-21 17:12:51 +01:00
Dennis Kuhnert
95c5315c62 Bugfix in r1cs swap_sub, no securing order; Add test 2017-02-21 15:58:15 +01:00
Dennis Kuhnert
29dab82612 Add tests for all examples; Add r1cs swap_sub cases 2017-02-21 13:05:30 +01:00
Dennis Kuhnert
4f87c10719 Add r1cs tests and change of existing testcases; Add r1cs Div cases 
Usage of vector ordering and usage of assert_eq! for better FAIL output
 2017-02-21 10:56:52 +01:00
Dennis Kuhnert
bd455bed63 Allow empty lines in code 2017-02-21 09:31:05 +01:00
Dennis Kuhnert
b01020f9cb Implement division for field; Add cases to r1cs; Bugfix in flattening for Mult; Bugfix for absy is_flattened 2017-02-20 16:35:50 +01:00
Dennis Kuhnert
4cb6f351e1 Bugfix of witness calculation; Intermediate results of new division implementation 2017-02-20 00:38:55 +01:00
Dennis Kuhnert
2c65673d4a Add flattening of variable reassignment (#1) 2017-02-16 15:43:31 +01:00
Dennis Kuhnert
2378525d9c Add Flattener struct for saving variables in struct through all functions 2017-02-16 14:34:06 +01:00
Dennis Kuhnert
10c5f6c429 Add Condition statement to parser (#1) 2017-02-16 12:53:29 +01:00
Dennis Kuhnert
1b3760f4a6 Add <=, ==, >=, > to parser 2017-02-15 15:18:28 +01:00
Dennis Kuhnert
5b091638fd Add reworked function head parsing 
Add examples wavelets, empty
Remove Regex from parser
 2017-02-15 14:54:53 +01:00
Dennis Kuhnert
cb97093697 Add lines to example wrongsyntax.code 2017-02-07 11:39:23 +01:00
Dennis Kuhnert
6268f070a1 Add parser error when line not fully read or multiple return; Extend example wrongsyntax.code 2017-02-07 11:24:14 +01:00
Dennis Kuhnert
ee1fbad3f3 Add parser error and display for error 
Add wrong syntax example
 2017-02-07 10:41:02 +01:00
Dennis Kuhnert
e3727858ab Finish parser implementation for complete grammar (pow, ifelse, brackets) 
Add case to r1cs swap_sub
Add fmt::Debug implementation for absy
Rewrite exampe simple_ifelse.code for new IfElse syntax
Add example brackets.code
 2017-02-06 00:39:32 +01:00
Dennis Kuhnert
372d23729d Calculate bools while solve(); Add multiple cases while r1cs generation 
IfElse only generates flattened code
 2017-02-02 01:03:49 +01:00
Dennis Kuhnert
f31e109413 Add Sub to R1CS; Add Dockerfile 
Change CURVE to ALT_BN128
Remove 'Expression::' with import
 2017-02-01 17:24:44 +01:00