The constants we are currently using for generating H cosets for the permutation argument are correct for the fields currently used (Bls scalar fields). However we should have a test that ensures these constants are valid. Specially considering the addition of more wires (and therefore more constants) and other supported fields.
The constants we are currently using for generating
Hcosets for the permutation argument are correct for the fields currently used (Blsscalar fields). However we should have a test that ensures these constants are valid. Specially considering the addition of more wires (and therefore more constants) and other supported fields.