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.

Efficient and Secure Multiparty Computation from Fixed-Key Block Ciphers

More Insights on Blockcipher-Based Hash Functions.

Better Concrete Security for Half-Gates Garbling (in the Multi-instance Setting)

Efficient Secure Computation from SM Series Cryptography

Parallel Hash Function Based on Block Cipher

Permutation-Based Tweakable On-line Cipher with Improved Security Guarantees

Secure Computation Framework for Multiple Data Providers Against Malicious Adversaries

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

On the Design of Secure and Fast Double Block Length Hash Functions

Generalized Triangular Dynamical System: An Algebraic System for Constructing Cryptographic Permutations over Finite Fields

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

Block Cipher in the Ideal Cipher Model: A Dedicated Permutation Modeled As a Black-Box Public Random Permutation

Area-efficient Polynomial Modular Multiplication over GF(2∧n) and Application to AES

Accelerating Block Cryptography Algorithms in Procedure Level Speculation

Securing Fixed-Base Comb Method for Scalar Multiplication Against SPA Attacks

Extended Multivariate Public Key Cryptosystems with Secure Encryption Function

Secure Multiparty Vector Computation

Quantum Key-length Extension

Efficient Construction of CCA-Secure Threshold PKE Based on Hashed Diffie-Hellman Assumption

Secure and Efficient Random Functions with Variable-Length Output

Secure Multi-Party Computation for Minimum and Its Applications