Abstract:With the growing practical applications of fully homomorphic encryption (FHE), secure multi-party computation (MPC), and zero-knowledge proofs (ZK), there has been an increasing need to design and analyze symmetric primitives that have low multiplication complexity and depth. In this paper, we propose a permutation constructed upon a 4-round nonlinear feedback resistor over F4q. Our proposed permutation has a multiplication depth of 2 and a multiplication complexity of 4. Significantly, its maximum differential/linear probability is bounded by q-2. Based on this nonlinear function, we propose a new family of block ciphers over F16q called YuX, whose decryption circuit is highly efficient for FHE evaluation. We further provide specific instantiations, denoted as Yu2X and YupX, wherein q takes the form of either 2n or a prime p, respectively. Furthermore, we conduct a comprehensive security analysis of YuX within certain parameters against various cryptanalysis methods employing automatic analysis tools, including the differential attack, linear attack, impossible differential attack, zero-correlation attack, and integral attack, as well as Gröbner basis and linearization attacks. Our research indicates that YuX maintains a robust security margin against those attacks. Finally, we present a detailed implementation of Yu2X and YupX employing the BGV homomorphic encryption scheme. In comparison to ciphers over a field of characteristic 2, the outcomes evince that Yu2X-8 (over F1628 ) and Yu2X-16 (over F16216 ) achieve remarkably competitive throughputs, boasting performance approximately 12 times, 17 times, and 9 times superior to AES-128, CHAGHRI, and LowMC-128 (under 128-bit security), respectively. Furthermore, when juxtaposed with ciphers over a field of characteristic p, the outcomes affirm that the throughput of YupX-65537 (over F1665537) retains considerable competitiveness, registering an approximate fivefold enhancement relative to HERA. Evidently, YuX exhibits superior throughput compared to a majority of symmetric ciphers within this category.

Fast Evaluation of S-Boxes With Garbled Circuits

Fast Evaluation of S-boxes with Garbled Circuits

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

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

Skipping Scheme for Gate-hiding Garbled Circuits

Efficiency Optimizations on Yao's Garbled Circuits and Their Practical Applications

Reuse It Or Lose It: More Efficient Secure Computation Through Reuse of Encrypted Values

HAAC: A Hardware-Software Co-Design to Accelerate Garbled Circuits

Fast Substitution-Box Evaluation Algorithm and Its Efficient Masking Scheme for Block Ciphers

Secure learning-based MPC via garbled circuit

Parity (XOR) Reasoning for the Index Calculus Attack

Blind Turing-Machines: Arbitrary Private Computations from Group Homomorphic Encryption

YuX: Finite Field Multiplication Based Block Ciphers for Efficient FHE Evaluation

Correlated Pseudorandomness from the Hardness of Quasi-Abelian Decoding

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

Circuit knitting with classical communication

A method for obtaining cryptographically strong 8/spl times/8 S-boxes

Toward a Formal and Quantitative Evaluation Framework for Circuit Obfuscation Methods

An improved secure two-party computation protocol

Tabula: Efficiently Computing Nonlinear Activation Functions for Secure Neural Network Inference

Design of Highly Nonlinear Substitution Boxes Based on I-Ching Operators