Система замера эффективности внутреннего представления схем zk-SNARK
ДОКАЗАТЕЛЬСТВО С НУЛЕВЫМ РАЗГЛАШЕНИЕМ zk-SNARK ВНУТРЕННЕЕ ПРЕДСТАВЛЕНИЕ R1CS ЭФФЕКТИВНОСТЬ АЛГОРИТМОВ ZoKrates
Программа предназначена для замера параметров схем доказательства с нулевым разглашением zk-SNARK - количества ограничений во внутреннем представлении (систем ограничений ранга 1, R1CS), времени работы алгоритмов zk-SNARK и размера ключей доказательства. В программе реализованы генератор кода функций и автоматизация запуска команд ZoKrates, проведение экспериментов с замером параметров. Программа позволяет строить графики зависимости измеряемых параметров от входных значений и сохранять результаты в виде табличных данных. Программа может использоваться для замера эффективности схем zk-SNARK и определения их применимости для различных приложений. Тип ЭВМ: IBM PC-совмест. ПК; ОС: Windows 7/8/10/11.
Язык программирования: Python. Объем программы для ЭВМ: 33 КБ
Программа может использоваться для замера эффективности схем доказательства с нулевым разглашением zk-SNARK и определения их применимости для различных приложений.
Дмитрий
Кондырев
Олегович
Младший научный сотрудник
Отсутствует
Отсутствует
ABF-8443-2020
57219114673
—
—
РОССИЯ
Дмитрий
Чуркин
Владимирович
проректор по научно-исследовательской деятельности
РОССИЯ
50.41.25
Прикладное программное обеспечение
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
01.02.EW
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Дмитрий
Кондырев
Олегович
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Петр
Мордовской
Григорьевич
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
НОВОСИБИРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ, НГУ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НОВОСИБИРСКИЙ НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ"
1025403658565
МИХАИЛ
ФЕДОРУК
ПЕТРОВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные автономные учреждения