In Byte_Representation gadget, the selector (a fixed col) is enabled while assigning byte represents:
|
self.selector.enable(region, offset); |
It should be supposed that we have diffferent counts on assigned bytes for synctheis base on the witness. That is, the circuit (vk and pk) would change with changing on witness and the test vk_validity would expect to fail