Feistel cipher - Wikipedia
Jump to content
Search
Search
Donate
Create account
Log in
Personal tools
Donate
Create account
Log in
Feistel cipher
23 languages
Català<br>Čeština<br>Deutsch<br>Español<br>فارسی<br>Suomi<br>Français<br>עברית<br>Bahasa Indonesia<br>Italiano<br>日本語<br>한국어<br>Lombard<br>Nederlands<br>Norsk bokmål<br>Polski<br>Português<br>Русский<br>Simple English<br>Svenska<br>Türkçe<br>Українська<br>中文
Edit links
From Wikipedia, the free encyclopedia
Cryptography construction
In cryptography, a Feistel cipher (also known as Luby–Rackoff block cipher ) is a symmetric structure used in the construction of block ciphers, named after the German-born physicist and cryptographer Horst Feistel, who did pioneering research while working for IBM; it is also commonly known as a Feistel network . A large number of block ciphers use the scheme, including the US Data Encryption Standard, the Soviet/Russian GOST (aka Magma) and the more recent Blowfish and Twofish ciphers. In a Feistel cipher, encryption and decryption are very similar operations, and both consist of iteratively running a function called a "round function" a fixed number of times.
History<br>[edit]
Many modern symmetric block ciphers are based on Feistel networks. Feistel networks were first seen commercially in IBM's Lucifer cipher, designed by Horst Feistel and Don Coppersmith in 1973. Feistel networks gained respectability when the U.S. Federal Government adopted the DES (a cipher based on Lucifer, with changes made by the NSA) in 1976. Like other components of the DES, the iterative nature of the Feistel construction makes implementing the cryptosystem in hardware easier (particularly on the hardware available at the time of DES's design).
Design<br>[edit]
A Feistel network uses a round function, a function which takes two inputs – a data block and a subkey – and returns one output of the same size as the data block.[1] In each round, the round function is run on half of the data to be encrypted, and its output is XORed with the other half of the data. This is repeated a fixed number of times, and the final output is the encrypted data. An important advantage of Feistel networks compared to other cipher designs such as substitution–permutation networks (SP-networks) is that the entire operation is guaranteed to be invertible (that is, encrypted data can be decrypted), even if the round function is not itself invertible. The round function can be made arbitrarily complicated, since it does not need to be designed to be invertible.[2]: 465 [3]: 347 Furthermore, the encryption and decryption operations are very similar, even identical in some cases, requiring only a reversal of the key schedule. Therefore, the size of the code or circuitry required to implement such a cipher is nearly halved. Unlike SP-networks, Feistel networks also do not depend on a substitution box that could cause timing side-channels in software implementations.
Theoretical work<br>[edit]
The structure and properties of Feistel ciphers have been extensively analyzed by cryptographers.
Michael Luby and Charles Rackoff analyzed the Feistel cipher construction and proved that if the round function is a cryptographically secure pseudorandom function, with Ki used as the seed, then 3 rounds are sufficient to make the block cipher a pseudorandom permutation, while 4 rounds are sufficient to make it a "strong" pseudorandom permutation (which means that it remains pseudorandom even to an adversary who gets oracle access to its inverse permutation).[4] Because of this very important result of Luby and Rackoff, Feistel ciphers are sometimes called Luby–Rackoff block ciphers.
Further theoretical work has generalized the construction somewhat and given more precise bounds for security.[5][6]
Construction details<br>[edit]
Let
{\displaystyle \mathrm {F} }
be the round function and let
{\displaystyle K_{0},K_{1},\ldots ,K_{n}}
be the sub-keys for the rounds
{\displaystyle 0,1,\ldots ,n}
respectively.
Then the basic operation is as follows:
Split the plaintext block into two equal pieces: (
{\displaystyle L_{0}}
{\displaystyle R_{0}}
).
For each round
{\displaystyle i=0,1,\dots ,n}
, compute
{\displaystyle L_{i+1}=R_{i},}
{\displaystyle R_{i+1}=L_{i}\oplus \mathrm {F} (R_{i},K_{i}),}
where
{\displaystyle \oplus }
means XOR. Then the ciphertext is
{\displaystyle (R_{n+1},L_{n+1})}
Decryption of a ciphertext
{\displaystyle (R_{n+1},L_{n+1})}
is accomplished by computing for
{\displaystyle i=n,n-1,\ldots ,0}
{\displaystyle R_{i}=L_{i+1},}
{\displaystyle L_{i}=R_{i+1}\oplus \operatorname {F} (L_{i+1},K_{i}).}
Then
{\displaystyle (L_{0},R_{0})}
is the plaintext again.
The diagram illustrates both encryption and decryption. Note the reversal of the subkey order for decryption; this is the only difference between encryption and decryption.
Unbalanced Feistel cipher<br>[edit]
Unbalanced Feistel ciphers use a modified structure where
{\displaystyle L_{0}}
and
{\displaystyle R_{0}}
are not of equal...