Формальная верификация смарт-контрактов во фреймворке ConCert
- Блог компании Positive Technologies
- Информационная безопасность
- Программирование
- Solidity
- Криптовалюты
Публикации с хабом Solidity
Upgradeable smart contracts. 5 способов обновить код смарт-контрактов на все случаи жизни
- MetaLamp corporate blog
- Decentralized networks
- Cryptocurrencies
- Блог компании MetaLamp
- Децентрализованные сети
- Solidity
- Криптовалюты
Стейкинг NFT: как это работает?
Расчет количества газа необходимого для выполнения транзакции в Ethereum. Часть 2 — storage
Как создать свой DAO с блэкджеком и OpenZeppelin?
Обзор Polygon zkEVM: как работает L2 решение для Ethereum
Формальные методы проверки смарт-контрактов
Заработайте на разнице курсов: создание и запуск собственного криптовалютного арбитражного бота -12
Инструмент статического анализа Slither +6
EVM — определение масштаба +4
Тестирование смарт-контрактов в Foundry (часть 4) (Fuzz-тестирование!) +3
Тестирование смарт-контрактов в Foundry (часть 3) +1
Пишем TIP-4 NFT коллекцию с картами для Гвинта на Everscale за 30 минут +1
Тестирование смарт-контрактов в Foundry (часть 2) +1
- IT systems testing
- Programming
- Cryptocurrencies
- Тестирование IT-систем
- Программирование
- Solidity
- Криптовалюты
Тестирование смарт-контрактов в Foundry (часть 1) +3
