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.

Quadratic time $O(n^2)$ Fully Homomorphic public key encryption algorithm based on a unique technique to create p-adic homomorphism from ring X to ring Y

Lattice-based PKEs/KEMs

A New Symmetric Homomorphic Functional Encryption over a Hidden Ring for Polynomial Public Key Encapsulations

The Cubic Public-Key Transformation

Fast polynomial arithmetic in homomorphic encryption with cyclo-multiquadratic fields

The Quartic Public Key Transformation

Homomorphic Encryption Based on Post-Quantum Cryptography

Homomorphic Polynomial Public Key Cryptography for Quantum-secure Digital Signature

Publickey encryption by ordering

Quantum homomorphic encryption from quantum codes

A quantum approach to homomorphic encryption

Homomorphic Encryption of the k=2 Bernstein-Vazirani Algorithm

A Non-commutative Cryptosystem Based on Quaternion Algebras

Rotation-k Affine-Power-Affine-like Multiple Substitution-Boxes for Secure Communication

A New ElGamal-Based Algebraic Homomorphism and Its Application

Extension Field Cancellation: A New Central Trapdoor for Multivariate Quadratic Systems

Secure cloud computations: Description of (fully)homomorphic ciphers within the P-adic model of encryption

Public key encryption algorithm based on Chebyshev polynomials over finite fields

Fully Homomorphic Encryption Algorithm Based on Integer Polynomial Ring

Fast Modular Multiplication And Parallel Algorithms In Public-Key Cryptosystems

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