TY - PAT

T1 - Система замера эффективности внутреннего представления схем zk-SNARK

AU - Кондырев, Дмитрий Олегович

PY - 2023/11/7

Y1 - 2023/11/7

N2 - Программа предназначена для замера параметров схем доказательства с нулевым разглашением zk-SNARK - количества ограничений во внутреннем представлении (систем ограничений ранга 1, R1CS), времени работы алгоритмов zk-SNARK и размера ключей доказательства. В программе реализованы генератор кода функций и автоматизация запуска команд ZoKrates, проведение экспериментов с замером параметров. Программа позволяет строить графики зависимости измеряемых параметров от входных значений и сохранять результаты в виде табличных данных. Программа может использоваться для замера эффективности схем zk-SNARK и определения их применимости для различных приложений.

AB - Программа предназначена для замера параметров схем доказательства с нулевым разглашением zk-SNARK - количества ограничений во внутреннем представлении (систем ограничений ранга 1, R1CS), времени работы алгоритмов zk-SNARK и размера ключей доказательства. В программе реализованы генератор кода функций и автоматизация запуска команд ZoKrates, проведение экспериментов с замером параметров. Программа позволяет строить графики зависимости измеряемых параметров от входных значений и сохранять результаты в виде табличных данных. Программа может использоваться для замера эффективности схем zk-SNARK и определения их применимости для различных приложений.

KW - ДОКАЗАТЕЛЬСТВО С НУЛЕВЫМ РАЗГЛАШЕНИЕМ

KW - ZK-SNARK

KW - ВНУТРЕННЕЕ ПРЕДСТАВЛЕНИЕ

KW - R1CS

KW - ЭФФЕКТИВНОСТЬ АЛГОРИТМОВ

KW - ZOKRATES

M3 - свидетельство о регистрации программы для ЭВМ

M1 - 2023683372

Y2 - 2023/11/01

PB - Роспатент - Федеральная служба по интеллектуальной собственности

ER -