Wednesday , June 19 2019
Home / News / Ethereum / Microsoft kondigt VeriSol aan: verificatie van ethereum smart contracts – Bitcoin Magazine NL

Microsoft kondigt VeriSol aan: verificatie van ethereum smart contracts – Bitcoin Magazine NL


Microsoft kondigt een open supply ethereum (ETH) verificatieprogramma aan voor de programmeertaal Solidity. De software krijgt de naam VeriSol–Verifier for 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.

 

 

VeriSol: verificatie van smart contracts

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

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.”

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

crypto kopen 

Meepraten over alles wat te maken heeft met bitcoin, altcoins en de markt daar omheen? Kom eens langs op Fb, Twitter of Telegram.

<![CDATA[.fca_eoi_form .fca_eoi_form p #fca_eoi_form_34225 enter#fca_eoi_form_34225 .fca_eoi_layout_name_field_wrapper #fca_eoi_form_34225 .fca_eoi_form_input_element::-webkit-enter-placeholder #fca_eoi_form_34225 .fca_eoi_form_input_element::-moz-placeholder #fca_eoi_form_34225 .fca_eoi_form_input_element:-ms-enter-placeholder #fca_eoi_form_34225 .fca_eoi_form_input_element:-moz-placeholder #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_submit_button_wrapper:hover, #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_submit_button_wrapper enter:hover
#fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox
@media display screen and ( max-width: 580px )

#fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_name_field_wrapper
@media display screen and ( max-width: 100% )

#fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_email_field_wrapper
@media display screen and ( max-width: 100% )

#fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_submit_button_wrapper
@media display screen and ( max-width: 100% )
div.fca_eoi_form_text_element,enter.fca_eoi_form_input_element,enter.fca_eoi_form_button_elementdiv.fca_eoi_form_text_elementdiv.fca_eoi_layout_headline_copy_wrapperdiv.fca_eoi_featherlight .featherlight-shut-icondiv.fca_eoi_layout_1,type.fca_eoi_layout_1div.fca_eoi_layout_1.fca_eoi_layout_widget div.fca_eoi_layout_field_wrapper,type.fca_eoi_layout_1.fca_eoi_layout_widget div.fca_eoi_layout_field_wrapperdiv.fca_eoi_layout_1 .fca_eoi_progress,type.fca_eoi_layout_1 .fca_eoi_progressdiv.fca_eoi_layout_1 .fca_eoi_progress span,type.fca_eoi_layout_1 .fca_eoi_progress spandiv.fca_eoi_layout_1 .fca_eoi_progress span:earlier than,type.fca_eoi_layout_1 .fca_eoi_progress span:earlier thandiv.fca_eoi_layout_1 .fca_eoi_progress span:after,type.fca_eoi_layout_1 .fca_eoi_progress span:afterdiv.fca_eoi_layout_1 img.fca_eoi_image,type.fca_eoi_layout_1 img.fca_eoi_imagediv.fca_eoi_layout_1 div.fca_eoi_image_wrapper.placeholder,type.fca_eoi_layout_1 div.fca_eoi_image_wrapper.placeholderdiv.fca_eoi_layout_1 div.fca_eoi_layout_content_wrapper,type.fca_eoi_layout_1 div.fca_eoi_layout_content_wrapperdiv.fca_eoi_layout_1 div.fca_eoi_layout_field_wrapper,type.fca_eoi_layout_1 div.fca_eoi_layout_field_wrapperdiv.fca_eoi_layout_1 div.fca_eoi_layout_name_field_wrapper,type.fca_eoi_layout_1 div.fca_eoi_layout_name_field_wrapper,div.fca_eoi_layout_1 div.fca_eoi_layout_email_field_wrapper,type.fca_eoi_layout_1 div.fca_eoi_layout_email_field_wrapperdiv.fca_eoi_layout_1 div.fca_eoi_layout_field_wrapper enter,type.fca_eoi_layout_1 div.fca_eoi_layout_field_wrapper enter,div.fca_eoi_layout_1 div.fca_eoi_layout_field_wrapper enter:focus,type.fca_eoi_layout_1 div.fca_eoi_layout_field_wrapper enter:focusdiv.fca_eoi_layout_1 div.fca_eoi_layout_submit_button_wrapper,type.fca_eoi_layout_1 div.fca_eoi_layout_submit_button_wrapperdiv.fca_eoi_layout_1 div.fca_eoi_layout_fatcatapps_link_wrapper a,type.fca_eoi_layout_1 div.fca_eoi_layout_fatcatapps_link_wrapper adiv.fca_eoi_layout_1 div.fca_eoi_form_text_element ul,type.fca_eoi_layout_1 div.fca_eoi_form_text_element ul@media (min-width:1px) and (max-width:450px),(min-peak:1px) and (max-peak:450px)@media (min-width:1px) and (max-width:768px)div.fca_eoi_layout_1 div.fca_eoi_layout_headline_copy_wrapper,type.fca_eoi_layout_1 div.fca_eoi_layout_headline_copy_wrapperdiv.fca_eoi_layout_1 div.fca_eoi_layout_inputs_wrapper,type.fca_eoi_layout_1 div.fca_eoi_layout_inputs_wrapper@media (min-width:1px) and (max-width:450px),(min-peak:1px) and (max-peak:450px)@media (min-width:1px) and (max-width:320px),(min-peak:1px) and (max-peak:320px)@media (min-width:1px) and (max-width:450px),(min-peak:1px) and (max-peak:450px)div.fca_eoi_layout_1 div.fca_eoi_layout_field_inner,type.fca_eoi_layout_1 div.fca_eoi_layout_field_innerdiv.fca_eoi_layout_1 div.fca_eoi_layout_field_wrapper i.fa,type.fca_eoi_layout_1 div.fca_eoi_layout_field_wrapper i.fadiv.fca_eoi_layout_1 div.fca_eoi_layout_submit_button_wrapper enter,type.fca_eoi_layout_1 div.fca_eoi_layout_submit_button_wrapper enter@media (min-width:1px) and (max-width:450px),(min-peak:1px) and (max-peak:450px)#fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_headline_copy_wrapper div #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_headline_copy_wrapper div #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_description_copy_wrapper p, .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_description_copy_wrapper div #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_description_copy_wrapper p, .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_description_copy_wrapper div #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_name_field_wrapper, .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_name_field_wrapper enter #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_name_field_wrapper, .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_name_field_wrapper enter #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_name_field_wrapper, .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_name_field_wrapper enter #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_name_field_wrapper #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_email_field_wrapper, .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_email_field_wrapper enter #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_email_field_wrapper, .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_email_field_wrapper enter #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_email_field_wrapper, .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_email_field_wrapper enter #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_email_field_wrapper #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_submit_button_wrapper enter #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_submit_button_wrapper enter #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_submit_button_wrapper enter #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_submit_button_wrapper enter #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_privacy_copy_wrapper div #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_privacy_copy_wrapper div #fca_eoi_form_34225 .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_fatcatapps_link_wrapper a, .fca_eoi_layout_1.fca_eoi_layout_postbox div.fca_eoi_layout_fatcatapps_link_wrapper a:hover ]]>

Wessel SimonsWessel Simons

Journalist, oprichter/hoofdredacteur van Bitcoin Magazine Benelux. Zijn 2 minutes of fame: zijn KinkFM-interview (‘dutch radio’) met Amy Winehouse, opgenomen in de met Oscar bekroonde docu ‘Amy’.

ETHEthereumMicrosoftsmart contractsverificatie

About Tom Greenly

Check Also

ETH/USD supply at $280 is too strong for bulls

Ethereum value on Monday is buying and selling in optimistic territory with minor beneficial properties …

Gaan we binnenkort met ethereum (ETH) afrekenen bij Amazon? – Bitcoin Magazine NL

Gaan we binnenkort afrekenen met ethereum (ETH) bij Amazon? Een samenwerking tussen crypto betaalprovider CLIC …