Microsoft

El 3 de juny, l’equip de Microsoft Research va anunciar-ne un de nou eina de verificació per obtenir contractes intel·ligents escrits en Solidity, el llenguatge de programació predominant de la xarxa Ethereum.

Aquesta eina, doblada VeriSol, es va produir en un esforç de col·laboració entre Microsoft Research, el braç d’innovació del gegant tecnològic, i Microsoft Azure Blockchain, el braç de computació en núvol de la companyia dirigit a ajudar les empreses i les institucions a construir fàcilment les seves pròpies aplicacions blockchain.

Microsoft

Cal destacar que l’eina no és només una contribució de bona voluntat a la criptoeconomia (encara que ha estat de codi obert), ja que Azure Blockchain aprofitarà l’analitzador Solidity per ajudar els productes dels seus propis clients institucionals. Com va explicar a les notícies l’enginyer sènior de programari de l’equip, Cody Born:

“VeriSol ens permet iterar més ràpidament a causa de la comprovació automàtica i contínua, i ens permet detectar errors més ràpidament sense haver de preocupar-nos per afectar potencialment els clients”.

Els contractes intel·ligents no es poden editar sobre la marxa un cop estiguin publicats, de manera que és clau revisar minuciosament el seu codi abans d’activar-los a la xarxa principal d’Ethereum; en cas contrari, els errors poden provocar una catàstrofe amb conseqüències econòmiques tangibles..

El mes d’abril, una rampa de criptografia fiat per a l’establecoin Dai anomenada DAIHard va realitzar el seu llançament beta, però a causa d’errors, un hacker whitehat va esgotar els contractes abans que un agent més maliciós pogués. En conseqüència, la idea amb VeriSol és captar de manera ràpida i eficient aquestes discrepàncies de Solidity abans que no després de provocar problemes..

Microsoft abraça Blockchain

L’anunci de VeriSol arriba darrerament a diverses abraçades de blockchain de gran perfil a l’ecosistema de Microsoft fins tard.

Només aquest mes, l’empresa o els seus diversos grups han afegit el símbol unicode Bitcoin al popular sistema de fulls de càlcul de Microsoft Excel; va revelar un projecte d’identificació descentralitzat construït sobre Bitcoin; i va anunciar el suport d’Azure Blockchain per a Quorum, la forquilla d’Ethereum de JP Morgan.

De fet, la posició de Microsoft com a part interessada en l’espai més ampli de la cadena de blocs està creixent i eines com el codi obert VeriSol ara també ajudaran a créixer projectes més enllà de la seva competència directa. Amb aquest objectiu, Shuvendu Lahiri, investigador principal de Microsoft, va assenyalar el verificador:

“Imaginem que no només es potenciï els clients i els desenvolupadors de Blockchain d’Azure, sinó que contribueixi a un ecosistema complet de blockchain que sigui més segur i ajudi a la gent a aprofitar tot el potencial de la tecnologia sense veure’s afectats pels costosos errors dels contractes intel·ligents”.

I, per tant, l’activitat i la infraestructura pública al voltant de la tecnologia de contractes intel·ligents, i particularment al voltant d’Ethereum, la plataforma de contractes intel·ligents més gran fins ara, continua florint constantment.

Per desgràcia, Microsoft tampoc és l’únic tità de la indústria que llança tecnologia gratuïta centrada en Ethereum. La potent comptable “Four Four”, EY, va publicar fa pocs dies la seva eina de privadesa Nightfall.

Soliditat 101

Esbossat per primera vegada el 2014 pel cofundador d’Ethereum, Gavin Wood, Solidity va ser construït finalment per un grup de desenvolupadors d’Ethereum encapçalat per Christian Reitwiessner.

El llenguatge es va inspirar lliurement en aspectes d’altres llenguatges de programació més populars i populars com JavaScript, Python i C ++. Per aquest motiu, es recomana als nouvinguts a la programació que estiguin interessats en aprendre Solidity per aprofundir en un dels seus influents com a punt de partida.

Segons la documentació de Solidity, el llenguatge construeix fonamentalment els contractes de la següent manera:

“Un contracte en el sentit de Solidaritat és una col·lecció de codi (les seves funcions) i dades (el seu estat) que resideix en una adreça específica de la cadena de blocs d’Ethereum”.

Així, Solidity ofereix als desenvolupadors la possibilitat de “governar el comportament dels comptes dins de l’estat Ethereum”, explica la seva documentació.

Els interessats en donar un gir més a Solidity poden explorar el text explicatiu d’Andreas Antonopoulos i Gavin Wood Mastering Ethereum o inscriure’s a CryptoZombies, un recurs educatiu gratuït que ajuda els principiants a aprendre a codificar un joc basat en zombis en l’idioma..

L’ocell primerenc aconsegueix el cuc, és clar. Per l’impuls que Ethereum ja ha guanyat fins a la data, sembla probable que la soliditat existirà durant les properes dècades.

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me