Novinka jménem VeriSol – Blockchain Smart Contract Verification Solution by měla podle výzkumníků z Microsoftu nabídnou bezpečnější ověření smart contracts pro služby běžící na blockchainu.
Smart contracts neboli chytré smlouvy
Chytré smlouvy jsou samoprováděcí smlouvy, které mají své podmínky mezi kupujícím a prodávajícím zapsané přímo do řádků svého kódu. Kód a dohody v něm obsažené pak existují napříč distribuovanou a decentralizovanou blockchainovou sítí.
Původně byla technologie blockchainu považovaná především za základ Bitcoinu, dnes se však vyvinula v mnohem víc než pouhý základ kryptoměny. Smart contracts umožňují vznik důvěryhodných transakcí a dohod mezi dvěma anonymními stranami bez potřeby centrálního orgánu.
Tým Microsoftu oznámil novinku právě v oblasti chytrých smluv, které jsou základem pro ověřování bezpečnosti v rámci blockchainřešení. Projekt nazvaný VeriSol (Verifier for Solidity) je open source ověřovací platformou, která může být nyní využívána i externími vývojáři.
Microsoft se dosud zaměřoval na podporu smart contracts v rámci vlastního Azure Blockchainu. Implementoval VeriSol do svých vlastních řešení blockchainu už v minulosti a nyní otevřel tuto platformu pro veřejnost. VeriSol umožňuje vývojářům vytvářet chytré smlouvy v zabezpečeném jazyce Solidity.
Cody Born, senior softwarový inženýr týmu Azure Blockchain se o VeriSol vyjádřil takto: “VeriSol nám umožňuje rychlejší iteraci díky automatické a nepřetržité kontrole a umožňuje nám rychleji zachytit chyby, aniž bychom se museli obávat, že potenciálně ovlivníme zákazníky.”
Sídlo Microsoftu v Redmondu
Nové formální ověřování
Ačkoliv smart contracts nejsou bez chyby, jsou vynikající volbou pro automatické ověřování. Microsoft navíc upozorňuje, že zkrátil délku kódu i sekvenční sémantiky. To je další důvod, jak novinka od Microsoftu napomáhá k rychlejšímu ověřování smart contracts.
Jak bylo zmíněno, Microsoft již nějakou dobu sám VeriSol zkouší ve vlastních službách. V jedné aplikaci využil tým VeriSol ověřovatele k formalizaci a kontrole specifikací chytrých smluv, které využívají Ethereum v Azure Blockchain službách.
Tyto inteligentní smlouvy jsou navrženy tak, aby efektivně spravovaly členství v této specifické skupině jedinců. Ta je na rozdíl od veřejných blockchainů omezená na skupinu členů, kteří jsou si vědomi identity ostatních členů blockchainu.
Publicista a aktivní investor s více než desetiletou praxí preferující strategii hodnotového investování.
O investování a finanční trhy se začal zajímat v roce 2013, kdy si prošel náročnou zkušeností jako aktivní denní obchodník. Tato negativní zkušenost vedla k hlubšímu studiu, které mu v následujících letech umožnilo dlouhodobě a úspěšně investovat.
Ve své strategii kombinuje pasivní a aktivní přístup s důrazem na akciové trhy. Inspiraci čerpá z metod Warrena Buffetta a Benjamina Grahama, stejně jako od českého investora Daniela Gladiše. Svým čtenářům předává nabyté vědomosti prostřednictvím článků zaměřených na investiční strategie, psychologii obchodování a analýzy jednotlivých akcií
„Největším nepřítelem investora jsou jeho vlastní emoce.“ – Benjamin Graham
Abychom Vám mohli poskytnout co nejlepší služby, používáme různé technologie, mezi které patří i soubory cookies.
Váš souhlas s použitím těchto technologií nám umožní zpracovávat údaje, jako je Vaše chování při používání našeho webu. Díky tomu můžeme náš web dále zlepšovat. Nesouhlas nebo odvolání souhlasu může nepříznivě ovlivnit určité vlastnosti a funkce těchto webových stránek.
Technické
Vždy aktivní
Technické cookies jsou nezbytně nutné pro legitimní účel umožnění použití služby, kterou si náš čtenář nebo uživatel výslovně vyžádal navštívením stránek a není možné je vypnout.
Předvolby
Technické uložení nebo přístup je nezbytný pro legitimní účel ukládání preferencí, které nejsou požadovány odběratelem nebo uživatelem.
Statistiky
Cookies využívané výhradně pro statistické a analytické účely, abychom naše stránky mohli neustále zlepšovat dle toho, jak se naši čtenáři a uživatelé chovají a jaké mají preference.Technické uložení nebo přístup, který se používá výhradně pro anonymní statistické účely. Bez předvolání, dobrovolného plnění ze strany vašeho Poskytovatele internetových služeb nebo dalších záznamů od třetí strany nelze informace, uložené nebo získané pouze pro tento účel, obvykle použít k vaší identifikaci.
Marketing
Cookies používané k vytvoření uživatelských profilů za účelem zobrazování reklamy nebo sledování chování na webových stránkách pro podobné marketingové účely.
94 %
90 %
