Začněte psát a výsledky vyhledávání se zobrazí zde...

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

Publikováno
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 BTC
Změna za 24h
+1,4 %
Aktuální cena
$64 310

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.

Líbil se vám tento článek?
1
0

Autor

O investování a finanční trhy se zajímám od roku 2013. Krátce na to jsem se spálil jako aktivní day trader. Zaplacené „školné“ se mi však celkem vyplatilo. Vrhnul jsem se do studia a od roku 2017 dlouhodobě investuji, přičemž v rámci své strategie kombinuji pasivní a aktivní investiční přístup s výhradním zaměřením na akciové trhy.
Inspirací mi jsou především Warren Buffett a jeho učitel Benjamin Graham, z českých investorů pak Daniel Gladiš. Nabyté vědomosti se snažím předávat čtenářům, přičemž se nejraději věnuji textům o investičních strategiích, psychologii obchodování a analýzám jednotlivých akcií.

Přečíst více

Sdílejte tento článek

Mohlo by vás zajímat

Diskuze (0 komentářů)

Připojte se k diskuzi

Tento článek zatím nikdo neokomentoval. Přihlašte se a buďte první! Napište svůj názor a zahajte diskuzi.

Recenze
TOP Nejlepší brokeři
Při obchodování CFD s tímto poskytovatelem ztrácí 76 % účtů retailových investorů peníze.
U 66,02 % retailových investorů došlo ke vzniku ztráty.
Při investování a obchodování hrozí ztráty. Vaše investice mohou stoupat i klesat a můžete získat zpět méně, než jste investovali.
U 51 % retailových investorů došlo při obchodování CFD u této společnosti ke vzniku ztráty.
Investování zahrnuje rizika ztrát.‎