mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-04-20 03:03:25 -04:00
ebc4d56e7b
Computes & prints the maximum degree of any identity for every machine.
Example output for Keccak:
```
Instantiating a composite backend with 7 machines:
* main:
* Number of witness columns: 247
* Number of fixed columns: 195
* Maximum identity degree: 4
* Number of identities:
* Polynomial: 68
* Plookup: 16
* main_binary:
* Number of witness columns: 9
* Number of fixed columns: 2
* Maximum identity degree: 2
* Number of identities:
* Polynomial: 8
* main_binary_byte_binary:
* Number of witness columns: 1
* Number of fixed columns: 4
* Maximum identity degree: 1
* Number of identities:
* Polynomial: 1
* main_memory:
* Number of witness columns: 9
* Number of fixed columns: 2
* Maximum identity degree: 3
* Number of identities:
* Polynomial: 12
* Plookup: 2
* main_shift:
* Number of witness columns: 8
* Number of fixed columns: 3
* Maximum identity degree: 2
* Number of identities:
* Polynomial: 7
* main_shift_byte_shift:
* Number of witness columns: 1
* Number of fixed columns: 5
* Maximum identity degree: 1
* Number of identities:
* Polynomial: 1
* main_split_gl:
* Number of witness columns: 9
* Number of fixed columns: 9
* Maximum identity degree: 3
* Number of identities:
* Polynomial: 7
* Plookup: 1
```