Начало » Други » 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

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

Ето как да разчитаме крипто индекса на страха и алчността

Във волатилния свят на криптовалутите психологията на инвеститорите е една от най-мощните сили, които стоят зад движението на цените.

14.07.2025 17:00 3 мин. четене Alexander Zdravkov

Управителят на Английската централна банка с предупреждение за стабилните монети

Управителят на Английската централна банка Андрю Бейли изрази силна загриженост относно нарастващия стремеж към приемане на стабилни монети, като призова банките да се въздържат от емитиране на собствени дигитални валути.

14.07.2025 12:15 2 мин. четене Alexander Zdravkov

Националната банка на Чехия инвестира в Coinbase

Чешката национална банка ( CNB) навлезе в крипто сектора с инвестиция от $18 милиона в Coinbase, като закупи 51,732 акции през второто тримесечие на 2025 г., според подадена информация от Комисията по ценните книжа и фондовите борси на САЩ.

14.07.2025 8:00 1 мин. четене Alexander Zdravkov

Златото превъзхожда американския пазар на акции в продължение на 25 години

В изненадваща дългосрочна промяна в представянето златото официално изпреварва американския фондов пазар през последните 25 години – включително дивидентите.

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

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