Дослідження та розробка алгоритму верифікації інформації з використанням протоколу Доведення з нульовим розголошенням

Abstract

Робота присвячена формуванню алгоритму верифікації інформації з використанням протоколів ZKP. В якості рішення проблеми було запропоновано алгоритми верифікації на мові програмування Rust, з використанням бібліотеки Halo2, яку використовували в ZCash. Метою роботи є аналіз сучасної архітектури існуючих ZKP-рішень, спрощення та прискорення роботи з бібліотеками ZKP-рішень шляхом розробки алгоритмів з їх використанням. В результаті роботи були сформовані доцільні алгоритми ZKP-рішень для розглянутих проблем на основі бібліотеки Halo2, розглянута архітектура і завдання сучасних продуктів, які використовують ZKP в своїх системах, сформовані слабкі ти сильні сторони ZKP-алгоритмів на прикладах. Практичною цінністю розроблених алгоритмів є дослідження та використання ZKP для формування схем доведення знань будь-якого роду без їх розкриття. Отримані результати допоможуть зробити роботу з бібліотекою Halo2 більш зручною та швидкою.

The work is devoted to the formation of an information verification algorithm using ZKP protocols. As a solution to the problem, 3 verification algorithms were proposed in the Rust programming language, using the Halo2 library, which was used in ZCash. The purpose of the work is to analyze the modern architecture of existing ZKP-solutions, consider and develop information verification algorithms using the Halo2 library, further simplify and speed up work with ZKP-solution libraries. As a result of the work, appropriate ZKP-solution algorithms were formed for the considered problems based on the Halo2 library, the architecture and tasks of modern products that use ZKP in their systems were considered, the weaknesses and strengths of ZKP-algorithms were formed using examples. The practical value of the developed algorithms is the study and use of ZKP for the formation of knowledge proof schemes of any kind without their disclosure. The obtained results will help to make working with the Halo2 library more convenient and faster.