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

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

Разработана программная система замера эффективности внутреннего представления схем zk-SNARK. Система предназначена для измерения параметров схем доказательства с нулевым разглашением zk-SNARK - количества ограничений во внутреннем представлении систем ограничений ранга 1 (R1CS), времени работы ал...

Полное описание

Библиографическая информация
Опубликовано в: :	Прикладная дискретная математика. Приложение № 17. С. 129-131
Главный автор:	Кондырев, Дмитрий Олегович
Формат:	Статья в журнале
Язык:	Russian
Предметы:	доказательство с нулевым разглашением эффективность алгоритмов zk-SNARK, криптографический протокол ZoKrates, программные инструменты статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001144711 Перейти в каталог НБ ТГУ

Похожие документы

Анализ эффективности криптографических алгоритмов для применения в zk-SNARK
по: Кондырев, Дмитрий Олегович

Метод обеспечения конфиденциальности данных на основе zk-SNARK
по: Кондырев, Дмитрий Олегович

Метод сокрытия приватных данных для блокчейн-системы проведения тендеров
по: Кондырев, Дмитрий Олегович

Схема групповой аутентификации на основе доказательства с нулевым разглашением
по: Шляхтина, Елена Анатольевна

Способы повышения производительности кратких неинтерактивных аргументов с нулевым разглашением и анализ достигнутых результатов
по: Мартыненков, Игорь Владимирович

Краткие неинтерактивные аргументы с нулевым разглашением на основе наборов полиномов
по: Мартыненков, Игорь Владимирович

Постквантовое электронное голосование на основе решеток при участии нескольких кандидатов
по: Набоков, Денис Алексеевич

Протокол доказательства с нулевым разглашением в технологии блокчейн
по: Круглов, Сергей Александрович

О конфиденциальности транзакций в децентрализованных системах учета токенов

Разработка метода сокрытия приватных данных для системы тендеров на основе технологии блокчейн
по: Кондырев, Дмитрий Олегович

Основные этапы развития криптографических протоколов SSL/TLS и IPsec
по: Мартыненков, Игорь Владимирович

Использование российских криптографических алгоритмов в протоколе безопасности сетевого уровня WireGuard
по: Колегов, Денис Николаевич

Криптографические протоколы. Основные свойства и уязвимости [учебное пособие для вузов по специальности "Компьютерная безопасность"]
по: Черемушкин, Александр Васильевич
Публикация: (2009)

Атаки на протоколы аутентифицированной выработки общего ключа на основе схем подписи при связанных ключах участников
по: Алексеев, Евгений Константинович

Расчет средней скорости распределения ключа по протоколу BB84 между беспилотными авиационными системами
по: Якименко, Филипп Александрович

Интеграция отечественных протоколов выработки общего ключа в протокол TLS 1.3

Реальная криптография
по: Вонг, Дэвид
Публикация: (2024)

Алгоритм распределения нагрузки в программной системе, построенной на основе протокола HDP
по: Павликов, Максим Константинович

Метод авторизации клиентских приложений в гетерогенной распределенной программной системе, построенной на основе протокола HDP
по: Павликов, Максим Константинович

Метод нелинейного разложения для анализа криптографических схем, использующих автоморфизмы групп
по: Романьков, Виталий Анатольевич 1948-2023

The hunting of the snark
по: Carroll, Lewis 1832-1898
Публикация: (1998)

О стойкости ключевых хеш-функций, основанных на ГОСТ 34.11-2018 ("Стрибог"), к атакам на ключ
по: Сергеев, Андрей Михайлович

Математическая логика и теория алгоритмов учебное пособие : [для курса "Математическая логика и теория алгоритмов" направлений подготовки бакалавров "Информатика и вычислительная техника" и "Управление в технических системах"]
по: Зюзьков, Валентин Михайлович
Публикация: (2015)

Криптография и безопасность сетей учебное пособие
по: Фороузан, Бехроуз А.
Публикация: (2010)

Современные алгоритмы блочного шифрования и методы их анализа [учебное пособие для студентов вузов, обучающихся по специальностям 090103 "Организация и технология защиты информации", 090104 "Комплексная защита объектов информатизации"]
по: Бабенко, Людмила Климентьевна
Публикация: (2006)

Построение разностного соотношения для алгоритма КБ-256
по: Курочкин, Алексей Вячеславович

Избранные теоремы начального курса криптографии учебно-методический комплекс
по: Агибалов, Геннадий Петрович 1939-2020
Публикация: (2007)

Избранные теоремы начального курса криптографии учебное пособие
по: Агибалов, Геннадий Петрович 1939-2020
Публикация: (2005)

Криптография от примитивов к синтезу алгоритмов : [для специалистов в области безопасности информации, криптографии, прикладной математики, информатики и электроники, а также преподавателей, студентов и аспирантов инженерно-технических вузов]
по: Молдовян, Николай Андреевич
Публикация: (2014)

Криптографический анализ обобщенного протокола Эль-Гамаля над группой GL(8, F251)
по: Болотов, Данила Дмитриевич

Криптография скоростные шифры
Публикация: (2014)

Клептографические (алгоритмические) закладки в генераторе ключей RSA
по: Маркелова, Александра Викторовна

Различные аспекты задачи N тел [сборник статей]
Публикация: (2011)

Теорема Геделя о неполноте
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (1982)

Простейшие примеры математических доказательств [брошюра]
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (2019)

Обнаружение нарушений безопасности в сетях [пер. с англ.]
по: Норткат, Стивен
Публикация: (2003)

Криптоанализ RSA
по: Ян, Сонг Й
Публикация: (2011)

В поисках концепции правового регулирования платформенной занятости
по: Серова, Алена Вадимовна

Топографическое положение точек замера при электроиглотерапии Пер. с нем.
по: Фолль, Райнхоль
Публикация: (1993)

ZKв"ў Ajax Without JavaScriptв"ў Framework /
по: Chen, Henri
Публикация: (2007)