Thibaut Schaeffer
|
d17d3121c9
|
Merge pull request #982 from Zokrates/type-alias
Implement type aliasing
|
2021-11-08 11:08:37 +01:00 |
|
dark64
|
2adea4b3de
|
minor cleanup
|
2021-11-04 19:38:31 +01:00 |
|
dark64
|
78577af0d7
|
add link to league of entropy
|
2021-11-04 14:56:32 +01:00 |
|
dark64
|
2b1976e539
|
typo
|
2021-11-04 14:17:23 +01:00 |
|
dark64
|
362385a814
|
fix command messages, force display order
|
2021-11-04 12:42:32 +01:00 |
|
dark64
|
e8833f5b0f
|
update book
|
2021-11-04 12:28:59 +01:00 |
|
dark64
|
44b4fdde5a
|
fix tests
|
2021-11-03 19:09:36 +01:00 |
|
schaeff
|
4cd0017f17
|
remove commented out code
|
2021-11-03 18:25:35 +01:00 |
|
schaeff
|
fce7fe8a97
|
adjust message
|
2021-11-03 17:08:18 +01:00 |
|
dark64
|
ac68eeff1e
|
add changelog
|
2021-11-03 15:50:09 +01:00 |
|
dark64
|
56ce03fe45
|
update radix file
|
2021-11-03 15:47:55 +01:00 |
|
dark64
|
38ff7f4f03
|
update docs
|
2021-11-03 15:44:51 +01:00 |
|
schaeff
|
0ff1bdb50f
|
fix from_flat
|
2021-11-03 14:41:15 +01:00 |
|
schaeff
|
81bd3671c3
|
fix libsnark, fix rng tutorial
|
2021-11-03 13:49:09 +01:00 |
|
schaeff
|
c79612df46
|
changelog
|
2021-11-03 12:04:29 +01:00 |
|
schaeff
|
0b1b2dd762
|
clippy
|
2021-11-03 11:58:53 +01:00 |
|
schaeff
|
3c12feb74e
|
fix clippy, implement embeds, fix tutorial
|
2021-11-03 11:52:24 +01:00 |
|
schaeff
|
d045121a7c
|
remove unconstrained detection
|
2021-11-02 17:39:36 +01:00 |
|
dark64
|
a4811c98e0
|
refactor mpc commands, add mpc tutorial to the book
|
2021-11-02 15:29:59 +01:00 |
|
schaeff
|
29ecd96b1b
|
fix js
|
2021-10-29 14:58:21 +02:00 |
|
schaeff
|
a58f77ddfc
|
fix libsnark
|
2021-10-29 14:36:43 +02:00 |
|
schaeff
|
b146b5b2d1
|
fix libsnark
|
2021-10-29 14:28:55 +02:00 |
|
schaeff
|
3b41173909
|
fix libsnark
|
2021-10-29 14:23:38 +02:00 |
|
schaeff
|
ef8c9a4958
|
clippy wip
|
2021-10-29 14:07:42 +02:00 |
|
schaeff
|
215dad8fcd
|
fmt
|
2021-10-29 13:54:33 +02:00 |
|
schaeff
|
30a04734b5
|
use iterators where possible, switch to cbor
|
2021-10-29 13:51:43 +02:00 |
|
dark64
|
06dc9348b3
|
add mpc verify command
|
2021-10-27 22:46:58 +02:00 |
|
dark64
|
b69a7d29a5
|
first working mpc prototype
|
2021-10-27 19:18:20 +02:00 |
|
dark64
|
5dd4644989
|
wip
|
2021-10-26 14:58:43 +02:00 |
|
schaeff
|
dad17b79e0
|
proof of concept of iterator treatment starting at flattening
|
2021-10-25 16:08:45 +02:00 |
|
Pete Hunt
|
61bbc44abc
|
Update lockfiles
|
2021-10-22 00:23:47 -07:00 |
|
Thibaut Schaeffer
|
79798764ea
|
Create 1037-schaeff
|
2021-10-18 17:54:34 +02:00 |
|
schaeff
|
5ff16b25f8
|
change gettingstarted example to assert
|
2021-10-18 16:54:38 +02:00 |
|
schaeff
|
003d4fc6f0
|
tweak operator table
|
2021-10-18 13:02:59 +02:00 |
|
Thibaut Schaeffer
|
d924368038
|
Merge pull request #1010 from Zokrates/ternary
Ternary operator
|
2021-10-15 16:11:06 +03:00 |
|
schaeff
|
0d0d9e04a3
|
merge dev
|
2021-10-15 13:54:41 +02:00 |
|
schaeff
|
aba1309ea4
|
fix smt test
|
2021-10-15 13:16:27 +02:00 |
|
schaeff
|
b73de66e87
|
adjust book
|
2021-10-15 13:20:31 +03:00 |
|
schaeff
|
2c7d806064
|
merge dev
|
2021-10-15 13:07:07 +03:00 |
|
Thibaut Schaeffer
|
f780b49aa2
|
Merge pull request #1032 from Zokrates/fail-early-on-complex-value-inequality
Fail at compile time on unsatisfied equality of complex values
|
2021-10-15 13:01:52 +03:00 |
|
schaeff
|
f98585b784
|
revert to original impl, add symetric check, add logs
|
2021-10-15 13:00:48 +03:00 |
|
dark64
|
740b7ee935
|
merge dev, add tests
|
2021-10-14 21:44:21 +02:00 |
|
Thibaut Schaeffer
|
f7b6f2de56
|
Merge pull request #1012 from Zokrates/assertion-messages
Add optional message to assert statement
|
2021-10-14 20:31:03 +03:00 |
|
dark64
|
c3288b93c5
|
fix tests
|
2021-10-13 19:03:06 +02:00 |
|
schaeff
|
1e04d56a7b
|
fix smt test
|
2021-10-13 19:48:52 +03:00 |
|
dark64
|
035a193f58
|
apply suggestions
|
2021-10-13 18:48:18 +02:00 |
|
schaeff
|
feb7fb7689
|
changelog
|
2021-10-13 19:38:06 +03:00 |
|
schaeff
|
99424faa27
|
factor code, implement for uint
|
2021-10-13 19:35:55 +03:00 |
|
schaeff
|
1ae38df1b3
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into cheaper-dynamic-comparison
|
2021-10-13 19:11:06 +03:00 |
|
Thibaut Schaeffer
|
350d0903fe
|
Merge pull request #1034 from Zokrates/add-marlin-to-backend-table
Add marlin to backend table
|
2021-10-13 16:25:08 +03:00 |
|