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.
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í.
93 %
90 %
Diskuze (0 komentářů)
Tento článek zatím nikdo neokomentoval. Přihlašte se a buďte první! Napište svůj názor a zahajte diskuzi.