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

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

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

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

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

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

Как стать валидатором Ethereum 🧬

Понятие Ethereum Staking давно стало неотъемлемой частью DeFi и современного крипто-нарратива, oднако мало кто задается вопросом о том что происходит под капотом этого самого стейкинга.

Подключайтесь на стрим с Дмитрием Гусаковым из Lido, чтобы узнать:

> почему Ethereum Validator на самом деле ничего сам не валидирует;
> откуда берутся награды и риски при стейкинге Ethereum;
> как вы сами можете стать валидатором Ethereum имея всего 1.5 ETH

Готовьте вопросы и присоединяйтесь к нам в этот четверг!

🗓 26 сентября, 17:00 CET
📍 YouTube Cyber Academy

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

Всё, мы начали 🚀

Давайте приходите срочно на стрим!!

https://youtube.com/live/5mfRFMM9Ny4

Bostrom for AI geeks: Network State with Superintelligence 🤖

Тема Decentralized AI не снижает обороты, но мало кто знает, как на самом деле работает коллективное обучение в этой области.

Приходите на стрим в этот четверг, Дима Стародубцев из cyber~сongress будет рассказывать:

> про cyber protocol и их подход к коллективному обучению;
> какие проектные решения формируют децентрализованный AI сейчас;
> как это повлияет на развитие традиционного AI;
> про будущее суперинтеллекта.

Готовьте свои вопросы и не пропустите этот стрим!

🗓 3 октября, 14:00 CET
📍 YouTube Cyber ​​Academy

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

Мы начинаем 🚀

Быстро го на стрим!!

🔗 https://youtube.com/live/a2e2OqRXvdc

Насколько LLMки полезны для аудита смарт-контрактов? 🤖

В этот четверг к нам на стрим придёт Кирилл Балахонов из Nethermind — будем обсуждать применение AI в аудите смартов. Рассмотрим:

- насколько современные LLMы эффективны в поиске багов на Solidity;
- какие AI инструменты существуют на сегодняшний день;
- способен ли АI алгоритм найти критическую уязвимость;

Также на стриме Кирилл разберёт примеры некоторых экспериментов, покажет их результаты и поделится своим алгоритмом работы с AI для аудита.

Как всегда, много полезного — готовьте вопросы и присоединяйтесь к нам в этот четверг!

🗓 5 декабря, 17:00 CET
📍 YouTube Cyber Academy

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

Building a rollup-centric app 🛠

Эволюция Ethereum продолжается, и переход от монолитных протоколов к микросервисным архитектурам становится все более актуален.

Мы позвали на стрим Михаила Лазарева из Gearbox — недавно он опубликовал статью в своём твиттере, где расписал план Gearbox по трансформации в лендинг инфраструктуру для L2 экосистемы

В этот четверг будем детально обсуждать концепт, а так же:
> как устроены современные приложения на роллапах и чем они отличаются от классических протоколов;
> роль микросервисов в масштабировании DeFi-приложений;
> Какие новые возможности для DeFi открывает rollup-ориентированная инфраструктура

Рекомендуем ознакомиться со статьёй, подготовить свои вопросы и присоединиться к стриму!

🗓 23 января, 5:00 PM CET
📍 YouTube Cyber Academy

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

Ethereum Pectra Upgrade 🛠

В марте этого года в сети Ethereum запланирован очередной апдейт, Pectra — это масштабное обновление, которое внесет важные изменения в архитектуру сети.

На стриме в этот четверг Сергей Прилуцкий, Chief of R&D MixBytes, детально разберёт все EIP-ы, планируемые к включению в этот хардфорк и объяснит, как обновление повлияет на экосистему Ethereum:

✧ изменения для валидаторов: увеличение лимита стейкинга с 32 ETH до 2048 ETH, упрощение взаимодействия execution и consensus уровней;
✧ новый BLS12-381 precompile: зачем он нужен и что позволит делать;
✧ изменения в стоимости газа для CALLDATA и BLOB-ов, что это и зачем;
✧ set EOA account code: transactions sponsorship и не только.

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

🗓 13 марта, 5:00 PM CET
📍 YouTube Cyber Academy

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

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

https://youtube.com/live/05-5-urhsZo