Equivalence Algorithms

The hierarchy of equivalences

Given two vectorial boolean functions $f,g:F_{2}^{n}\rightarrow F_{2}^{n}$ there are various ways to define equivalence between $f$ and $g$. We will study the algorithms for determining Linear, Affine, Extended Affine and CCZ equivalence between vectorial boolean functions.

Linear Equivalence

Given two vectorial boolean functions $f$ and $g$ we want to determine if there exist Linear permutations $A_{1}$ and $A_{2}$ such that $f=A_{2}\circ g\circ A_{1}$.

The to and from algorithm

This algorithm is from