Add Jubjub to ECC stdlib #1282
Add Jubjub to ECC stdlib #1282
Commits on Sep 29, 2022
Commits on Oct 4, 2022
Commits on Jan 2, 2023
Commits on Jan 3, 2023
Commits on Jan 9, 2023
-
Merge pull request Zokrates#1258 from Zokrates/fix-assembly-propagation
Fix zir assembly propagation
Commits on Jan 11, 2023
Commits on Jan 19, 2023
Commits on Jan 23, 2023
Commits on Jan 24, 2023
Commits on Jan 26, 2023
-
-
-
-
Merge pull request Zokrates#1265 from Zokrates/remove-warning
Remove G16 warning
Commits on Jan 30, 2023
-
Merge pull request Zokrates#1264 from Zokrates/optimize-js-lib
Optimize js library size
-
-
-
-
-
-
Merge pull request Zokrates#1254 from Zokrates/seedable-setup
Allow user-provided randomness in setup
-
-
Merge pull request Zokrates#1269 from Zokrates/fix-array-propagation
Fix array propagation
-
Use foundry for integration tests (Zokrates#1266)
* remove zokrates_solidity_test, use foundry for integration tests * fix foundry install * fix foundry install * use full path for forge * wip * wip * wip * test * test * test * test * test * add message if foundry is missing, add changelog * move install script to ci config * Apply suggestions from code review --------- Co-authored-by: Thibaut <[email protected]>
-
-
Commits on Jan 31, 2023
-
-
Merge pull request Zokrates#1261 from Zokrates/ark-parallel
Use ark parallel feature
-
-
-
-
Merge pull request Zokrates#1271 from Zokrates/disable-wasm-test
Disable wasm_test in CI
Commits on Feb 5, 2023
Commits on Feb 6, 2023
Commits on Feb 8, 2023
Commits on Feb 14, 2023
-
Merge pull request Zokrates#1275 from Zokrates/show-mpc-help
Show help when running `zokrates mpc`
-
-
-
-
Merge pull request Zokrates#1279 from Zokrates/fix-interpreter-crate-…
…features Pass `ark` and `bellman` features to `zokrates_analysis`
-
-
-
Commits on Feb 15, 2023
Commits on Feb 21, 2023
Commits on Feb 22, 2023
-
Merge pull request Zokrates#1277 from Zokrates/fix-setup-ffi
Improve setup FFI in zokrates-js
-
-
-
Commits on Feb 23, 2023
Commits on Feb 27, 2023
-
-
-
Merge pull request Zokrates#1284 from Zokrates/fix-prettier-action
Fix prettier github action
Commits on Feb 28, 2023
-
-
-
-
-
Merge pull request Zokrates#1280 from Zokrates/fix-mpc-init
Fix `radix-path` help message on `mpc init` subcommand
-
Merge pull request Zokrates#1283 from Zokrates/greedy-reducer
Refactor reducer to reduce memory usage and runtime
Commits on Mar 3, 2023
Commits on Mar 14, 2023
Commits on Mar 17, 2023
-
Merge pull request Zokrates#1286 from Turupawn/patch-1
Fixed small typo
Commits on Mar 19, 2023
-
**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.
Commits on Mar 20, 2023
Commits on Mar 24, 2023
-
change into_bellman impl on field, use lincomb in bellman circuit con…
…struction instead of canonical
-
-
-
Commits on Mar 27, 2023
Commits on Mar 28, 2023
-
-
-
Merge pull request Zokrates#1268 from Zokrates/optimize-zir-solver
Optimize assembly solvers
Commits on Mar 29, 2023
-
Merge pull request Zokrates#1291 from Zokrates/deploy
Merge back 0.8.5
-
-
Commits on Mar 31, 2023
Commits on Apr 11, 2023
-
-
Merge pull request Zokrates#1287 from Turupawn/patch-2
Sudoku example fix
-
Merge pull request Zokrates#1289 from Zokrates/backend-opt
Optimize backend integrations
Commits on Apr 13, 2023
-
Build with stable rust (Zokrates#1288)
make zokrates build on stable rust
-
Commits on Apr 20, 2023
-
Merge pull request Zokrates#1297 from Zokrates/deploy
Merge back 0.8.6
-
-
Commits on Apr 21, 2023
-
-
-
Merge pull request Zokrates#1296 from Zokrates/reduce-propagation-memory
Reduce propagation memory usage
-
Merge pull request Zokrates#1298 from Zokrates/remove-unused-deps
Remove unused dependencies
-
-
Merge branch 'develop' of github.com:Zokrates/ZoKrates into continue-…
…nova-and-compress
-
Merge pull request Zokrates#1300 from Zokrates/continue-nova-and-comp…
…ress Continue computation, compress proof
-
Commits on Apr 22, 2023
-
Merge pull request Zokrates#1302 from Zokrates/rc/0.8.7
Merge back 0.8.7
Commits on May 19, 2023
-
Merge pull request Zokrates#1311 from leonardoalt/bump-nova
bump nova-snark, ff, bellperson, pasta_curves
Commits on May 24, 2023
Commits on May 25, 2023
-
Merge pull request Zokrates#1313 from Zokrates/fix-constant-embed-red…
…uction Propagate embed call in reducer
Commits on May 29, 2023
Commits on May 30, 2023
-
Fixed a small typo, the right bracket next to bitwidth was mistyped. (Z…
…okrates#1312) * Fixed a small typo, the right bracket next to bitwidth was mistyped. * Update types.md Change the '[' to ')'.
-
Merge pull request Zokrates#1317 from Zokrates/dark64-patch-3
Fix constant in mimc7
-
Merge pull request Zokrates#1315 from Zokrates/compile-time-short-cir…
…cuit Short circuit on constant branch conditions
-
-
Commits on Jun 13, 2023
-
Merge pull request Zokrates#1318 from Zokrates/asm-complex-type-assig…
…nment Allow composite field type in witness assignment
-
Merge pull request Zokrates#1326 from Zokrates/detect-div-by-zero
Detect division by zero in typed propagation
Commits on Jun 27, 2023
-
-
Revert "remove pragma macro from nonStrictUnpack256"
This reverts commit a741f9e.
-