Microsoft kondigt VeriSol aan: verificatie van ethereum smart contracts

Microsoft kondigt een open source ethereum (ETH) verificatieprogramma aan voor de programmeertaal Solidity. De tool krijgt de naam VeriSol–Verifier for Smart contracts." data-url="/glossary/solidity">Solidity.

Wat betekent dit nu? Ontwikkelaars krijgen een toolkit om specificaties schrijven voor smart contracts. Dit gaat echter met een andere programmeertaal dan Solidity waarop ethereum op is gebaseerd.

Koop gemakkelijk en snel Bitcoin bij Bitvavo. Ga aan de slag en betaal geen handelskosten voor je eerste aankoop tot €1.000 !

VeriSol: verificatie van smart contracts

VeriSol is nog een prototype en is een product van een partnerschap tussen de Azure Blockchain en Microsoft Research. Verificatie helpt bij het nog meer beveiligen van smart contracts. Met het programma kunnen ontwikkelaars kritieke componenten van smart contracts controleren.

[penci_blockquote style="style-2" align="none" author="Shuvendu Lahiri, senior onderzoeker bij Microsoft "]Door de bescheiden codegrootte en de sequentiële semantiek van slimme contracten is verificatie op schaal mogelijk. Door de open operationele omgeving is de noodzaak om een smart contract handmatig te modelleren kleiner."[/penci_blockquote]

Microsoft Azure en ethereum

Microsoft is actief in de blockchainwereld. De techgigant uit Seattle lanceerde een softwarepakket, waarmee ontwikkelaars gemakkelijk applicaties gebaseerd op ethereum kunnen bouwen.

Deze ontwikkelkit voor ethereum moet ontwikkelaars helpen om applicaties te bouwen op ethereum of de Azure Blockchain Service van Microsoft.

Ethereum Alliance

De softwaremaker is ook onderdeel van de Enterprise Ethereum Alliance (EEA). Samen met deze alliantie komt Microsoft met een zakelijke propositie: een kant-en-klaar pakket voor bedrijven om de juiste crypto tokens uit te geven.

De EEA ontwikkelt bepaalde standaarden voor tokens. Zo wordt gekeken hoe bedrijven aan de slag kunnen met smart contracts. Ook is de Enterprise Ethereum Alliance verantwoordelijk voor de ‘Token Taxonomy Initiative’.

Bron: Microsoft

By Wessel Simons

Journalist en mede-oprichter van bitcoinmagazine.nl in 2017. De site is uitgegroeid tot een van de belangrijkste bitcoin - en cryptosites van de Benelux met ruim 1 miljoen gebruikers.

Meest gelezen

Nieuws
Bitcoin koers breekt door $35.000, ligt $48.000 in het verschiet?

Bitcoin is de afgelopen 24 uur door de $35.000 grens gebroken. Analisten anticiperen op een...

Nieuws
Apple-Gebruikers Opgelet: Hackers Hebben Het Gemunt op Je Crypto

Nieuwe malware gericht op Apple's MacOS, vermoedelijk gelinkt aan de Noord-Koreaanse hackersgroep Lazarus, heeft blockchain-ingenieurs...

Nieuws
Goedemorgen Bitcoin: Hayes voorspelt bitcoin koers van 1 miljoen dollar

Goedemorgen! We hebben het laatste nieuws voor je op een rij gezet. Begin de dag...

Nieuws
Solana Bulls Razen Vooruit, Ligt $50 In Het Verschiet?

Cryptomunt Solana heeft opmerkelijke veerkracht getoond op zijn bullish koers, ondanks kleine tegenvallers in het...

Nieuws
De beste en meest interessante afleveringen van de Hup Bitcoin podcast

In het afgelopen jaar hebben we in totaal meer dan 70 afleveringen van onze Hup...

Lees meer

Net binnen

Nieuws
Donald Tump investeert miljoenen dollars in memecoins?

Het crypto-portfolio van Donald Trump vertegenwoordigt momenteel een waarde van 6,6 miljoen dollar. De op...

wat is ripple Nieuws
Ripple Rechtszaak In Hoger Beroep, Kan Ripple 1 Euro Worden?

Terwijl investeerders wachten op updates over de Ripple rechtszaak, is de XRP koers met -0,3%...

Wat is Solana Nieuws
SOL Koers Stijgt 28%, Gaat Solana Nog Stijgen Deze Crypto Rally?

Na Bitcoins krachtige prestatie en de zijwaartse beweging rond $62,000 gebeurde er veel op de...

Bitcoin bearish Nieuws
Bitcoin Duikelt Omlaag: $600 Miljoen Uit ETF Gesluisd in Recorduitstroom!

Bitcoin zag een daling van meer dan 3% van zijn hoogste punt in de afgelopen...

scorpion casino presale wegeefactie Persberichten
$250K Giveaway Trekt Duizenden Naar SCORP Presale, Scorpion Casino Wordt Snel Het #1 Online Casino

De felbegeerde Scorpion Casino (SCORP) presale en platform onderscheiden zich echt op de markt. Dit...

Lees meer