Remove range constraint multiplicity columns from main machine

powdr-labs / powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.

Apache License 2.0

416 stars 82 forks source link

Remove range constraint multiplicity columns from main machine #2147

Closed georgwiese closed 3 days ago

georgwiese commented 3 days ago

Multiplicity columns of global range constraints used to end up in the main machine, which is a problem if it has a length different from the range check machine.