In the
mathematical
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
and
computer science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...
field of
cryptography
Cryptography, or cryptology (from grc, , translit=kryptós "hidden, secret"; and ''graphein'', "to write", or ''-logia'', "study", respectively), is the practice and study of techniques for secure communication in the presence of adve ...
, a group of three numbers (''x'',''y'',''z'') is said to be a claw of two permutations ''f''
0 and ''f''
1 if
:''f''
0(''x'') = ''f''
1(''y'') = ''z''.
A pair of permutations ''f''
0 and ''f''
1 are said to be claw-free if there is no efficient algorithm for computing a claw.
The terminology ''claw free'' was introduced by
Goldwasser,
Micali, and
Rivest
Ronald Linn Rivest (; born May 6, 1947) is a cryptographer and an Institute Professor at MIT. He is a member of MIT's Department of Electrical Engineering and Computer Science (EECS) and a member of MIT's Computer Science and Artificial Intell ...
in their 1984 paper, "A Paradoxical Solution to the Signature Problem" (and later in a more complete journal paper), where they showed that the existence of claw-free pairs of trapdoor permutations implies the existence of digital signature schemes secure against
adaptive chosen-message attack
A digital signature is a mathematical scheme for verifying the authenticity of digital messages or documents. A valid digital signature, where the prerequisites are satisfied, gives a recipient very high confidence that the message was created b ...
. This construction was later superseded by the construction of digital signatures from any one-way trapdoor permutation. The existence of
trapdoor permutations does not by itself imply claw-free permutations exist;
however, it has been shown that claw-free permutations do exist if factoring is hard.
The general notion of claw-free permutation (not necessarily trapdoor) was further studied by
Ivan Damgård in his PhD thesis ''The Application of Claw Free Functions in Cryptography'' (Aarhus University, 1988), where he showed how to construct
Collision Resistant Hash Functions from claw-free permutations.
The notion of claw-freeness is closely related to that of collision resistance in hash functions. The distinction is that claw-free permutations are ''pairs'' of functions in which it is hard to create a collision between them, while a collision-resistant hash function is a single function in which it's hard to find a collision, i.e. a function ''H'' is collision resistant if it's hard to find a pair of distinct values ''x'',''y'' such that
:''H''(''x'') = ''H''(''y'').
In the hash function literature, this is commonly termed a
hash collision. A hash function where collisions are difficult to find is said to have
collision resistance.
Bit commitment
Given a pair of claw-free permutations ''f''
0 and ''f''
1 it is straightforward to create a
commitment scheme. To commit to a bit ''b'' the sender chooses a random ''x'', and calculates ''f''
b(''x''). Since both ''f''
0 and ''f''
1 share the same domain (and range), the bit ''b'' is statistically hidden from the receiver. To open the commitment, the sender simply sends the randomness ''x'' to the receiver. The sender is bound to his bit because opening a commitment to 1 − ''b'' is exactly equivalent to finding a claw. Notice that like the construction of Collision Resistant Hash functions, this construction does not require that the claw-free functions have a trapdoor.
References
Further reading
*{{cite web , first = Takeshi , last = Koshiba , url = http://citeseer.ist.psu.edu/koshiba96selfdefinable.html , title = Self-Definable Claw Free Functions , date = 1996
Theory of cryptography
Permutations