Module gadgets::permutation

Chip that implements permutation fingerprints fingerprints &= \prod_{row_j} \left ( \alpha - \sum_k (\gamma^k \cdot cell_j(k)) \right ) power of gamma are defined in columns to trade more columns with less degrees

Structs

• PermutationChip
  permutation fingerprint gadget
• PermutationChipConfig
  Config for PermutationChipConfig

Functions

• get_permutation_fingerprints
  get permutation fingerprint of rows