International Association for Cryptologic Research (IACR)
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=264−232+1 elements.
The context motivating this design is the recursive verification of STARKs. This context imposes particular design constraints, and therefore the hash function\u27s arithmetization is discussed at length