НАЧАЛО Други

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

ЮНИ. 7, 2019 08:44 1 МИН . ЧЕТЕНЕ
СПОДЕЛИ: СПОДЕЛЯНИЯ
 Microsoft пускат инструмент за потвърждаване на интелигентни договори

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

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



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


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


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


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


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


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

https://t.me/joinchat/GV\KUGRH2XQaG9Ww6oeui4Q
СПОДЕЛИ: СПОДЕЛЯНИЯ
Crypto Book
Свалете БЕЗПЛАТНО '10 Златни Правила на Крипто Инвеститора'

Научете всичко, което трябва да знаете за инвестиции в Биткойн и други криптовалути директно от хора с 7 годишен опит в сферата

warning

ВАЖНО: Ние никога няма да ви пращаме спам или да продаваме данните ви на трети лице.

Мнения (0)
Изкажете мнение
Още Други новини

Най-големите банки в Южна Корея се насочват към крипто попечителство

Банките Woori и Shinhan обявиха намеренията си да предложат крипто услуги. Това означава, че четири от петте най-големи банки в държавата, държащи общо около $ 1.2 трилиона в активи, се позиционират, ...
АВГ. 14, 2020 16:00 1 МИН . ЧЕТЕНЕ

Chainlink се е насочил към $32 до края на годината, според анализатор

Тимъти Питърсън, дипломиран финансов анализатор, казва, че LINK, която вече е петата по големина криптовалута, след като регистрира печалби от над 500% за година, изглежда готов да продължи своето пар...
АВГ. 14, 2020 10:00 1 МИН . ЧЕТЕНЕ

Таксите за транзакции в Етериум мрежата са скочили с 3500% от началото на годината

Това оскъпява изпращането и получаването на транзакции и използването на децентрализирани приложения, и децентрализирани финансови (DeFi) протоколи.Според BitInfoCharts в началото на годината средната...
АВГ. 13, 2020 20:00 3 МИН . ЧЕТЕНЕ

Coinbase пуска Биткойн кредитиране за американските граждани

Около 16:17 тихоокеанско време в сряда (12-ти август) Coinbase обяви чрез блог публикация, че от тази есен, нейните клиенти в САЩ в избрани щати ще могат да заемат пари в брой, използвайки биткойна в ...
АВГ. 13, 2020 18:10 1 МИН . ЧЕТЕНЕ
Абонирай се за Крипто Днес Бъди сред първите, които научават за нашите специални новини от крипто света