Microsoft представила новый инструмент для аудита смарт-контрактов Ethereum

IT-гигант Microsoft выпустил новый инструмент с открытым исходным кодом для верификации и аудита смарт-контрактов, написанных на языке программирования Solidity, который часто используется в блокчейне Ethereum.

Источник

Зацените вот что

CFTC США одобрила запуск биткоин-фьючерсов на LedgerX

CFTC США одобрила запуск биткоин-фьючерсов на LedgerX

Комиссия по торговле товарными фьючерсами (CFTC) объявила сегодня, что одобрила заявку LedgerX LLC, которая определяет …

Блокчейн VeChain будет использован ритейлером Walmart для отслеживания поставок продуктов питания

Блокчейн VeChain будет использован ритейлером Walmart для отслеживания поставок продуктов питания

Блокчейн-проект VeChain в сотрудничестве с крупной консалтинговой фирмой PricewaterhouseCoopers (PwC) и крупным ритейлером Walmart собираются …

SWIFT откроет блокчейн-компаниям доступ к мгновенным платежам через платформу GPI

SWIFT откроет блокчейн-компаниям доступ к мгновенным платежам через платформу GPI |

Межбанковская платежная система SWIFT позволит блокчейн-компаниям использовать свою платформу Global Payments Innovation (GPI) для совершения …