2
$\begingroup$

Recently, I am very interested in the hash function attack paper, so I am reading it closely.

I found out that there are Free-start and Semi-free-start settings among the attacks on the hash function.

The example below introduces these two definitions. (The definition is similar to other papers, so I brought it here.)

https://eprint.iacr.org/2017/800.pdf

There are two attack models on the compression function. One is called free-start collision attack, the other is semi-free-start collision attack. The free-start collision attack is to find two different pairs of message and chaining value $(CV, M)$, $(CV', M')$ which satisfy $H(CV, M)=H(CV', M')$. The semi-free-start collision attack works in the same way apart from an additional condition that $CV = CV'$.

A few questions arose here.

  1. According to this definition, can a semi-free-start collision attack be considered a free-start collision attack?

  2. If an r-round Semi-free-start collision attack exists for a certain hash function, does a t-round free-start collision attack for a round smaller than r become meaningless (t<r)? If not, does it have its own meaning in different applications?

  3. Can I assume that Free-start collision attack selects the difference of IV and Semi-free-start collision selects the actual value of IV?

I think there is a reason why it is divided into two settings: Free-start and Semi-free-start. But it is difficult to derive the reason.

Thank you.

$\endgroup$

1 Answer 1

1
$\begingroup$
  1. Yes, the conditions for a free-start collision are implied by a semi-free-start collision. Any attack on the semi-free-start problem would also count as an attack on the free-start problem.

  2. Here we appear to have switched from talking about collisions on the compression function to collisions on the full hash function (which consists of several rounds of the compression function). An $r$-round semi-free-start collision would automatically provide us with a $t$-round free-start collision for all $t<r$, just by evaluating $r-t$ rounds of compression and using the outputs as initial chaining values for the free-start-collision. These are not necessarily "meaningless". In particular, they may be very relevant for "hash herding" if we can find multiple ways of arriving at these states rather than simply the two provided by a single semi-free-start collision. Free-start-collisions are easier to find and may or may not extend back to semi-free-start collisions; semi-free start collisions and may or may not extend back to full collisions. Thus finding free-start collisions can be a first step to finding semi-free-start collisions which can be a step to finding full collisions. Even if we know an $r$-round semi-free-start attack, a $t$-round free-start attack might still be interesting, particularly if it uses less work/memory or if it generates many instances in which case it might be a better route to a full collision attack.

  3. I think it best to think that when we have a compression function that maps $n+m$-bits to $n$ bits a free-start attack has $2n+2m$ degrees of freedom and a semi-free-start attack has $n+2m$ degrees of freedom. If a free-start attack succeeds, we have 2 chaining values and 2 message blocks, but taking another two chaining values with the same difference would not lead to another collision instance.

$\endgroup$
2
  • $\begingroup$ Thank you for answer. In question 2, I tried to ask if it makes sense to find a t-round free-start collision attack (assuming there is an r-round semi-free-start collision attack). Also, if it is meaningful, are there any related applications? $\endgroup$
    – pioneer
    Jan 4, 2023 at 11:16
  • $\begingroup$ I've added some extra words to my answer for 2; let me know if I'm still not quite understanding your question. $\endgroup$
    – Daniel S
    Jan 4, 2023 at 12:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.