v0.17.0

Performance improvements and security fixes.
Please do not use in production Honk contracts generated by garaga versions prior to 0.17.0.

New compatible noir & barretenberg versions should be 1.0.0-beta.3 & 0.85.0 :

nargo --version # 1.0.0-beta.3
bb --version # 0.85.0

• Cairo updated to 2.11.4
• Starknet-py updated to 0.26.2

What's Changed

• Optimize SHA-512 by @feltroidprime in #333
• Optimize SHA-512 pt. II. by @feltroidprime in #334
• Bump next from 14.2.21 to 14.2.25 in /tools/npm/integration-test-suite/packages/web-js-esm-react by @dependabot in #336
• Repo config by @feltroidprime in #337
• [WIP] Mutator Set contract with zk verifier by @feltroidprime in #338
• Get rid of the build folder by @feltroidprime in #345
• Avoid unecessary hashing of points & scalars in Noir verifier. by @feltroidprime in #342
• Noir verifier : avoid checking VK pts are on curve + add missing shplonk_q check. by @feltroidprime in #347
• Add and adapt Mutator set rust code from neptune. by @feltroidprime in #350
• Update Risc0 verifier to 2.0.0 by @feltroidprime in #339
• Sync & update docs. by @feltroidprime in #351
• Fix: CI skipping for docs by @feltroidprime in #354
• Assume last Ri is 1 in pairing checks calldata by @feltroidprime in #353
• clippy, ci fix by @feltroidprime in #355
• Adds basic .nr program for MMR inclusion proof to MutatorSet contract by @feltroidprime in #357
• Bump pyo3 & fastecdsa versions by @dependabot in #361
• RISC0 Fixes towards next release by @raugfer in #362
• Remove mock parameter in extension_field_modulo_circuit.py by @feltroidprime in #364
• Remove next_u288 function to use IntoCircuitInputValue trait by @feltroidprime in #365
• Refactor CI skipping by @feltroidprime in #366
• Fill precomputed (1/SUBGROUP_SIZE) instead of computing it in circuit by @feltroidprime in #367
• Avoid adding 0 at loop initialization. by @feltroidprime in #368
• Optimize accumulate_delta_range_relation circuit. by @feltroidprime in #371
• CLI fixes and minor updates. by @feltroidprime in #372
• Optimize scalar_to_epns with BoundedInt (-25%). by @feltroidprime in #373
• Optimize Point256IntoProofPoint by @feltroidprime in #374
• Make FunctionFelt generic on <T> to reduce msm calldata size and deserialization costs by @feltroidprime in #375
• Add bytecode size check for MAX_LOG_N Noir contract in CI by @feltroidprime in #379
• Bump starknet-py & devnet + fix CLI by @feltroidprime in #378
• Improve rust ecip performance & test generation time by @feltroidprime in #380
• Add a test for zero numerator case in Torus final exponentiation by @feltroidprime in #382
• Implement msm_g1_2_points to have less bytecode for relevant use cases by @feltroidprime in #383
• Add Conversion Functions Between Timestamps and Drand Rounds by @RojhatToptamus in #314
• Upgrade Noir support to BB v0.85.0 by @raugfer in #384
• Release v0.17.0 by @feltroidprime in #377

New Contributors

• @RojhatToptamus made their first contribution in #314

Full Changelog: v0.16.0...v0.17.0