Microsoft продължават да инвестират усилията си в развиватието на блокчейн технологията, като доказателство за това е новия инструмент, наречен VeriSol.
Публикацията гласи, че екипът, който стои зад услугите за разработване на блокчейн на Azure, разглежда сериозно потенциалните проблеми свързани със сигурността в интелигентните договори и за тази цел разработи официален инструмент, който проверява коректността на софтуерните програми.
Главният изследовател на Microsoft, Шувенду Лахири, каза, че инструментът ще помогне за премахване на разходите за ресурси, свързани с проверката.
Използването на формална проверка на производствения софтуер изисква лицата да имат опит с високоспециализирани формални езици и инструменти. Това налага на екипите за развитие сериозни разходи за обучение и често инвестиции от няколко години, за да се разбие изключително сложната задача за проверка.
Екипът заявява, че инструментът вече е бил успешно приложен за интелигентните договори на Azure.
Microsoft проявява голям интерес към блокчейн пространството. Компанията пусна набор от инструменти на Azure за милионите разработчици на Етериум и изгражда децентрализирана услуга за идентификация, наречена ION.
Изследователският екип също така добави, че VeriSol цели да интегрира официалната проверка за развитието на мейстрийм интелигентни договори, чрез отворено сътрудничество.
Фондовите пазари по света достигат безпрецедентни върхове. От Токио до Ню Йорк, 14 от 20-те най-големи фондови пазари в света са достигнали исторически върхове
Тъй като среброто навлиза в четвъртата си поредна година на дефицит на предлагането, задвижвано от повишеното търсене в секторите на технологиите и възобновяемите енергийни източници, благородният метал достигна важни етапи, като надхвърли $30 за тройунция и достигна най-високото си ниво от повече от десетилетие.
Навлизането на Хонконг на пазара на крипто борсово търгувани фондове (ETF) не оправда очакванията, като не успя да постигне успеха на базираните в САЩ спот ETF, които понастоящем притежават $55 милиарда.
Tethe надмина на Германия по отношение на притежанията на държавни облигации на САЩ, отбелязвайки значителното си влиянието в сектора на дигиталните активи и предизвиква дискусии относно необходимостта от регулиране на стабилните монети.