Data verification protocol for a confidential computing scheme with homomorphic encryption

DOI: 10.21293/1818-0442-2024-27-2-31-36

Download article in PDF format

JATS xml

Abstract: Auction trading systems and Big Data technologies play an important role in modern society. However, as soon as these technologies deal with the finances of their users, there is a need to implement security systems in them to ensure the possibility of data verification. The article proposes a data verification pro-tocol based on the use of homomorphic encryption. A formal safety assessment of the developed protocol is shown, and an analysis from a probabilistic standpoint is carried out.

Keywords: confidential computing, homomorphic encryption, data verification, auction bidding

Funding: The study was conducted with the financial support of the Ministry of Education and Science of the Russian Federation (Grant IB MTUCI) No. 40469-08/23-K.

For citation:
Bystrevskiy S. A., Borshevnikov A. E., Dobrzhinskiy Yu. V. Data verification protocol for a confidential computing scheme with homomorphic encryption. Doklady Tomskogo gosudarstvennogo universiteta sistem upravleniya i radioelektroniki, 2024, vol. 27, no. 2, pp. 31–36. DOI: 10.21293/1818-0442-2024-27-2-31-36

Authors and copyright holders:

  • 1. Shelupanov A.A., Bragin D.S., Konev A.A., Permyakov R.A. [Technologies of trusted interaction in the ecosystem of the National Technology Initiative] Sovremennoye obrazovaniye: integratsiya obrazovaniya, nauki, biznesa i vlasti: Materialy mezhdunarodnoy nauchno-metodicheskoy konferentsii [Modern education: integration of education, science, business and government: Proceedings of the international scientific and methodological conference], Tomsk, TUSUR Publ., 2022, pt. 2, pp. 15–20 (in Russ.).
  • 2. Bystrevsky S.A., Borshevnikov A.E. [On one algorithm of confidential calculations based on homomorphic encryption for conducting auctions] Molodezh'. Nauka. Innovatsii: Sbornik dokladov 65-y mezhdunarodnoy molodezhnoy nauchno-tekhnicheskoy konferentsii [Youth. Science. Innovations: Collection of Reports of the 65th International Youth Scientific and Technical Conference.], Vladivostok, Admiral Nevelskoy Maritime State University Publ., 2023, vol. 1, pp. 143–148.
  • 3. Zagartdinov B.N., Polyakov M.V. [Analysis of the implementation of confidential computing technologies]. Cybersecurity Issues, 2023, no. 6 (58), pp. 122–127 (in Russ.).
  • 4. Bereshpolov I.S., Kravchenko Yu.A., Sleptsov A.G. [Data clustering algorithm for protecting confidential information on the Internet] Izvestiya SFedU. Engineering Sciences, 2023. no. 3 (233), pp. 74–85 (in Russ.).
  • 5. Schneider T., Zohner M. GMW vs. Yao? Ecient Secure Two-Party Computation with Low Depth. ACS Sensors, 2017, vol. 2, no. 8, pp. 1128–1132.
  • 6. Zapechnikov S.V., Shcherbakov A.Yu. [Confidential machine learning based on two-way protocols of secure computing] IT Security, 2021. vol. 28, no. 4, pp. 39–51 (in Russ.).
  • 7. Zapechnikov S.V. [Confidential machine learning based on three-way secure computing protocols] IT Security, 2022. vol. 29, no. 1, pp. 30–43 (in Russ.).
  • 8. Zapechnikov S.V. [Confidential machine learning based on four-sided secure computing protocols] IT Security, 2022, vol. 29, no. 2, pp. 46–56 (in Russ.).
  • 9. Asharovy G, Lindelly Y. A Full Proof of the BGW Protocol for Perfectly Secure Multiparty Computation. DSPA: Issues of Application of Digital Signal Processing, 2018, vol. 8, no. 1, pp. 12–17. DOI: 10.1007/s00145-015-9214-4.
  • 10. Al-Bassam M., Sonnino A., Krol M., Psaras I. Airtnt: Fair exchange payment for outsourced secure enclave computations. arXiv preprint, 2018, URL: https://arxiv.org/pdf/1805.06411, free (Accessed: July 23, 2024).
  • 11. Bentov I., Ji Y., Zhang F., Li Y., Zhao X., Breidenbach L., Daian P., Juels A. Tesseract: Real-time cryptocurrency exchange using trusted hardware. Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, pp. 1521–1538. DOI: 10.1145/3319535.3363221.
  • 12. Cheng R., Zhang F., Kos J., He W., Hynes N., Johnson N., Juels A., Miller A., Song D. Ekiden: A platform for confidentiality-preserving, trustworthy, and performant smart contracts. 2019 IEEE European Symposium on Security and Privacy (Eu-roS&P), 2019, pp. 185–200. DOI: 10.1109/EuroSP.2019.00023.
  • 13. Galal H.S., Youssef A.M. Succinctly verifiable sealed-bid auction smart contract. Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2018, pp. 3–19. DOI: 10.1007/978-3-030-00305-0_1.
  • 14. Kazarin O.V. [Development of methods for proactive protection of information systems based on confidential computing] Information Security Issues, 2013, no. 3 (102), pp. 68–80 (in Russ.).
  • 15. Varanovsky N.P., Martishin S.A., Khrapchenko M.V., Shokurov A.V. [Threshold schemes of homomorphic encryption and information protection in cloud computing] Bulletin of the Moscow University. Series 15: Computational Mathematics and Cybernetics, 2017, no. 1, pp. 38–44.
  • 16. Rusalovsky I.D., Babenko L.K. [The problem of complete homomorphic processing of integers] Bezopasnost' informatsii i komp'yuternykh setey (SIN 2019): Materialy 12-y Mezhdunarodnoy nauchnoy konferentsii [In the collection: Information and Computer Network Security (SIN 2019). Materials of the 12th International Scientific Conference], Sochi, Sochi State University Publ., 2019, pp. 41–43.
  • 17. Babenko L.K., Rusalovsky I.D. [Library of complete homomorphic encryption of integers] Izvestiya SFedU. Engineering Sciences, 2020, no. 2 (212), pp. 218–227 (in Russ.).
Editorial office address

Executive Secretary of the Editor’s Office

 Editor’s Office: 40 Lenina Prospect, Tomsk, 634050, Russia

  Phone / Fax: + 7 (3822) 701-582

  journal@tusur.ru

 

Viktor N. Maslennikov

Executive Secretary of the Editor’s Office

 Editor’s Office: 40 Lenina Prospect, Tomsk, 634050, Russia

  Phone / Fax: + 7 (3822) 51-21-21 / 51-43-02

Subscription for updates