Узнали, как блокчейн позволяет оптимизировать отслеживание процессов переработки пластика у Алексея Аметова, кофаундера 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 | Сайт

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

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

Что делать, если вы обнаружили у себя грязную крипту, рассказал Дмитрий Мачихин, фаундер BitOk! Узнали, как заплатить налог с дохода в крипте, с помощью каких средств можно проверить свой кошелек, как не допустить отмывания денег через свою компанию. Также обсудили регулирование и подходы к мониторингу криптовалют.

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

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

Что такое DeFi, и для чего нужен этот инструмент, спросим у Крипто Ламера на новой АМА-сессии!🎙

Узнаем, какие существуют DeFi-решения, как начать пользоваться экосистемой, какие есть стратегии и виды заработка. Обязательно спросим про доходность и риски, а также обсудим текущее состояние DeFi-сектора рынка.

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

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

Что такое децентрализованные финансы, и чем они отличаются от традиционных, спросили у Крипто Ламера, DeFi-адвайзера и BD в DeCommas.io.

Обсудили механизмы DeFi, подсчет доходности, пулы ликвидности, абстракцию аккаунтов, ликвидный стейкинг и рестейкинг, а также регулирование DeFi. Еще поговорили про трудности, с которыми сталкиваются начинающие пользователи, и способы их решения.

#AMA Crypto Lamer, DeCоmmas⚡️

Содержание:

00:00 Введение
01:10 Путь Артёма
05:25 Чем Артём занимается в DeCommas
07:25 Процесс обучения персонала
09:33 Продукт DeCommas
10:50 3Commas — материнская компания
12:00 DeFi — это?
16:01 Базовые операции в DeFi: выдача займов; обмен активов; создание деревативов
18:48 "Контроль своих средств" — это про что?
22:20 Доходность протоколов
24:24 Как выбрать протокол
26:41 Как разобраться в DeFi
28:07 Какую проблему решает пул ликвидности
31:30 Верификация комиссий
32:47 Как работают дексы
36:29 АММ
38:00 Исчезнут ли централизованные биржи?
42:00 Регуляция: почему так сложно?
46:20 Признание токенов ценными бумагами
48:14 Абстракция аккаунтов — упрощение пользования протоколами
50:30 Простым языком про безопасность
52:30 Надо ли уметь читать контракт, чтобы пользоваться DeFi
58:15 Бизнес-идеи
1:01:52 Продвижение продукта
1:04:19 Всем ли компаниям надо переходить в Web3?
1:05:36 Ликвидный стейкинг
1:08:40 Рестейкинг
1:10:45 Рестейкинг рестейкинга
1:12:06 Какие монеты фармит Ламер
1:15:46 Доходность и риски
1:17:17 Падение портфеля
1:20:39 YT и PT токены Pendle
1:24:54 Проблемы взаимодействия с DeFi
1:28:10 Где учиться
1:34:40 Trusted execution environment / ZK
1:37:00 Советы разработчикам
1:39:16 Финал

Скидка 10% при покупке буткемпа на сайте guidedao.xyz по промокоду LAMER.

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

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

Какие существуют DeFi-протоколы и какая между ними разница, спросили у Крипто Ламера на новой АМА-сессии! Обсудили пулы ликвидности, контроль доходности, рестейкинг рестейкинга, децентрализованные биржи и роль АММ в них.

Слушайте войс!

Сергей Симоновский, фаундер Citizen Web3, рассказал про валидацию нод, мосты и L1. Также посравнивали экосистемы Cosmos и Ethereum.

Обсудили главные новости крипты:

— Текущая ситуация BTC/USD: https://pro.kraken.com/app/trade/btc-usd
— M2 money supply
— Приток средств в $GBTC
— “Wells notice” Robinhood от SEC по поводу криптобизнеса: https://newsroom.aboutrobinhood.com/robinhood-response-to-receipt-of-wells-notice-from-the-u-s-securities-and-exchange-commission//
— Банкротство FTX: https://www.bloomberg.com/news/articles/2024-05-07/ftx-has-billions-more-than-needed-to-repay-bankruptcy-victims?cmpid=BBD050824_MONEYSTUFF&utm_medium=email&utm_source=newsletter&utm_term%2520=%25E2%2580%25A6
— L3: https://optimism.mirror.xyz/6idqs2nEDLdezbSynrYsakliSCm3VyzA3WWj6esBbbM
— Пробежались по ETH Daily: https://ethdaily.io

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

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