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
$148,7 mld.
Změna za 24h
+2,66%
Cena
$8 259
Aktualizováno 21.10.2019 17:32

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!

RECENZE

TOP Forex a CFD brokeři

XTB logo
XTB★ 98 %
U 77 % retailových investorů došlo ke vzniku ztráty.
eToro logo
eToro★ 93 %
U 75 % retailových investorů došlo ke vzniku ztráty.
RoboMarkets logo
RoboMarkets★ 91 %
U 66.8 % retailových investorů došlo ke vzniku ztráty.
Sledujte nás na Facebooku, ať vám nic neunikne!
Facebook icon Jít na Facebook

Podpořte nás!

Líbi se vám články na Finex.cz? Podpořit nás můžete libovolným darem. Moc děkujeme!
BTC donate adresa

BTC Donate address
3Ax7aQT2KgMEwAh3LrYEiCwQEK3vhxBUhf

Změna měny BTC/LTC