Начинаем стрим ?
Присоединяйтесь прямо сейчас!

? https://youtube.com/live/3x7GV1Xoy94

Формальная верификация, что это? ⚙️

В эту среду проводим стрим с Полиной Толмач, Tech Lead из Runtime Verification, про формальную верификацию и её значение для безопасности смарт контрактов.

На стриме обсудим:
- Что такое формальная верификация, зачем нужна?
- Чем она отличается от других подходов к обеспечению безопасности смарт контрактов, таких как статический анализ, тестирование и фаззинг?
- Как интегрировать инструменты формальной верификации в жизненный цикл разработки на примере Kontrol?

Готовьте вопросы и присоединяйтесь в эту среду!

?️ 3 июля, 5:00 PM CET
? YouTube Cyber Academy

Ссылка на стрим| Добавить в календарь

Стрим начался ? Присоединяйтесь прямо сейчас!

? https://www.youtube.com/watch?v=1c-dq_VGu8s

Начинаем стрим про децентрализованый AI со Степаном Гершуни прямо сейчас, присоединяйтесь!

? https://www.youtube.com/live/JhyzPWMcXI4?si=g2m4oPK0kohFsosw

Децентрализованный AI развивается очень стремительно: появляются новые проекты, рынок формирует понимание о ключевых игроках и технологическом стеке ⚙️Степан Гершуни, VC cyber.fund на протяжении нескольких лет активно ресёрчит эту область, о чём регулярно пишет в своём канале @cryptoEssay
Позвали Степана на стрим 19 апреля рассказать про текущее состояние рынка DeAI, а также:

**️⃣про централизованный A(G)I и децентрализованный AI — в чем разница и как это влияет на всех нас?️⃣про методы и механизмы, которые могут обеспечить безопасное использование технологии;*️⃣**как децентрализация поможет нам избежать влияния крупных корпораций и государств.Готовьте вопросы и присоединяйтесь в эту пятницу!

?️ 19 апреля, 4:00 PM CET
? YouTube Cyber Academy

Ссылка на стрим | Добавить в календарь

Стартуем стрим про EIP-4788 ? Подключайтесь прямо сейчас!

? https://www.youtube.com/watch?v=VeZpOUtS_Yk

Zero Knowledge Bootcamp c 1 по 8 ноября! ?
Продолжаем усердно изучать ZKP, только на этот раз пойдём наоборот: не от теории, а от практики.

Совместо с друзьями из Oxorio мы подготовили для вас интенсивную программу погружения в мир ZKP, состоящую из трёх блоков.

*️⃣ 1 Ноября*️⃣
Блок 1. Строим ZK Rollup на BabyRoll
​Спикер: Владимир Кумалагов

— Знакомимся с применением ZKP, ZK Rollup через BabyRoll — обучающий проект, написанный с использованием Circom и SnarkJS, который на практике демонстрирует основные концепции ZK без погружения в сложную математическу и криптографию.

​*️⃣ 6 Ноября *️⃣
Блок 2. Концепция Zero Knowledge Proof и её применение
​Спикер: Александр Мазалецкий

— Знакомимся с историей развития проколов ZKP;— На примере игры Sudoku разбираем концепцию Zero Knowledge;— Изучаем интерактивные и не интерактивные протоколы; протоколы Groth16 и Plonk; практикуемся в их использовании на примере BabyRoll, а также инструментов Circom и SnarkJS.— Знакомимся с различными библиотеками, компиляторами и языками, которые используются в ZKP.
​*️⃣ 8 Ноября *️⃣
Блок 3. Протокол Groth16​Спикер: Дмитрий Никифоров

— Изучаем ZKP алгоритм Groth16: математические основы работы, составляющие, инструменты, сфера применения

Подробную программу, требования к участию и все детали ищите на сайте cyberacademy.dev и на странице регистрации.

Участие бесплатное, регистрация обязательна!

? https://lu.ma/zk-bootcamp

Прямая трансляция ZK митапа:

? https://www.youtube.com/live/r-UMosEJqbk

Присоединяйтесь прямо сейчас !

YouTube

ZK Meetup Tbilisi

Митап в Тбилиси 25 октября про zero knowledge ***👾*** Подробности: https://cyberacademy.dev/events/73-zk-meetup 00:00 Opening 05:50 One-slide-pitch 19:40 Олег Тараскин, старший инженер-криптограф @ Waves «Эволюция рекурсивных снарков» 01:04:08 Петр Королев…