Неделя ZK в Guide DAO!⚡️

Погрузились в Zero-knowledge протоколы вместе с Михаилом Вороновым из Fluence Labs.

Изучили участников ZKP, обсудили основные строительные блоки и понятия, поговорили про фронтенд и бэкенд ZK протоколов, про разницу между zkSNARK и zkSTARK. Также на конкретных примерах посмотрели на работу такого способа арифметизации, как AIR.

На второй лекции посмотрели на API RISC Zero, а после Михаил рассказал про еще один способ арифметизации — PLONK и его механизмы, такие как Copy Constraints и Custom Gates.

Зафиналили неделю стримом с Артёмом Григором, кофаундером Confidenti, ex-разработчиком Aragon, который только что вернулся с ZK Summit! Артём поделился новыми технологиями и интересными решениями в области ZKP: гейминг, ZK Machine Learning, ZKVM, ZKPassport, Data Bridging, MPC.

Вот и все! Всем хороших выходных!🌸

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

Какое отношение блокчейн имеет к переработке пластика? Разберемся вместе с Алексеем Аметовым на новой АМА-сессии!

Алексей работал журналистом в «Газете.Ru», Forbes, Newsweek, а в 2006 году занялся собственным проектом Look At Me. К 2011 году интернет-журнал Look At Me вырос в издательский дом Look At Media с такими проектами как The Village, Look At Me, Wonderzine и Hopes and Fears.

Сейчас Алексей строит свой стартап TrustedPlastic, который будет сочетать в себе технологии компьютерного зрения и блокчейн для обеспечения абсолютной прозрачности при отслеживании процессов переработки пластика.🌱

Все подробности про идею проекта, технологию, лежащую в основе, финансирование, а также каким образом блокчейн будет интегрирован в бизнес-процессы, узнаем на стриме!

Встретимся в нашем Телеграм-канале 25 апреля в 16-30 МСК.

Добавить в календарь | Задать вопрос

Узнали, как блокчейн позволяет оптимизировать отслеживание процессов переработки пластика у Алексея Аметова, кофаундера TrustedPlastic! Алексей поделился своим видением проблемы, а также рассказал про то, как с помощью компьютерного зрения можно сортировать пластик.

#AMA Алексей Аметов, TrustedPlastic 🟢

Содержание

00:00 Введение
00:40 Алексей о себе
04:00 Что привело к данному направлению
08:35 Компьютерное зрение — что это?
12:15 На каком блокчейне построен проект
15:10 Что реализовать сложнее всего
19:00 Ораклы
21:00 Отслеживание перерабатываемых материалов
22:18 Определение категории пластика
25:25 Источники финансирования
26:55 Как долго Алексей занимается проектом
27:54 Есть ли похожие проекты
31:55 Документы
33:30 Обратная токенизация
35:00 С какой проблемой команда Алексея обратилась к юристам
35:50 Legal-специалисты
37:20 Сотрудничество с заводами и другими компаниями
41:10 Как проект был бы реализован без блокчейна
43:50 Какой процент пластика попадает на переработку
50:10 Как Алексей относится к пластику
51:50 Осведомленность людей о проблеме
54:00 Финал

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

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

Про то, как безопасно хранить свои активы и осуществлять транзакции, рассказал Никита Соколов, COO в 1inch Hardware Wallet, на новой лекции! Обсудили хранение паролей, хардверные кошельки, популярные виды скама и как их можно распознать с помощью ChatGPT.

На АМА-сессии с Алексеем Аметовым, кофаундером TrustedPlastic, узнали про переработку пластика и роль блокчейна в этом процессе. Послушать можно тут.

Поговорили с участником Guide DAO! Рома рассказал про:

— Обучение программной инженерии
— Хакатон, организованный универом
— Почему выбрал Guide DAO и как проходил процесс обучения
— Стратегия поиска работы
— Тестовые задания
— Работу фронтенд-разработчиком

На этом все! Увидимся на следующей неделе!👋

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

Продолжаем погружаться в формальную верификацию вместе с Константином Бритиковым, веб3-разработчиком в Daoism Systems и Curve Labs!⚙️

Обсудим:
— Зачем нужна формальная верификация
— Дедуктивная и автоматическая ФВ и их применение
— Академия и индустрия: как влиться в верификацию и начать ее использовать

Ведущим сессии будет Андрей Ляшин, кофаундер и CTO Pruvendo, который уже неоднократно приходил в Guide DAO! Перед АМА-сессией рекомендуем посмотреть лекцию Андрея про процесс верификации контрактов и доказательство свойств!🧑‍🎓

Стрим пройдет в нашем Телеграм-канале 2 мая в 17-00 МСК.

Добавить в календарь | Задать вопрос

Deep dive в формальную верификацию вместе с Константином Бритиковым, веб3-разработчиком в Daoism Systems и Curve Labs, и Андреем Ляшиным, кофаундером и CTO Pruvendo!

Обсудили, что есть ФВ и какие методы проверки к ней относятся, заменят ли нейронные сети верификаторов, из каких частей складывается безопасность контракта, верифицируем протокол или нет, и еще очень много всего!

#AMA Константин Бритиков, Daoism Systems⬜️

Содержание:

00:00 Введение
00:37 Путь Константина ФВ
04:31 Зачем нужна ФВ
09:34 Характер деятельности Константина в рамках PhD
12:22 Результат научных исследований
18:00 Что является формальной верификацией, а что нет
23:20 ФВ нерешаемых задач
25:20 Как получить спецификацию от разработчиков
32:00 Различные курсы подготовки
33:30 Верификация верификаторов
35:30 Безопасность смарт-контрактов с точки зрения верификатора
41:35 Невозможность ФВ
43:10 Составные части безопасности смарт-контрактов
48:00 Автоматические решатели
49:00 ФВ реальных алгоритмов
51:44 Что делать с асинхронными сообщениями
58:25 ФВ VS аудит DeFi-протоколов
1:02:13 Сначала разработка, а потом уже аудит и ФВ?
1:05:40 Работа приложений
1:08:40 ФВ как процесс
1:14:50 Лидеры рынка ФВ
1:18:33 Математика и компьютер
1:27:12 Когда LLM уволят верификаторов
1:33:12 Как стать верификатором
1:38:00 Фундаментальное образование VS навык
1:41:30 Напутствие начинающим
1:43:40 Финал

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