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
dark64
0f31a1b42e
apply suggestions (part 1)
2023-03-14 19:24:09 +01:00
dark64
cfe43e672d
revert is_assignee
2023-03-06 13:53:03 +04:00
dark64
e8abfb51ea
clippy
2023-03-06 13:37:12 +04:00
dark64
3ce57d93a4
optimize evaluation of lincomb
2023-03-03 18:19:24 +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
