Формальная верификация смарт-контрактов Solidity: SMTChecker
Публикации с тегом смарт-контракты
Размышления после подкаста «Employment Is Changing Forever» о будущем занятости +1
ERC-2981 под капотом: зачем он нужен и его ограничения +1
Как мы писали техдокументацию AsciiDoc нейронкой, экономя своё время и миллионы +15
- Блог компании Альфа-Банк
- Подготовка технической документации
- Искусственный интеллект
- Управление продуктом
- Криптография
История о том, как мы разработали благотворительный web3 сервис для крупнейшей DeFi платформы Lido +3
Аудит безопасности смарт-контрактов в TON: ключевые ошибки и советы +13
Изучаем Ethereum через практику: моя история деплоя смарт-контракта в Sepolia +5
Хранение данных NFT в смарт-контрактах Ethereum
Разбираемся с стейблкойном на TON или как ваши средства могут заблокировать
Смарт-контракты на WebAssembly: зачем это надо и как работает
Формальная верификация смарт-контрактов во фреймворке ConCert
- Блог компании Positive Technologies
- Информационная безопасность
- Программирование
- Solidity
- Криптовалюты
Конфиденциальные смарт-контракты: как мы реализовали важнейшую фичу для блокчейна в финтехе
- Блог компании Web3 Tech
- Децентрализованные сети
- Информационная безопасность
- Распределённые системы
- Финансы в IT
Формальные методы проверки смарт-контрактов
Инструмент статического анализа Slither +6
