dark64
|
56fa4f7eb0
|
add changelog
|
2024-04-15 14:27:12 +02:00 |
|
Darko Macesic
|
f102933381
|
Remove branch isolation (#1353)
* remove branch isolation
* update book, add changelog
* clippy
* revert clippy suggestion
* move clippy allow rule to root lib.rs
* derive default
|
2023-11-09 15:42:17 +01:00 |
|
Darko Macesic
|
6c49edc075
|
Fix range check (#1309)
* fix uint range check
* update bit cache with correct bits
* suggestions
* js fmt
* clippy
* fix range check, add more tests
* update changelog
* fieldlt improvements
* fix tests
|
2023-11-09 10:25:43 +01:00 |
|
Darko Macesic
|
f02e15dea1
|
Set webcrypto only if crypto instance is not available (#1338)
* set webcrypto only if not available
* update package-lock.json
* add changelog
|
2023-09-12 11:21:56 +02:00 |
|
Darko Macesic
|
89cc999a57
|
fix warnings caused by missing spans (#1340)
|
2023-09-12 11:16:07 +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
|
f8f3c889bd
|
update changelog
|
2023-05-30 17:58:14 +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 |
|
dark64
|
4cc2f6254b
|
add missing alignment, changelog
|
2023-05-29 23:24:12 +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 |
|
dark64
|
b7d1468cac
|
update changelog, bump versions
|
2023-04-22 00:08:48 +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
|
b397e8a993
|
reduce propagation memory usage
|
2023-04-20 16:41:39 +02:00 |
|
schaeff
|
ab52551a5b
|
merge dev, fix conflicts
|
2023-04-14 11:27:55 +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 |
|
Thibaut Schaeffer
|
a8955092ee
|
Merge pull request #1287 from Turupawn/patch-2
Sudoku example fix
|
2023-04-11 11:05:59 +02:00 |
|
Ahmed Castro
|
2ba870a975
|
Create 1287-Turupawn
|
2023-04-10 20:09:01 -06:00 |
|
dark64
|
83835a7249
|
add changelog
|
2023-04-04 18:53:46 +02:00 |
|
Thibaut Schaeffer
|
13d41b08a9
|
Merge pull request #1291 from Zokrates/deploy
Merge back 0.8.5
|
2023-03-29 15:16:11 +02:00 |
|
Thibaut Schaeffer
|
3ffd642054
|
Merge pull request #1268 from Zokrates/optimize-zir-solver
Optimize assembly solvers
|
2023-03-28 15:57:26 +02:00 |
|
dark64
|
0f31a1b42e
|
apply suggestions (part 1)
|
2023-03-14 19:24:09 +01:00 |
|
Thibaut Schaeffer
|
8ca79372df
|
Merge pull request #1283 from Zokrates/greedy-reducer
Refactor reducer to reduce memory usage and runtime
|
2023-02-28 12:02:17 +01:00 |
|
dark64
|
2a2370efba
|
add changelog
|
2023-02-28 10:56:18 +01:00 |
|
dark64
|
779bb2bc20
|
add changelog
|
2023-02-28 02:06:01 +01:00 |
|
schaeff
|
ea74d512bf
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into greedy-reducer
|
2023-02-22 21:54:37 +01:00 |
|
schaeff
|
c01cc25c51
|
changelog, prettier
|
2023-02-22 21:35:35 +01:00 |
|
Thibaut Schaeffer
|
09bcaa8fe7
|
Merge pull request #1277 from Zokrates/fix-setup-ffi
Improve setup FFI in zokrates-js
|
2023-02-22 12:03:41 +01:00 |
|
Darko Macesic
|
fb45889147
|
add changelog
|
2023-02-15 19:36:18 +01:00 |
|
schaeff
|
64b8693f91
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into zokrates-nova
|
2023-02-14 14:52:00 +01:00 |
|
dark64
|
c77e7ae5c3
|
show help when running "zokrates mpc"
|
2023-02-06 20:06:35 +01:00 |
|
schaeff
|
81b7bd9b27
|
upgrade nova, fix conflicts
|
2023-02-06 14:29:05 +01:00 |
|
schaeff
|
f991b765cf
|
add changelog
|
2022-10-04 22:29:19 +02:00 |
|
schaeff
|
4db3a03674
|
add changelog
|
2022-09-28 19:18:19 +02:00 |
|
Thibaut Schaeffer
|
9e7f01ca2c
|
Merge pull request #1224 from Zokrates/private-parameter-check
Disallow the use of the private keyword on non-entrypoint functions
|
2022-09-22 12:20:14 +02:00 |
|
dark64
|
e48afb678c
|
add test for public, update changelog
|
2022-09-21 14:54:37 +02:00 |
|
schaeff
|
30b3696768
|
changelog
|
2022-09-13 20:32:42 +02:00 |
|
dark64
|
880a1ae95c
|
add changelog
|
2022-09-06 12:57:06 +02:00 |
|
Thibaut Schaeffer
|
6e0aa703ec
|
Merge pull request #1215 from Zokrates/casting-module
Add a `cast` module to stdlib
|
2022-09-05 14:05:17 +02:00 |
|
schaeff
|
fc77ea0d63
|
add changelog
|
2022-09-02 11:31:25 +02:00 |
|
dark64
|
b6aa6fbf55
|
fix conflicts
|
2022-09-02 11:20:02 +02:00 |
|
Thibaut Schaeffer
|
f86172f6a6
|
Merge pull request #1206 from Zokrates/dead-code-elimination
Introduce dead code elimination
|
2022-09-01 15:59:38 +02:00 |
|