ББ-016: Компания SmartDec об анализе и аудите смарт-контрактов для Ethereum
Базовый Блок: подкаст про блокчейн
Release Date: 01/08/2018
Базовый Блок: подкаст про блокчейн
Степан Гершуни, партнер Cyber Fund, рассказывает о состоянии AI-индустрии в 2025 году и ее пересечении с блокчейном. Говорим о достижении потолка pre-training LLM, перенос фокуса на post-training с использованием synthetic data и reinforcement learning и эволюцию чатботов в ИИ-агентов. Обсуждаем концепцию just-in-time software и влияние AI на software-индустрию (в частности,...
info_outlineБазовый Блок: подкаст про блокчейн
В гостях у Базового Блока – уже знакомый слушателям Вадим Нестеренко, продакт-менеджер с огромным стажем в web3. Вместе разбираемся, почему интерфейсы в Web3 до сих пор остаются сложными, и как на это влияют новые подходы вроде EIP-7702 и абстракции аккаунтов. Таймкоды: 00:00 - Введение и благодарности спонсорам 02:30 - Путь Вадима...
info_outlineБазовый Блок: подкаст про блокчейн
Через какую оптику государство смотрит на крипту и блокчейн-технологии, какими понятиями оперирует, на какие институты опирается, к каким целям стремится и почему? В этом выпуске говорим о государственном регулировании криптовалют, и наш гость – Михаил Ионцев, Доцент базовой кафедры Банка России НИУ ВШЭ, руководитель...
info_outlineБазовый Блок: подкаст про блокчейн
Во второй части разговора с Кириллом Пименовым, CEO Kalapaja, обсуждаем платёжную систему Kalatori, опенсорсный хардвер и шифропанковские ценности. Начинаем разговор, продолжая предыдущий выпуск про хардверный сайнер Kampela, с обсуждения того, как делать опенсорсное железо и зарабатывать на этом. Далее подробно говорим про проблемы...
info_outlineБазовый Блок: подкаст про блокчейн
Кирилл Пименов – CEO компании Kalapaja, разработчика хардверного сайнера Kampela и платёжной системы Kalatori. С 2020 года, когда Кирилл в прошлый раз был в гостях у ББ, многое в его карьере поменялось. Выпуск получился объёмным, и мы разбили его на две части. В первой части обсудим хардверный сайнер Kampela. Поговорим об архитектуре холодных...
info_outlineБазовый Блок: подкаст про блокчейн
Целых четыре года у нас не было выпусков про TON (первый и последний раз до этого общались с Митей Горошевским из TON Labs аж в 2021 году), и эту ошибку пора исправить! Иван Иваницкий и Александр Селезнёв поговорили с Владом Дегеном, бывшим DeFi Lead фонда, о том, как работает фонд, почему развитие TON принципиально отличается по сценарию и...
info_outlineБазовый Блок: подкаст про блокчейн
Децентрализованные облачные вычисления – не новый нарратив в Web3, но по-настоящему жизнеспособные проекты в этой области начали появляться лишь в последние пару лет. Почему так вышло и что стало причиной «прорыва»? Разберёмся с Евгением Пономарёвым – кофаундером проекта Fluence. Вместе с Александром Селезнёвым и Сергеем...
info_outlineБазовый Блок: подкаст про блокчейн
Resolv — один из успешных стейблкойнов новой волны, которые появились за последние годы и освежили пейзаж DeFi-продуктов. В этом выпуске вспоминаемкакие вообще бывают стейблкойны, как централизованно-децентрализованно устроены продукты, подобные Resolv, какие в них существуют риски и чем архитектура Resolv отличается от других...
info_outlineБазовый Блок: подкаст про блокчейн
Сергей Тихомиров и Иван Иваницкий обсуждают главные темы конференции Protocol Berg, состоявшейся в июне в Берлине: долгосрочные обновления и governance Эфириума, уязвимости proof-of-stake, анти-премию за фейковую децентрализацию и роллапы на биткоине. Таймкоды: 02:30 - о конференции Protocol Berg 03:50 - кто спонсирует конференцию (JUST Open Source Foundation) 07:03 -...
info_outlineБазовый Блок: подкаст про блокчейн
Wirex -- один из старейших стартапов на стыке крипты и традиционных финансов, пионеры в нахождении между молотом децентрализации и наковальней регуляторики. Чем дальше развивается и растет наша индустрия, тем больше приходится считаться с реалиями "устаревшего" финансового мира и его подходов, поэтому нам показалось хорошей...
info_outlineВ гостях сотрудники компании SmartDec: Александр Селезнёв, Ярослав Александров, Евгений Марченко и Иван Иваницкий
Дисклеймер: я работал в SmartDec в 2013 - 2016 годах и участвовал в создании SmartCheck.
- 00:18 Как гости узнали про блокчейн
- 04:59 Чем занимается SmartDec, методы анализа кода
- 11:02 Что анализирует SmartDec
- 12:37 Особенности разработки и анализа кода смарт-контрактов
- 16:57 Четыре класса проблем безопасности и советы начинающим разработчикам смарт-контрактов
- 22:21 О проблемах языка Solidity и EVM
- 28:25 Как устроен процесс анализа контрактов
- 30:50 Какие технологии использует SmartCheck - инструмент статического анализа контрактов
- 32:55 Типичные проекты на Ethereum и их проблемы
- 38:03 Три совета разработчикам: как писать безопасные контракты
- 39:29 Итоги 2017 года и прогнозы на будущее
- 45:29 Есть ли альтернативы Ethereum и Solidity?
- 48:13 Перспективные применения смарт-контрактов помимо ICO
- 51:01 Планы SmartDec на 2018 год
- 53:58 Россия - хорошее место для блокчейн-бизнеса?
- 59:35 Заключительные ремарки