Finex.cz logo
Hamburger menu Close menu
Finex » Novinky » Microsoft představuje vlastní řešení smart contracts

Microsoft představuje vlastní řešení smart contracts

Microsoft představuje vlastní řešení smart contracts

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.

Tržní kapitalizace
$223,8 mld.
Změna za 24h
+11,63%
Cena
$12 585
Aktualizováno 26.6.2019 08:12

VeriSol – bezpečné chytré smlouvy

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

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.

Sdílení článku na facebook Facebook Sdílení článku na twitter Twitter

Ohodnoťte tento článek!

Microsoft představuje vlastní řešení smart contracts
4 (80%) 4 hlasování
Připojte se k diskuzi

Finex.cz academy Akademie
Finex.cz
Učební materiály ve formátu článků, videí a e-booků ze světa online investování a obchodování. To vše zdarma!
Vstoupit do akademie zdarma
Smart contracts (Chytré kontrakty) – Co jsou a jak fungují?
Smart contracts (Chytré kontrakty) – Co jsou a jak fungují?
Jak začít investovat do zlata? Na naše otázky odpovídá Petr Fischer ze Silverum.cz
Jak začít investovat do zlata? Na naše otázky odpovídá Petr Fischer ze Silverum.cz
RECENZE

TOP Forex a CFD brokeři

XTB logo
XTB★ 97 %
eToro logo
eToro★ 93 %
Plus500 logo
Plus500★ 91 %

Při obchodování s rozdílovými smlouvami dochází u 74–89 % účtů retailových investorů ke vzniku finanční ztráty. *

Sledujte nás na Facebooku, ať vám nic neunikne!
Facebook icon Jít na Facebook