schaeff
|
fe526f0741
|
make tests pass
|
2021-07-06 17:24:03 +02:00 |
|
schaeff
|
3658ce4d01
|
make tests pass
|
2021-07-06 17:07:19 +02:00 |
|
schaeff
|
9a2ab6969d
|
fix libsnark
|
2021-07-06 16:26:54 +02:00 |
|
schaeff
|
c97b429b1e
|
fix libsnark
|
2021-07-06 16:20:16 +02:00 |
|
schaeff
|
22639b26c6
|
fix visitor
|
2021-07-06 16:15:34 +02:00 |
|
schaeff
|
dc05775ad2
|
implement missing error
|
2021-07-06 16:05:27 +02:00 |
|
schaeff
|
12d42559a2
|
fix libsnark
|
2021-07-06 15:47:08 +02:00 |
|
schaeff
|
e03bddb6c8
|
add changelog
|
2021-07-06 15:45:33 +02:00 |
|
schaeff
|
a492075be5
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into annotate-ir-conditions
|
2021-07-06 15:29:32 +02:00 |
|
schaeff
|
ccb70a8e96
|
fix tests
|
2021-07-06 15:27:29 +02:00 |
|
Thibaut Schaeffer
|
e6d0752328
|
Merge pull request #919 from leonardoalt/smt_verbose
Output IR in smtlib2
|
2021-07-06 14:55:42 +02:00 |
|
schaeff
|
5612067b7d
|
use RuntimeError enum
|
2021-07-05 21:00:13 +02:00 |
|
schaeff
|
551940d411
|
remove serialization, typo
|
2021-07-05 19:33:18 +02:00 |
|
schaeff
|
078390ad11
|
fail gracefully on undersized circuit
|
2021-07-05 18:45:23 +02:00 |
|
dark64
|
ce3a137432
|
rename verify embed, update changelog
|
2021-07-05 15:58:53 +02:00 |
|
dark64
|
b4ebb1f7c1
|
cleanup
|
2021-07-05 12:18:44 +02:00 |
|
Thibaut Schaeffer
|
f39d1c4067
|
Merge pull request #929 from Zokrates/fix-ci-features
Fix CI features
|
2021-07-05 10:43:52 +02:00 |
|
schaeff
|
f50c3af402
|
add docs
|
2021-07-02 18:36:36 +02:00 |
|
dark64
|
df4add3dd3
|
refactor ffi buffer, run libsnark tests consecutively
|
2021-07-02 14:51:16 +02:00 |
|
schaeff
|
62e933d001
|
fix zjs
|
2021-07-01 17:15:32 +02:00 |
|
schaeff
|
68930cad92
|
add changelog
|
2021-07-01 13:35:47 +02:00 |
|
schaeff
|
1bba0b8276
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into marlin
|
2021-07-01 13:35:06 +02:00 |
|
schaeff
|
07c7b431d6
|
fix test
|
2021-07-01 13:33:50 +02:00 |
|
schaeff
|
70bd390388
|
fix naming on libsnark setup
|
2021-07-01 13:17:35 +02:00 |
|
Thibaut Schaeffer
|
7e0de9b54c
|
Merge pull request #930 from Zokrates/zir-select
Introduce Select in zir to reduce cost of array access
|
2021-07-01 13:13:27 +02:00 |
|
Leo Alt
|
24c9f2d5ff
|
Changelog entry
|
2021-06-30 21:58:20 +02:00 |
|
Leo Alt
|
82fad64583
|
Tests
|
2021-06-30 21:58:20 +02:00 |
|
Leo Alt
|
ba22c64d0e
|
Add CLI option to generate smtlib2 files.
|
2021-06-30 21:58:20 +02:00 |
|
Leo Alt
|
ce807a478b
|
Add SMTLib2 trait that outputs the IR as SMT formulas.
|
2021-06-30 21:58:20 +02:00 |
|
Leo Alt
|
9a513554e7
|
Add IR visitor that traverses the AST.
|
2021-06-30 21:58:20 +02:00 |
|
schaeff
|
9fc66516c4
|
add test
|
2021-06-30 13:18:38 +02:00 |
|
schaeff
|
dce8a2979e
|
add missing case for booleans
|
2021-06-30 12:47:38 +02:00 |
|
schaeff
|
1a3fa5630c
|
remove examples
|
2021-06-29 22:37:15 +02:00 |
|
schaeff
|
f00966a433
|
remove examples, simplify type flattening for known indices
|
2021-06-29 22:32:52 +02:00 |
|
schaeff
|
7ab7fecf4f
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into zir-select
|
2021-06-29 16:19:16 +02:00 |
|
schaeff
|
ef8f76b433
|
fix test
|
2021-06-29 15:37:58 +02:00 |
|
schaeff
|
1630b5af4d
|
fix bash
|
2021-06-29 12:16:36 +02:00 |
|
schaeff
|
ec294b7fc5
|
fix ci features, target libsnark tests specifically
|
2021-06-29 12:07:26 +02:00 |
|
schaeff
|
872ea9c5ce
|
fix cli
|
2021-06-28 20:32:28 +02:00 |
|
schaeff
|
d01796ae7f
|
impl nonuniversal for pghr
|
2021-06-28 20:27:31 +02:00 |
|
schaeff
|
48e5d93028
|
another try
|
2021-06-28 20:20:43 +02:00 |
|
dark64
|
a3cbd70ae0
|
fix tests
|
2021-06-28 20:17:54 +02:00 |
|
schaeff
|
98f3937aa8
|
fix import
|
2021-06-28 20:15:45 +02:00 |
|
dark64
|
82c98a45e0
|
remove gadget term
|
2021-06-28 20:13:26 +02:00 |
|
schaeff
|
f300d2f7fd
|
fail gracefully on undersized setup, build with libsnark
|
2021-06-28 20:02:15 +02:00 |
|
Thibaut Schaeffer
|
e3d3d91eab
|
Merge pull request #928 from Zokrates/dark64-patch-2
Fix syntax error in ace mode
|
2021-06-28 18:36:33 +02:00 |
|
dark64
|
e73f2448f8
|
remove comments, add assertions
|
2021-06-28 14:25:12 +02:00 |
|
dark64
|
d0983b62a7
|
changelog
|
2021-06-28 13:41:06 +02:00 |
|
dark64
|
f57c3a4869
|
working verifier
|
2021-06-28 13:38:45 +02:00 |
|
Darko Macesic
|
17c28a4b29
|
Update package.json
|
2021-06-28 11:24:30 +02:00 |
|