Release 0.19.0

[moCello]

0.19.0 - 2024-01-03

Fixed

• Fix inconsistency in gate ordering of arithmetic verifier key [Inconsistent gate ordering #797]
• Fix leading coefficients might be zero [leading_coefficient() may unexpectedly be zero #796]
• Fix tests when default features are turned off by placing them behind the alloc feature

Changed

• Improve InvalidCircuitSize error [Improve error message when attempting to create a proof for a circuit with the wrong size #792]
• Hide all modules except 'prelude' [Hide modules and types other than prelude #782]
• Turn Composer trait into a struct [Change Composer into a struct #802]
• Rename Arithmetization to Gate [Change Composer into a struct #802]
• Change internal module structure [Restructure modules #805]:
  • Move compiler module to root
  • Move prover and verifier modules under compiler
  • Move compress module under composer
  • Move constraint_system module under composer
  • Move permutation module under composer
• Change API for circuit (de-)compression [Improve API for circuit (de-)compression #804]

Removed

• Remove Builder struct with introduction of Composer struct [Change Composer into a struct #802]
• Remove example from README in favor of an actual example in the example directory that is behind the alloc feature [Add back examples folder for the crate #346]

Added

• Add example for circuit creation [Add back examples folder for the crate #346]

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (77a9d25) 85.71% compared to head (b72a34f) 85.71%.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #809   +/-   ##
=======================================
  Coverage   85.71%   85.71%           
=======================================
  Files          57       57           
  Lines        4095     4095           
=======================================
  Hits         3510     3510           
  Misses        585      585           

---

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 77a9d25...b72a34f. Read the comment docs.

[herr-seppia]

LGTM