We prove that asymptotically almost all vectorial functions over finite fields have trivial extended-affine stabilizers. As a consequence, the number of EA-equivalence classes is asymptotically equal to the naive estimate, namely the total number of functions divided by the size of the EA-group, with vanishing relative error. Furthermore, we derive upper bounds on collision probabilities for both extended-affine and CCZ equivalences. For EA-equivalence, we leverage the trivial-stabilizer result to establish a matching lower bound, yielding a tight asymptotic formula that shows two independently sampled functions are EA-equivalent with super-exponentially small probability. The results validate random sampling strategies for cryptographic primitive design and show that functions with nontrivial EA-symmetries form an exponentially rare subset.
翻译:我们证明,在有限域上,渐近地几乎所有的向量函数都具有平凡的扩展仿射稳定子。因此,EA等价类的数量渐近地等于朴素估计值,即函数总数除以EA群的大小,且相对误差趋于零。此外,我们推导了扩展仿射等价和CCZ等价碰撞概率的上界。对于EA等价,我们利用平凡稳定子结果建立了一个匹配的下界,从而得到一个紧的渐近公式,表明两个独立采样的函数具有EA等价关系的概率是超指数小的。这些结果验证了密码原语设计中随机采样策略的有效性,并表明具有非平凡EA对称性的函数构成一个指数级稀有的子集。