Системы Интернета вещей (IoT) генерируют огромные объемы данных, требующих обработки с сохранением конфиденциальности. Доказательства с нулевым разглашением (ZKP) представляют собой перспективный криптографический метод для обеспечения конфиденциальности в таких системах. Однако различные схемы ZKP имеют разные характеристики производительности, особенно на ресурсоограниченных IoT-устройствах. Проект направлен на детальное исследование и сравнение этих схем в реальных условиях IoT, с акцентом...Подробнее

Провести детальный анализ и сравнение различных схем доказательств с нулевым разглашением (например, Groth16, PLONK, Bulletproofs, SNARKS) в контексте их применения в системах Интернета вещей для определения оптимальных решений с учетом вычислительной сложности, размера доказательств и энергопотребления на ресурсоограниченных устройствах.

Работа ведется по циклам. Задачи ставятся в начале цикла, в конце подводятся итоги по выполненному и создаются новые, корректируются прошлые задачи. • Регулярные научные семинары каждые 4 недели • Промежуточные отчеты о результатах экспериментов • Обсуждение методологии исследования и промежуточных выводов • Отчетность о результатах представляется по графику проектной работы

По итогам проекта должно быть представлено следующее: 1. Научный отчет с результатами исследования 2. Методология оценки эффективности схем ZKP для IoT 3. Рекомендации для разработчиков систем IoT 4. Научная статья для публикации 5. Презентация результатов исследования

1. Различные типы IoT-устройств для тестирования (ESP32, Raspberry Pi, Arduino и др.) 2. Оборудование для измерения энергопотребления 3. Программное обеспечение для криптографических вычислений и анализа данных 4. Доступ к научным базам данных и литературе 5. Вычислительные ресурсы для проведения экспериментов 6. Криптографические библиотеки и инструменты разработки ZKP

-