MyOPE: Malicious SecuritY for Oblivious Polynomial Evaluation - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

MyOPE: Malicious SecuritY for Oblivious Polynomial Evaluation

Résumé

Oblivious Polynomial Evaluation (OPE) schemes are interactive protocols between a sender with a private polynomial and a receiver with a private evaluation point where the receiver learns the evaluation of the polynomial in their point and no additional information. In this work, we introduce MyOPE, a "short-sighted" non-interactive polynomial evaluation scheme with a polylogarithmic communication complexity in the presence of malicious senders. In addition to strong privacy guarantees, MyOPE enforces honest sender behavior and consistency by adding verifiability to the calculations. The main building block for this new verifiable OPE is an inner product argument (IPA) over rings that guarantees an inner product relation holds between committed vectors. Our IPA works for vectors with elements from generic rings of polynomials and has constant-size proofs that consist in one commitment only while the verification, once the validity of the vector-commitments has been checked, consists is one quadratic equation only. We further demonstrate the applications of our IPA for verifiable OPE using Fully Homomorphic Encryption (FHE) over rings of polynomials: we prove the correctness of an inner product between the vector of powers of the evaluation point and the vector of polynomial coefficients, along with other inner-products necessary in this application's proof. MyOPE builds on generic secure encoding techniques for succinct commitments, that allow realworld FHE parameters and Residue Number System (RNS) optimizations, suitable for high-degree polynomials.
Fichier principal
Vignette du fichier
main.pdf (646.77 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03820565 , version 1 (19-10-2022)

Identifiants

Citer

Malika Izabachène, Anca Nitulescu, Paola de Perthuis, David Pointcheval. MyOPE: Malicious SecuritY for Oblivious Polynomial Evaluation. SCN 2022 - 13th Conference on Cryptography and Security for Networks, Sep 2022, Amalfi, Italy. pp.663-686, ⟨10.1007/978-3-031-14791-3_29⟩. ⟨hal-03820565⟩
103 Consultations
221 Téléchargements

Altmetric

Partager

More