Розглянуто основні поняття теорії інтерактивних доведень, запропоновано протокол доведення знання розв’язку задачі Діффі–Хеллмана з властивістю нульового розголошення, який використовує математичний апарат білінійних відображень.
Description:
The paper contains main concepts of the interactive proof theory and suggests zero-knowledge proof of Diffie–Hellman problem solution with bilinear maps.