You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For Vadcop, we need witness generation to generate witness columns of different lengths. All columns should have a length that is a power of two; and all columns of a machine should have the same length.
Fixes#1494
- use cbor for witness and constant files (moving polygon serialisation
to the relevant backend)
- add `degree` field on `Symbol`, inherited from the namespace degree
- have each machine in witgen operate over its own degree
- fail in the backend if we have many degrees
For Vadcop, we need witness generation to generate witness columns of different lengths. All columns should have a length that is a power of two; and all columns of a machine should have the same length.
Already worked on in #1460.
The text was updated successfully, but these errors were encountered: