Начало » Други » Microsoft пускат инструмент за потвърждаване на интелигентни договори

Microsoft пускат инструмент за потвърждаване на интелигентни договори

07.06.2019 8:44 1 мин. четене
СПОДЕЛИ: СПОДЕЛЯНИЯ
Microsoft пускат инструмент за потвърждаване на интелигентни договори

Microsoft продължават да инвестират усилията си в развиватието на блокчейн технологията, като доказателство за това е новия инструмент, наречен VeriSol.

Той проверява и анализира интелигентни договори, разработени в програмния език на Solidity.

Публикацията гласи, че екипът, който стои зад услугите за разработване на блокчейн на Azure, разглежда сериозно потенциалните проблеми свързани със сигурността в интелигентните договори и за тази цел разработи официален инструмент, който проверява коректността на софтуерните програми.

Главният изследовател на Microsoft, Шувенду Лахири, каза, че инструментът ще помогне за премахване на разходите за ресурси, свързани с проверката.

Използването на формална проверка на производствения софтуер изисква лицата да имат опит с високоспециализирани формални езици и инструменти. Това налага на екипите за развитие сериозни разходи за обучение и често инвестиции от няколко години, за да се разбие изключително сложната задача за проверка.

Екипът заявява, че инструментът вече е бил успешно приложен за интелигентните договори на Azure.

Microsoft проявява голям интерес към блокчейн пространството. Компанията пусна набор от инструменти на Azure за милионите разработчици на Етериум и изгражда децентрализирана услуга за идентификация, наречена ION.

Изследователският екип също така добави, че VeriSol цели да интегрира официалната проверка за развитието на мейстрийм интелигентни договори, чрез отворено сътрудничество.

https://t.me/joinchat/GVKUGRH2XQaG9Ww6oeui4Q

Активен крипто трейдър, следи и новини, свързани с акции, S&P500 и злато. Деян обича да спортува активно, тренира редовно, занимава се с калистеника. Обича и да чете Sci-Fi книги, когато му остане време.

Telegram

СПОДЕЛИ: СПОДЕЛЯНИЯ
Още Други Новини

Новият законопроект на Доналд Тръмп е одобрен – ще се отрази ли на криптовалутите?

Конгресът официално прие историческия икономически пакет на президента Доналд Тръмп, който представлява мащабен законопроект, съчетаващ агресивни данъчни облекчения с дълбоки съкращения на федералните разходи.

04.07.2025 7:00 3 мин. четене Alexander Zdravkov

Ripple подаде заявление за национален банков лиценз

Ripple официално подаде заявление за национален банков лицензи от Американската служба за валутен контрол (OCC), с цел да установи нов регулаторен стандарт за доверие на пазара на стабилните монети.

03.07.2025 8:00 2 мин. четене Alexander Zdravkov

Питър Бранд сподели своята стратегия за забогатяване

Според известния ветеран на пазара Питър Бранд, търговията не е пътят към просперитета за по-голямата част от хората.

01.07.2025 7:00 2 мин. четене Alexander Zdravkov

Ключови събития в САЩ, които да следим тази седмица – ще се отразят ли на крипто пазарите?

Първата седмица на юли носи няколко важни събития в САЩ, които могат да повлияят както на традиционните пазари, така и на сектора на криптовалутите.

30.06.2025 13:00 2 мин. четене Alexander Zdravkov
Все още няма коментари!

Вашият имейл адрес няма да бъде публикуван.