У нас новая АМА-сессия!

В этот раз к нам придет Андрей Ляшин, ко-фаундер и CTO Pruvendo!🔒

Имея 10-летний опыт создания и руководства инновационными проектами, Андрей расскажет, как применять знания физики и математики в области разработки и обеспечения безопасности смарт-контрактов.

Обсудим тестирование, аудит и формальную верификацию:
— Какая разница между данные методами
— За и против
— Принципы работы формальной верификации
— Сочетание формальной верификации с другими методами проверки
— Проблемы
— Можно ли стать Formal Verification Engineer без специального образования

Стрим пройдет в нашем Телеграм-канале 14 марта в 17-00 МСК.
Добавить в календарь. Задать вопрос.

Guide DAO Канал | Чат | YouTube | X | Сайт

Про формальную верификацию рассказал Андрей Ляшин, ко-фаундер и CTO Pruvendo. Обсудили преимущества ФВ над аудитом, отличия ФВ от тестирования, а также на каких стадиях разработки контракта можно обратиться к ФВ. А еще Андрей рассказал про технологии, лежащие в основе Pruvendo, и про услуги компании.

#AMA Андрей Ляшин, Pruvendo🔓

Содержание:

00:00 Введение
01:07 Образование Андрея, первый бизнес, путь в крипту
03:20 Где узнал про формальную верификацию
05:23 Когда Андрей впервые решил использовать формальные методы
07:50 В каких проектах участвовал
09:07 Влияние образования Андрея на его деятельность в рамках Pruvendo
12:01 Технологии Pruvendo
19:30 Услуги Pruvendo
19:59 Тестирование и формальная верификация. Теорема Пифагора
23:38 Аудит не для Homo sapiens
28:28 ФВ — гарантия неуязвимости контаркта?
31:04 Направления ФВ
36:09 Стадии разработки контракта и ФВ
42:29 Как к ФВ относятся крупные протоколы
44:03 Сочетание ФВ с другими методами проверки
45:47 "Ситуация становится хуже" — про безопасность
48:24 Контракт без аудита и ФВ
50:23 Может ФВ заменить аудит
52:11 Тестирование сервиса Pruvendo
55:45 Целевая аудитория Pruvendo
56:33 Bug Bounty
57:40 Как научиться ФВ
1:04:17 ФВ и zkEVM
1:08:04 Эволюция ФВ
1:11:45 Волна взломов
1:13:51 Тулы моделирования типа cadCAD и ФВ
1:18:00 Финал. "Изучайте то, что нравится. Совершенствуйтесь в том, что получается"

Guide DAO Канал | Чат | YouTube | X | Сайт

Что было в Guide DAO на этой неделе☄️

Про фаззинг рассказал Дмитрий Никифоров, ведущий аудитор Oxorio. На лекции узнали про:
— Виды фаззинга, написание property и asserts, фильтрация функций, транзакции с трансфером эфира, фаззинг полного набора контрактов протокола
— Использование корпуса, параллельный фаззинг
— Фаззинг на основе юнит-тестов, фаззинг контрактов через форк мэйннета

На воркшопе с Денисом Фадеевым, DevEx в ZetaChain, создали омничейн контракт, который позволяет пользователям делать кросс-чейн свопы нативных токенов и ERC-20 между такими блокчейнами, как Ethereum, BSC и Bitcoin. Контракт написан на Solidity и использует омничейн функционал ZetaChain.

Провели АМА-сессию с Андреем Ляшиным, ко-фаундером и CTO в Pruvendo. Подробно обсудили такой метод проверки контрактов, как формальная верификация. Детали тут.

На лекции с Андреем Великим, фаундером и CEO компании Allbridge, обсудили механику работы мостов, их виды, арбитраж, уязвимость мостов, пулы ликвидности, а также проблемы, возникающие при создании и поддержке мостов.

Вот и все! До следующей недели! ❤️

Guide DAO Канал | Чат | YouTube | X | Сайт

Всем привет! У нас новая АМА-сессия!

В этот раз поговорим с Константином Кукушкиным — ко-фаундером стартапа Company DAO, и Амираном Темировым — ко-фаундером, инвестором, а также главным идейным вдохновителем проекта. Company DAO предоставляет услуги по созданию полочных SPV компаний, которые можно использовать для токенизирования любых видов активов!🤩

А проведет сессию Василий Рудоманов, который совсем недавно сам был гостем одной из предыдущих таких сессий!

На стриме еще глубже погрузимся в RWA: узнаем, как проходит процесс токенизации в рамках компании Company DAO, какие есть виды предложения токенов, а также с какими юридическими сложностями можно столкнуться.

Стрим пройдет в нашем Телеграм-канале 19 марта в 17-00 МСК. Добавить в календарь. Задать вопрос.

Guide DAO Канал | Чат | YouTube | X | Сайт

С Константином и Амираном из Сompany DAO обсудили услуги по токенизации активов, юрисдикции, кастомизацию смарт-контрактов, а также подбор специалистов и маркетинг. А зафиналили войс философией work-life balance.

#AMA Константин Кукушкин и Амиран Темиров, Company DAO📍

Содержание

00:00 Введение
01:04 Путь Константина и предыстория Company DAO
04:25 Идея токенизации активов
07:28 Зачем токенизировать недвижимость
09:22 Создание компании
12:23 IPO vs SPAC
13:30 SAFE и SAFT — токенизация ценных бумаг
16:23 Услуги Company DAO
18:45 Почему Вайоминг
22:00 Стоимость создания юр. лица
24:13 Структура Company DAO
26:25 Смарт-контракты — кастомные?
28:35 Аудит
29:21 Клиенты компании
31:11 Инструменты поиска клиентов
32:40 Кейс с Superdao
36:51 DAO без инкорпорации
39:45 TGE
42:28 Планы Company DAO
46:02 Финансирование
47:07 Узкоспециализированные площадки по токенизации
51:37 Почему люди не готовы к покупке токенов
54:35 Привязка реального актива к токену
56:43 Токенизация бизнеса
1:02:14 К нам присоединился Амиран
1:14:40 Поиск специалистов
1:17:17 Советы разработчикам
1:18:14 Совет: слушайте рынок
1:21:16 Стартап vs найм
1:24:04 Work-life balance
1:25:23 Все!

Guide DAO Канал | Чат | YouTube | X | Сайт

Что было в Guide DAO на этой неделе👋

Провели серию воркшопов на английском языке вместе с Брином, Head of Partnerships в GOV.DAO.

Поговорили про DAO: что это такое и для чего нужно, какие есть особенности, как осуществляется децентрализованное управление. Также обсудили юридические и регуляторные аспекты.

На финальном воркшопе Брин рассказал про приватность и существующие решения в области безопасности.

АМА-сессию с Константином Кукушкиным и Амираном Темировым из Сompany DAO провел Василий Рудоманов, гость одной из предыдущих сессий. На стриме обсудили RWA, юрисдикции, контракты, пользователей и не только. Все подробности тут.

Зацените наши уроки по Бласту!
A sneak peek into our Blast Developer Bootcamp
Deploying on Blast with Guide DAO

Увидимся на следующей неделе!❤️

Guide DAO Канал | Чат | YouTube | X | Сайт

Как работает фаззер, какие есть инварианты, в чем недостаток ручного анализа, а также с чем не могут справиться юнит-тесты — все это в райтапе лекции с Дмитрием Никифоровым, ведущим аудитором Oxorio!👀

https://www.guidedao.xyz/ru/blog/approaches-to-testing-using-fuzzer

Всем привет! У нас новая АМА-сессия!

В этот раз поговорим с Антоном Никоновым, разработчиком DeFi и Web3 приложений!🖥

Обсудим риски централизации и возможные последствия в виде цензуры:
— Бан по IP
— Риски использования публичных RPC нод
— Цензура от майнеров
— Бан фронтенда

Стрим пройдет в нашем Телеграм-канале 28 марта в 17-00 МСК. Добавляйте в календарь, чтобы не пропустить! Ждем ваши вопросы в чате!