[Resource Topic] 2023/107: The Tip5 Hash Function for Recursive STARKs

Welcome to the resource topic for 2023/107

Title:
The Tip5 Hash Function for Recursive STARKs

Authors: Alan Szepieniec, Alexander Lemmens, Jan Ferdinand Sauer, Bobbin Threadbare

Abstract:

This paper specifies a new arithmetization-oriented hash function called Tip5. It uses the SHARK design strategy with low-degree power maps in combination with lookup tables, and is tailored to the field with p=2^{64}-2^{32}+1 elements.

The context motivating this design is the recursive verification of STARKs. This context imposes particular design constraints, and therefore the hash function’s arithmetization is discussed at length.

ePrint: https://eprint.iacr.org/2023/107

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .