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 |
|