Finex.cz logo
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
Zdroj: depositphotos.com

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.

Graf posl. 7 dní
Graf Bitcoin
Změna za 24h
-2,7%
Aktuální cena
$22 592

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.

Ohodnoťte tento článek!

Připojte se k diskuzi
Akcie
Komodity
Krypto
Indexy
ETF
Aktuální cena 24h
Tesla Inc. ---
N/A
ČEZ ---
N/A
Apple ---
N/A
Moneta ---
N/A
Komerční banka ---
N/A
Philip Morris ČR ---
N/A
Erste group ---
N/A
RECENZE

TOP Nejlepší brokeři

eToro logo
eToro Reklama
U 80.2 % retailových investorů došlo při obchodování CFD u této společnosti ke vzniku ztráty.
XTB logo
XTB ★ 93 %
U 82 % retailových investorů došlo ke vzniku ztráty.
RoboMarkets logo
RoboMarkets ★ 92 %
U 66.8 % retailových investorů došlo ke vzniku ztráty.
Degiro logo
Degiro ★ 89 %
Investování zahrnuje rizika ztrát.
Trading212 logo
Trading212 ★ 88 %
U 68 % retailových investorů došlo ke vzniku ztráty.

Velký test: Investujeme vlastní peníze do investičních platforem

Která přinese největší zhodnocení? Portu, Fondee, Indigo, Finax, nebo Fumbi?
Která přinese největší zhodnocení? Portu, Fondee, Indigo, Finax, nebo Fumbi?
Sledujte nás na Facebooku, ať vám nic neunikne!
Facebook icon Jít na Facebook
Finex.cz logo