Новости по тегу "смарт-контракты"
Подборка публикаций, содержащих тег "смарт-контракты". Актуальные темы и важные события.
Формальная верификация смарт-контрактов Solidity: SMTChecker
В данной статье мы делаем поверхностный обзор подходов, обеспечивающих безопасность смарт-контрактов. Разбираем устройство и принцип работы...
Размышления после подкаста «Employment Is Changing Forever» о будущем занятости
Почитал транскрипт подкаста HBR IdeaCast с автором книги Employment Is Dead: How Disruptive Technologies Are Revolutionizing the Way We Work. Как...
Как мы писали техдокументацию AsciiDoc нейронкой, экономя своё время и миллионы
Я расскажу вам историю, в которой мы использовали нейронку, чтобы написать техническую документацию и архитектурный вижн для большого сложного...
Код как закон: бездушные DAO и душа новых демократий
Что, если демократию можно запрограммировать? Без взяток, бюрократии и человеческого фактора. DAO — децентрализованные автономные организации —...