schaeff
066d3533d8
propagate embed call in reducer
2023-05-23 15:24:47 +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
Ahmed Castro
2ba870a975
Create 1287-Turupawn
2023-04-10 20:09:01 -06:00
dark64
405b24da81
change help message
2023-04-04 19:16:10 +02:00
dark64
83835a7249
add changelog
2023-04-04 18:53:46 +02:00
dark64
2e9c66a5c1
fix integration test, update book
2023-04-04 18:46:08 +02:00
dark64
5257d309c5
Merge branch 'develop' into backend-opt
2023-03-31 12:41:44 +02:00
dark64
33466b2c89
remove csv dependency
2023-03-29 20:40:26 +02:00
dark64
3ba789e7f3
use binary format for witness
2023-03-29 20:36:34 +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
5d67cdb1d9
Merge pull request #1290 from Zokrates/rc/0.8.5
...
Release 0.8.5
2023-03-28 17:43:14 +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
bd873daf1a
remove into_canonical call
2023-03-28 14:49:01 +02:00
dark64
f83c26cd45
fix test
2023-03-28 14:31:10 +02:00
schaeff
16ef50fa9c
bump versions, generate changelog
2023-03-28 10:45:53 +02:00
dark64
aea19eb417
parallelize witness deserialization
2023-03-27 21:18:54 +02:00
Ahmed Castro
48885d64a4
Update sudoku_checker.zok
2023-03-24 16:37:58 -06:00
Ahmed Castro
30c9d8b8b1
Update sudoku_checker.zok
2023-03-24 16:36:49 -06:00
dark64
e0b029959d
rename substitutor to canonicalizer, add tests
2023-03-24 14:39:08 +01:00
dark64
e210f469ca
change into_bellman impl on field, use lincomb in bellman circuit construction instead of canonical
2023-03-24 14:13:23 +01:00
Ahmed Castro
2e551b3d16
Update sudoku_checker.zok
2023-03-21 11:53:10 -06:00
dark64
95bec7be64
fix zir substitutor
2023-03-21 13:16:07 +01:00
dark64
87f356a7c6
add test
2023-03-21 00:09:37 +01:00
dark64
475744bf6e
refactor
2023-03-20 20:21:23 +01:00
Ahmed Castro
f84faaae83
Sudoku example fix
...
**Problem**
the logic behind `countDuplicates` is invalid because it's doing this:
(incorrect)
```
if(duplicates + e11 == e21)
duplicates = 1;
else
duplicates = 0;
```
Instead of this:
(correct)
```
if(e11 == e21)
duplicates = duplicates + 1;
else
duplicates = duplicates;
```
**Solution**
I'm using an auxiliary variable to fix this
**Alternative solution**
We can also fix it with an array and a loop. But I went for the auxiliary variable for no particular reason.
```
def countDuplicates(field e11, field e12, field e21, field e22) -> u32 {
u32[6] mut duplicates = [0,0,0,0,0,0];
duplicates[0] = e11 == e12 ? 1 : 0;
duplicates[1] = e11 == e21 ? 1 : 0;
duplicates[2] = e11 == e22 ? 1 : 0;
duplicates[3] = e12 == e21 ? 1 : 0;
duplicates[4] = e12 == e22 ? 1 : 0;
duplicates[5] = e21 == e22 ? 1 : 0;
u32 mut count = 0;
for u32 i in 0..5 {
count = count + duplicates[i];
}
return count;
}
```
And btw, I also added an assert to make sure we check for this validation. I've tested this on the playground and on chain on goerli and with this changes it works correctly.
2023-03-18 20:09:28 -06:00
Thibaut Schaeffer
7f698545f6
Merge pull request #1286 from Turupawn/patch-1
...
Fixed small typo
2023-03-17 10:00:17 +00:00
Ahmed Castro
60ee62d309
Fixed small typo
...
Found a small typo while testing this.
Cheers!
2023-03-16 19:01:46 -06:00
