Abstract:Maximum distance separable (MDS) matrices are often used in the linear layer of a block cipher due to their good diffusion property. A well-designed lightweight MDS matrix, especially an involutory one, can provide both security and performance benefits to the cipher. Finding the corresponding effective linear straight-line program (SLP) of the circuit of a linear layer is still a challenging problem. In this article, first, we propose a new heuristic algorithm called Superior Boyar-Peralta (SBP) in the computation of the minimum number of two-input Exclusive-OR (XOR) gates with the minimum circuit depth for the SLPs. Contrary to the existing global optimization methods supporting only two-input XOR gates, SBP heuristic algorithm provides the best global optimization solutions, especially for extracting low-latency circuits. Moreover, we give a new 4 × 4 involutory MDS matrix over F24, which requires only 41 XOR gates and depth 3 after applying SBP heuristic, whereas the previously best-known cost is 45 XOR gates with the same depth. In the second part of the article, for further optimization of the circuit area of linear layers with multiple-input XOR gates, we enhance the recently proposed BDKCI heuristic algorithm by incorporating circuit depth awareness, which limits the depth of the circuits created. By using the proposed circuit depth-bounded version of BDKCI, we present better circuit implementations of linear layers of block ciphers than those given in the literature. For instance, the given circuit for the AES MixColumn matrix only requires 44 XOR gates/depth 3/240.95 GE in the STM 130 nm (simply called ASIC4) library, while the previous best-known result is 55 XOR gates/depth 5/243.00 GE. Much better, our new 4 × 4 involutory MDS matrix requires only 19 XOR gates/depth3/79.75 GE in the STM 90 nm (simply called ASIC1) library, which is the lightest and superior to the state-of-the-art results.

Three Halves Make a Whole? Beating the Half-Gates Lower Bound for Garbled Circuits

Fast Evaluation of S-Boxes With Garbled Circuits

Skipping Scheme for Gate-hiding Garbled Circuits

A Ciphertext Reduction Scheme for Garbling an S-Box in an AES Circuit with Minimal Online Time

An Efficient Zero-Aliasing Space Compactor Based on Elementary Gates Combined with XOR Gates.

Tight Correlation Bounds for Circuits Between AC0 and TC0

A Mathematical Structure for Amplitude-Mixing Error-Transparent Gates for Binomial Codes

Lossy data compression with random gates

Counterfactual logic gates

Optimizing implementations of linear layers using two and higher input XOR gates

Characterising Semi-Clifford Gates Using Algebraic Sets

Cyclic Obfuscation for Creating SAT-Unresolvable Circuits.

Partitioning qubits in hypergraph product codes to implement logical gates

Parity (XOR) Reasoning for the Index Calculus Attack

Separation of AC$^0[\oplus]$ Formulas and Circuits

A Coplanar XOR Using NAND-NOR-Inverter and Five-Input Majority Voter in Quantum-Dot Cellular Automata Technology

Vanishing 2-Qubit Gates with Non-Simplification ZX-Rules

Polymorphic Gate Based IC Watermarking Techniques

Fourier Growth of Communication Protocols for XOR Functions