Round (cryptography) explained
In cryptography, a round or round function is a basic transformation that is repeated (iterated) multiple times inside the algorithm. Splitting a large algorithmic function into rounds simplifies both implementation and cryptanalysis.
For example, encryption using an oversimplified three-round cipher can be written as
, where is the
ciphertext and is the
plaintext. Typically, rounds
are implemented using the same function, parameterized by the
round constant and, for
block ciphers, the
round key from the
key schedule. Parameterization is essential to reduce the
self-similarity of the cipher, which could lead to
slide attacks.
Increasing the number of rounds "almost always" protects against differential and linear cryptanalysis, as for these tools the effort grows exponentially with the number of rounds. However, increasing the number of rounds does not always make weak ciphers into strong ones, as some attacks do not depend on the number of rounds.
The idea of an iterative cipher using repeated application of simple non-commutating operations producing diffusion and confusion goes as far back as 1945, to the then-secret version of C. E. Shannon's work "Communication Theory of Secrecy Systems";[1] Shannon was inspired by mixing transformations used in the field of dynamical systems theory (cf. horseshoe map). Most of the modern ciphers use iterative design with number of rounds usually chosen between 8 and 32 (with 64 and even 80 used in cryptographic hashes).
For some Feistel-like cipher descriptions, notably the one of the RC5, a term "half-round" is used to define the transformation of part of the data (a distinguishing feature of the Feistel design). This operation corresponds to a full round in traditional descriptions of Feistel ciphers (like DES).
Round constants
Inserting round-dependent constants into the encryption process breaks the symmetry between rounds and thus thwarts the most obvious slide attacks. The technique is a standard feature of most modern block ciphers. However, a poor choice of round constants or unintended interrelations between the constants and other cipher components could still allow slide attacks (e.g., attacking the initial version of the format-preserving encryption mode FF3).
Many lightweight ciphers utilize very simple key scheduling: the round keys come from adding the round constants to the encryption key. A poor choice of round constants in this case might make the cipher vulnerable to invariant attacks; ciphers broken this way include SCREAM and Midori64.
Optimization
Daemen and Rijmen assert that one of the goals of optimizing the cipher is reducing the overall workload, the product of the round complexity and the number of rounds. There are two approaches to address this goal:
- local optimization improves the worst-case behavior of a single round (two rounds for Feistel ciphers);
- global optimization optimizes the worst-case behavior of more than one round, allowing the use of less sophisticated components.
Reduced-round ciphers
Cryptanalysis techniques include the use of versions of ciphers with fewer rounds than specified by their designers. Since a single round is usually cryptographically weak, many attacks that fail to work against the full version of ciphers will work on such reduced-round variants. The result of such attack provides valuable information about the strength of the algorithm, a typical break of the full cipher starts out as a success against a reduced-round one.
Sources
- Book: Jean-Philippe . Aumasson . 6 November 2017 . Serious Cryptography: A Practical Introduction to Modern Encryption . No Starch Press . 56–57 . 978-1-59327-826-7 . 1012843116 .
- Book: Fast Software Encryption . Biryukov . Alex . Wagner . David . Slide Attacks . Lecture Notes in Computer Science . 1999 . 1636 . 245–259 . Springer Berlin Heidelberg . 0302-9743 . 10.1007/3-540-48519-8_18 . 978-3-540-66226-6 . https://www.researchgate.net/publication/220942532 .
- Book: Advances in Cryptology – EUROCRYPT 2020 . Dunkelman . Orr . Keller . Nathan . Lasry . Noam . Shamir . Adi . New Slide Attacks on Almost Self-similar Ciphers . Lecture Notes in Computer Science . 2020 . 12105 . 250–279 . Springer International Publishing . 0302-9743 . 1611-3349 . 10.1007/978-3-030-45721-1_10 . 978-3-030-45720-4 . https://books.google.com/books?id=Ce_gDwAAQBAJ&dq=%22round+constants%22&pg=PA252.
- Book: Advances in Cryptology – CRYPTO 2017 . Beierle . Christof . Canteaut . Anne . Leander . Gregor . Rotella . Yann . Proving Resistance Against Invariant Attacks: How to Choose the Round Constants . Lecture Notes in Computer Science . 2017 . 10402 . 647–678 . Springer International Publishing . 0302-9743 . 1611-3349 . 10.1007/978-3-319-63715-0_22 . 978-3-319-63714-3 . https://eprint.iacr.org/2017/463.pdf .
- Book: Encyclopedia of Cryptography and Security . Biryukov . Alex . Product Cipher, Superencryption . 480–481 . 2005 . Springer US . 10.1007/0-387-23483-7_320 .
- Book: Robshaw . M.J.B. . Block Ciphers . August 2, 1995 . . Redwood City, CA . Version 2.0 .
- Schneier . Bruce . Bruce Schneier . A Self-Study Course in Block-Cipher Cryptanalysis . Cryptologia . 24 . 1 . 18–34 . January 2000 . 10.1080/0161-110091888754 . 53307028 .
- Book: Advances in Cryptology – CRYPT0’ 95 . Kaliski . Burton S. . Yin . Yiqun Lisa . On Differential and Linear Cryptanalysis of the RC5 Encryption Algorithm . 1995 . 171–184 . Springer Berlin Heidelberg . 0302-9743 . 10.1007/3-540-44750-4_14 . https://link.springer.com/content/pdf/10.1007/3-540-44750-4_14.pdf .
- Book: Joan . Daemen . Vincent . Rijmen . 9 March 2013 . The Design of Rijndael: AES - The Advanced Encryption Standard . Springer Science & Business Media . 978-3-662-04722-4 . 1259405449 .
Notes and References
- Web site: Shannon . Claude . A Mathematical Theory of Cryptography . September 1, 1945 . 97.