Post-quantum hash functions using $\mathrm{SL}_n(\mathbb{F}_p)$

Corentin Le Coz,Christopher Battarbee,Ramón Flores,Thomas Koberda,Delaram Kahrobaei

2024-08-23

Abstract:We define new families of Tillich-Zémor hash functions, using higher dimensional special linear groups over finite fields as platforms. The Cayley graphs of these groups combine fast mixing properties and high girth, which together give rise to good preimage and collision resistance of the corresponding hash functions. We justify the claim that the resulting hash functions are post-quantum secure.

Cryptography and Security,Group Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to design a new post - quantum - secure hash function based on the special linear group \( \text{SL}_n(\mathbb{F}_p) \). Specifically, the authors propose a new Tillich - Zémor hash function family, using the high - dimensional special linear group over a finite field as a platform. The following is a detailed description of this problem:

### 1. **Background and Motivation**
Existing hash functions (such as SHA - 1) have been proven to be at risk of collision attacks. Especially in the context of the development of quantum computing technology, the security of traditional hash functions is challenged. Therefore, researchers are committed to developing new hash functions that are resistant to quantum attacks.

### 2. **Specific Problems**
The paper aims to address the shortcomings of existing hash functions in the following ways:
- **Using the special linear group \( \text{SL}_n(\mathbb{F}_p) \)**: Select the high - dimensional special linear group as a platform to ensure the pre - image resistance and collision resistance of the hash function.
- **Properties of Cayley graphs**: Utilize the good mixing characteristics and high girth of the Cayley graphs of these groups, thereby improving the security of the hash function.
- **Post - quantum security**: Demonstrate the security of the proposed hash function in a quantum computing environment.

### 3. **Main Contributions**
- **Design of a new hash function**: Construct a new Tillich - Zémor hash function based on the special linear group \( \text{SL}_n(\mathbb{F}_p) \).
- **Theoretical analysis**: Through mathematical derivation and graph - theoretic analysis, prove that the proposed scheme has good pre - image resistance and collision resistance.
- **Experimental verification**: Provide specific examples and Python/Sage implementations to demonstrate the practical application effects of the new hash function.

### 4. **Key Formulas and Concepts**
The key formulas and concepts involved in the paper include:
- **Definition of Cayley graph**: \( G_{n,p} \) is the Cayley graph of \( \text{SL}_n(\mathbb{F}_p) \), with generators \( \{\tilde{A}_p^{\pm 1}, \tilde{B}_p^{\pm 1}\} \).
- **Expandability**: For a fixed \( n\geq3 \), as \( p\rightarrow\infty \), the graph sequence \( \{G_{n,p}\}_p \) forms an expander graph family.
- **Lower bound of girth**: According to Proposition 3.1, the girth of the Cayley graph is at least \( \left\lfloor \frac{\log(p - 1)}{\log(nc)} \right\rfloor \).
- **System of polynomial equations**: Finding a pre - image or a collision is equivalent to solving a system of polynomial equations with \( n^2 \) variables.

### 5. **Conclusion**
Through theoretical analysis and experimental verification, the paper demonstrates the good security performance of the Tillich - Zémor hash function based on \( \text{SL}_n(\mathbb{F}_p) \) in a post - quantum environment, especially excellent performance in pre - image resistance and collision resistance.

In summary, the core problem of this paper is to construct a new, post - quantum - secure hash function by introducing the high - dimensional special linear group \( \text{SL}_n(\mathbb{F}_p) \) and verify its effectiveness through strict mathematical analysis and experimental verification.