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

34 commits

Author SHA1 Message Date
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
Dennis Kuhnert
6bcf021124 Add new flattening for Add & Mult; Add new examples 2017-02-01 11:56:48 +01:00
Dennis Kuhnert
8ca116cd3e Add Expression is_linear & is_flattened; Add solve for IfElse and Condition 2017-02-01 01:34:33 +01:00
Dennis Kuhnert
009dd168bd Add ifelse parser, start flattening 2017-01-31 21:09:49 +01:00
Dennis Kuhnert
9d6991784b Add libsnark "is_satisfied" binding with [0, 0, .., 0] solution vector test. 2017-01-29 16:59:13 +01:00
Dennis Kuhnert
840ba4b57b First basic implemntation for code to r1cs 2017-01-27 23:45:24 +01:00