Darko Macesic
|
296921e558
|
Fix js format and clippy issues (#1339)
* js fmt
* clippy
|
2023-08-22 18:37:49 +02:00 |
|
Thibaut Schaeffer
|
f900437d36
|
Merge pull request #1322 from Zokrates/fix-nested-assembly
Fix propagation in case of nested assembly
|
2023-07-24 10:55:05 +02:00 |
|
dark64
|
9c0c7a9725
|
add changelog
|
2023-06-13 12:22:09 +02:00 |
|
Thibaut Schaeffer
|
737b75f000
|
Merge pull request #1326 from Zokrates/detect-div-by-zero
Detect division by zero in typed propagation
|
2023-06-13 10:52:10 +02:00 |
|
Thibaut Schaeffer
|
a4fc3fc645
|
Merge pull request #1318 from Zokrates/asm-complex-type-assignment
Allow composite field type in witness assignment
|
2023-06-13 10:51:35 +02:00 |
|
dark64
|
6b30372d9c
|
add changelog
|
2023-06-13 00:38:55 +02:00 |
|
dark64
|
791a9b66d5
|
detect division by zero in typed propagation
|
2023-06-13 00:36:57 +02:00 |
|
dark64
|
2cde470b57
|
remove extra space
|
2023-06-12 23:10:46 +02:00 |
|
dark64
|
b55ae6fdca
|
suggestions, update book
|
2023-06-12 23:09:53 +02:00 |
|
dark64
|
5c233ff3b4
|
fix the format of assembly blocks in zir
|
2023-06-12 22:06:57 +02:00 |
|
dark64
|
6ea437c83c
|
fix propagation in case of nested assembly
|
2023-05-31 23:28:19 +02:00 |
|
dark64
|
350430f66c
|
add more tests
|
2023-05-30 18:27:36 +02:00 |
|
dark64
|
f8f3c889bd
|
update changelog
|
2023-05-30 17:58:14 +02:00 |
|
dark64
|
948383d8da
|
check composite types, fix possible incorrect signature in zir function
|
2023-05-30 13:48:48 +02:00 |
|
Thibaut Schaeffer
|
cd15f020e0
|
Merge pull request #1315 from Zokrates/compile-time-short-circuit
Short circuit on constant branch conditions
|
2023-05-30 11:37:32 +02:00 |
|
Thibaut Schaeffer
|
43071841c6
|
Merge pull request #1317 from Zokrates/dark64-patch-3
Fix constant in mimc7
|
2023-05-30 08:05:24 +02:00 |
|
Curious Cat
|
32f0f43ae2
|
Fixed a small typo, the right bracket next to bitwidth was mistyped. (#1312)
* Fixed a small typo, the right bracket next to bitwidth was mistyped.
* Update types.md
Change the '[' to ')'.
|
2023-05-30 08:04:01 +02:00 |
|
dark64
|
4cc2f6254b
|
add missing alignment, changelog
|
2023-05-29 23:24:12 +02:00 |
|
Thibaut Schaeffer
|
4529fa44af
|
Merge pull request #1313 from Zokrates/fix-constant-embed-reduction
Propagate embed call in reducer
|
2023-05-25 16:51:23 +02:00 |
|
dark64
|
208215750e
|
allow complex type assignee in witness assignment
|
2023-05-24 18:50:43 +02:00 |
|
schaeff
|
066d3533d8
|
propagate embed call in reducer
|
2023-05-23 15:24:47 +02:00 |
|
schaeff
|
5582b1f004
|
short circuit on constant branch conditions
|
2023-05-23 15:16:21 +02:00 |
|
Darko Macesic
|
862400e64a
|
Create 1317-dark64
|
2023-05-23 12:34:03 +02:00 |
|
Darko Macesic
|
68f29e670d
|
Fix constant in mimc7
|
2023-05-23 12:32:44 +02:00 |
|
Thibaut Schaeffer
|
1c3187b062
|
Merge pull request #1311 from leonardoalt/bump-nova
bump nova-snark, ff, bellperson, pasta_curves
|
2023-05-19 11:57:27 +02:00 |
|
Leo Alt
|
e9674380a5
|
bump nova-snark, ff, bellperson, pasta_curves and adjust the code
accordingly
|
2023-05-19 10:57:46 +02:00 |
|
Thibaut Schaeffer
|
633ee82547
|
Merge pull request #1302 from Zokrates/rc/0.8.7
Merge back 0.8.7
|
2023-04-22 09:10:06 +02:00 |
|
dark64
|
b7d1468cac
|
update changelog, bump versions
|
2023-04-22 00:08:48 +02:00 |
|
Darko Macesic
|
d47c89483c
|
Merge pull request #1300 from Zokrates/continue-nova-and-compress
Continue computation, compress proof
|
2023-04-21 23:52:28 +02:00 |
|
schaeff
|
d126707e6d
|
fix js
|
2023-04-21 23:26:22 +02:00 |
|
schaeff
|
70dff669ea
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into continue-nova-and-compress
|
2023-04-21 23:23:47 +02:00 |
|
schaeff
|
46685b1076
|
add compressed proof verification, upgrade nova to latest
|
2023-04-21 23:20:39 +02:00 |
|
Thibaut Schaeffer
|
35c13f25e0
|
Merge pull request #1298 from Zokrates/remove-unused-deps
Remove unused dependencies
|
2023-04-21 23:02:57 +02:00 |
|
schaeff
|
8015912eab
|
allow continuing an incremental computation, implement final proof compression
|
2023-04-21 21:09:07 +02:00 |
|
Thibaut Schaeffer
|
0a2e6237dc
|
Merge pull request #1296 from Zokrates/reduce-propagation-memory
Reduce propagation memory usage
|
2023-04-21 17:51:24 +02:00 |
|
dark64
|
81bae8b0bd
|
cleanup
|
2023-04-21 03:27:44 +02:00 |
|
dark64
|
66a69d70fa
|
fix format
|
2023-04-21 03:08:21 +02:00 |
|
dark64
|
3f9ceea512
|
revert deletion of zokrates_js/package-lock.json
|
2023-04-21 03:04:16 +02:00 |
|
dark64
|
8de32bd5e4
|
refactor
|
2023-04-21 02:59:16 +02:00 |
|
schaeff
|
326ba9102f
|
remove unused dependencies
|
2023-04-20 22:53:46 +02:00 |
|
schaeff
|
b397e8a993
|
reduce propagation memory usage
|
2023-04-20 16:41:39 +02:00 |
|
Thibaut Schaeffer
|
e46ad845d0
|
Merge pull request #1297 from Zokrates/deploy
Merge back 0.8.6
|
2023-04-20 16:31:04 +02:00 |
|
Thibaut Schaeffer
|
e1bf115687
|
Merge pull request #1294 from Zokrates/rc/0.8.6
Release 0.8.6
|
2023-04-14 12:30:30 +02:00 |
|
schaeff
|
ab52551a5b
|
merge dev, fix conflicts
|
2023-04-14 11:27:55 +02:00 |
|
schaeff
|
210285a07d
|
bump versions, generate changelog
|
2023-04-13 17:37:10 +02:00 |
|
Thibaut Schaeffer
|
8c08164038
|
Build with stable rust (#1288)
make zokrates build on stable rust
|
2023-04-13 17:26:01 +02:00 |
|
Thibaut Schaeffer
|
52e45a396c
|
Add sourcemaps (#1285)
add sourcemaps
|
2023-04-13 15:33:37 +02:00 |
|
Thibaut Schaeffer
|
10ebd604f3
|
Merge pull request #1289 from Zokrates/backend-opt
Optimize backend integrations
|
2023-04-11 22:58:55 +02:00 |
|
dark64
|
36d00668e4
|
refactor
|
2023-04-11 15:05:17 +02:00 |
|
Thibaut Schaeffer
|
a8955092ee
|
Merge pull request #1287 from Turupawn/patch-2
Sudoku example fix
|
2023-04-11 11:05:59 +02:00 |
|