Презентація СМС-2 (Еван Грогуль, 7.11.25).

Вітаємо, СМС-спільното!

Запрошуємо на третє засідання СМС у другому сезоні 2025 року.

Тема: "Zero-Knowledge Proofs: A Practical Introduction".

Zero-Knowledge (ZK) is a novel active subfield of cryptography that has introduced numerous solutions to privacy and scalability. Use cases of ZK include anonymous national passport verification, fighting disinformation by verifying photo authenticity, ensuring the integrity of generative AI, and scaling public blockchain infrastructure, among others. While useful, the technology is challenging to use and even more difficult to understand, as it requires a deep understanding of mathematics.
In this lecture, we give a technical yet practical overview of zero-knowledge protocols.

Namely, we:
🔹 Introduce the basic notions of ZK and define the security characteristics of ZK systems.
🔹Demonstrate them using the basic example of an interactive proof of knowledge of the modular square root.
🔹Provide a brief overview of modern ZK and ZK-SNARK (succinct non-interactive argument of knowledge) systems.
🔹Show domain-specific languages used for encoding ZK relations and the performance of real-world ZK systems.

Спікер:
Dmytro Zakharov — R&D Cryptography Engineer at Distributed Lab and MSc student in Mathematics at KSE.

🗓Дата та час: Пт, 21 листопада о 16:30
📍Місце: KSE-Феофанія (вул. Євгенії Мірошниченко 6/11), classroom 4 & Zoom
🔗Реєстрація: за посиланням

Відеозапис СМС-2 у новому сезоні (Еван Грогуль): https://www.youtube.com/watch?v=cTZiAYH59KU

Доброго всім дня, нагадуємо про сьогоднішній третій відкритий семінар лабораторії теорії графів і мережевого аналізу в KSE.

Початок о 18:00. Доєднатися можна вживу в ауд 4.07 (KSE, вул. М. Шпака 3) та онлайн у zoom. До зустрічі!

Відеозапис 3-ого відкритого семінару лабораторії теорії графів і мережевого аналізу в KSE: https://youtu.be/kwlplGWtuy0