Guillaume Ballet
|
2113e1f588
|
Remove dependency on std::fs::File
|
2019-01-14 14:48:33 +01:00 |
|
Guillaume Ballet
|
ebdfd96bda
|
Replace last hex dump with the wasm builder
|
2019-01-14 14:48:33 +01:00 |
|
Guillaume Ballet
|
4931710b6c
|
fix unwinding issue in tests
|
2019-01-14 14:48:33 +01:00 |
|
Guillaume Ballet
|
a5a94bea89
|
Upgrade to wasmi 0.4.2
|
2019-01-14 14:46:21 +01:00 |
|
Guillaume Ballet
|
62ccc311d0
|
fix build
|
2019-01-14 14:43:55 +01:00 |
|
Guillaume Ballet
|
8df23cf1c0
|
rustfmt fix
|
2019-01-14 14:43:55 +01:00 |
|
Guillaume Ballet
|
a6ba865c40
|
fix unit tests and use the builder instead of hex strings
|
2019-01-14 14:43:55 +01:00 |
|
Guillaume Ballet
|
1320c28dad
|
Move module to struct in order not to recreate it every time
This is an intermediate step, the module might be moved to the
interpreter and tests are broken.
|
2019-01-14 14:39:36 +01:00 |
|
Guillaume Ballet
|
163f2b42f4
|
Implement support for WASM helpers
|
2019-01-14 14:39:36 +01:00 |
|
schaeff
|
8e1821dca8
|
merge, solve conflicts, make tests pass
|
2019-01-14 00:03:28 +01:00 |
|
schaeff
|
29403cfb50
|
bump patch
|
2019-01-06 22:41:43 +01:00 |
|
schaeff
|
bc107db32d
|
change array to range
|
2019-01-06 22:15:31 +01:00 |
|
schaeff
|
91f290933f
|
fix test
|
2019-01-06 21:43:02 +01:00 |
|
schaeff
|
9718a96c75
|
add input binding checks, make R1CS format more explicit
|
2019-01-06 21:08:16 +01:00 |
|
Thibaut Schaeffer
|
44caf701b0
|
Merge pull request #210 from Zokrates/add-core-e2e-tests
[Preview] Add core e2e tests
|
2019-01-04 14:36:14 +01:00 |
|
schaeff
|
3cfbd78529
|
simplify, use strings for constraint errors, compare errors
|
2019-01-02 13:19:08 +01:00 |
|
schaeff
|
c570e3a06e
|
use absolute paths in macro definition to make it self contained
|
2019-01-01 23:10:58 +01:00 |
|
schaeff
|
3169d6da0c
|
make computaion test pass
|
2018-12-31 09:32:54 +01:00 |
|
schaeff
|
1f71554584
|
hide witness operations away from cli
|
2018-12-31 08:10:33 +01:00 |
|
schaeff
|
baec52e239
|
use macro to generate tests
|
2018-12-30 21:27:37 +01:00 |
|
Guillaume Ballet
|
5a9f5c8060
|
Make field its own crate
|
2018-12-27 11:02:48 +01:00 |
|
schaeff
|
d7d53eca2b
|
improve interpreter api, add e2e tests to zokrates_core
|
2018-12-21 17:27:44 +01:00 |
|
schaeff
|
82a18e99f5
|
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into greater_than
|
2018-12-17 18:19:14 +01:00 |
|
schaeff
|
302d75a501
|
remove subtraction
|
2018-12-17 18:19:05 +01:00 |
|
schaeff
|
9160aa4164
|
fix conflicts
|
2018-12-07 18:01:17 +01:00 |
|
schaeff
|
57fc5453dd
|
Merge branch 'master' of github.com:JacobEberhardt/ZoKrates into gm17
|
2018-12-07 17:54:08 +01:00 |
|
schaeff
|
c20fd5cd6c
|
rename cryptic variables
|
2018-12-04 23:25:14 +00:00 |
|
schaeff
|
6613ae46b8
|
fix format test
|
2018-12-04 23:14:17 +00:00 |
|
schaeff
|
4ccb0c1ba4
|
remove print
|
2018-12-05 00:10:19 +01:00 |
|
schaeff
|
dfea1fe578
|
handle main specific behaviour in prog, introduce quadcomb for return statements
|
2018-12-05 00:08:36 +01:00 |
|
schaeff
|
7a46f15e74
|
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into use-lincomb-ir
|
2018-12-04 19:41:45 +01:00 |
|
schaeff
|
e8bb5fe925
|
run upgraded fmt
|
2018-12-04 16:57:39 +01:00 |
|
schaeff
|
024d81bf99
|
adjust div test
|
2018-12-03 12:17:09 +01:00 |
|
schaeff
|
7660216672
|
fmt
|
2018-12-03 12:01:28 +01:00 |
|
schaeff
|
64e3c5268b
|
add non-zero check for division
|
2018-12-03 11:59:36 +01:00 |
|
schaeff
|
648a78601a
|
bump patch
|
2018-11-30 17:10:30 +01:00 |
|
JacobEberhardt
|
45657acb9b
|
Merge pull request #173 from Schaeff/fix-terms-precedence
Fix terms precedence
|
2018-11-30 16:31:38 +01:00 |
|
schaeff
|
b4b2d43080
|
fix fmt, fix argument count in compute-witness
|
2018-11-30 12:05:30 +01:00 |
|
schaeff
|
5013ddb3ea
|
output ir in compilation, fix tests
|
2018-11-30 11:53:13 +01:00 |
|
schaeff
|
369e2ef776
|
implement ir interpreter, use ir for serialization
|
2018-11-30 11:31:48 +01:00 |
|
Tjaden Hess
|
acad5d8db8
|
Fix linting issues
|
2018-11-29 13:21:41 -05:00 |
|
Tjaden Hess
|
e98139e59c
|
Use temporary variable for unary negation.
TODO: We should not use a temp variable here, but we need #180 to do it properly.
|
2018-11-29 13:19:42 -05:00 |
|
schaeff
|
e077083985
|
remove print
|
2018-11-29 12:04:35 +01:00 |
|
schaeff
|
f7f0c51adf
|
keep same API as before, add definition of outputs to ir, fix test
|
2018-11-29 11:48:52 +01:00 |
|
schaeff
|
813a2632a8
|
implement linear combination based IR, use it for setup phase
|
2018-11-29 00:03:39 +01:00 |
|
Tjaden Hess
|
f2821f99f5
|
Merge branch 'develop' into greater_than
|
2018-11-28 15:01:01 -05:00 |
|
schaeff
|
3778f22004
|
implement div rather than inverse
|
2018-11-27 13:54:57 +01:00 |
|
schaeff
|
96b7cca101
|
remove div from flatast, refactor Div flattening to use flat mult
|
2018-11-27 01:08:57 +01:00 |
|
schaeff
|
ab159321de
|
factor identifiers fcalls and selects, produce terms outside of parse_expr
|
2018-11-23 18:02:21 +01:00 |
|
schaeff
|
a2ff0ddaa1
|
remove unused tests
|
2018-11-23 01:05:40 +01:00 |
|