v0.19.0

0.19.0 - 2024-01-03

Fixed

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

Changed

• Improve InvalidCircuitSize error [#792]
• Hide all modules except 'prelude' [#782]
• Turn Composer trait into a struct [#802]
• Rename Arithmetization to Gate [#802]
• Change internal module structure [#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 [#804]

Removed

• Remove Builder struct with introduction of Composer struct [#802]
• Remove example from README in favor of an actual example in the example directory that is behind the alloc feature [#346]

Added

• Add example for circuit creation [#346]