Результаты исследований: Патенты/Свидетельства о регистрации › свидетельство о регистрации программы для ЭВМ
Система замера эффективности внутреннего представления схем zk-SNARK. / Кондырев, Дмитрий Олегович (автор).
Роспатент - Федеральная служба по интеллектуальной собственности. Номер патента: 2023683372. нояб. 07, 2023.Результаты исследований: Патенты/Свидетельства о регистрации › свидетельство о регистрации программы для ЭВМ
}
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 -
ID: 59492517