Tras el lamentable episodio protagonizado por el Proyecto DAO, donde un ataque virtual permitiĆ³ la extracciĆ³n de 60 millones de dĆ³lares en ethers a sus usuarios, han quedado a la vista las vulnerabilidades de este sistema con la plataforma Ethereum incluida. Pese a este tropiezo gigante, la tecnologĆa de los contratos inteligentes aĆŗn promete mejorar el mundo si se llega a pulir adecuadamente, y por ello Microsoft ha decidido crear un grupo de trabajo para mejorar la seguridad de estos protocolos informĆ”ticos.
El grupo ha sido nombrado Ā«KinakutaĀ», en honor a la isla del Ciclo Barroco de Neal Stephenson, donde muchos de los personajes llegaron a reunirse. Tal como en aquella isla, Microsoft pretende reunir en este grupo a los mejores expertos en temas de blockchain y contratos inteligentes: su idea es abrir un espacio donde la industria pueda compartir fĆ”cilmente toda la informaciĆ³n y estudios sobre el tema, con el fin Ćŗltimo de lograr una seguridad prĆ”cticamente infalible en esta tecnologĆa.
Junto a Andrew Keys, jefe de desarrollo de negocio global en Consensys; el director de desarrollo y estrategia de Microsoft, Marley Gray, afirmĆ³ haber preparado ya una lista con 35 desarrolladores y empresas que Microsoft a ser convocados paraĀ esta iniciativa. Entre ellas se encuentra el consorcio financiero de blockchain R3, la startup BlockApps y la FundaciĆ³n Ethereum.
AdemĆ”s, Gray explicĆ³ al medio CoinDesk:
Creemos que hay una gran oportunidad para involucrar a la comunidad. Kinakuta es la construcciĆ³n de esa comunidad en torno a las mejores prĆ”cticas de Microsoft y otros lugares, para recolectar las mejores herramientas e involucrar a los desarrolladores en la creaciĆ³n de esas mejores prĆ”cticas.
Marley Gray
Director de desarrollo y estrategia de Microsoft
La seguridad en la descentralizaciĆ³n
Los contratos inteligentes pueden tanto facilitar como complicar todo el proceso de la industria. Si bien su funcionamiento adecuado permite la automatizaciĆ³n de clĆ”usulas y pagos, no se rigen por ninguna autoridad mĆ”s que por su propio cĆ³digo. Esto ha probado ya ser peligroso para los inversores, pues un cĆ³digo siempre tiene riesgo de ser hackeado. Sin embargo, muchos desarrolladores ya estĆ”n trabajando para encontrar todas sus vulnerabilidades y solventarlas.
De este modo, a principios de este mes, Microsoft publicĆ³ en colaboraciĆ³n con investigadores de la Universidad de Harvard un Libro BlancoĀ donde propone un nuevo mĆ©todo para averiguar si los contratos inteligentes de Ethereum funcionan como deberĆan. Mediante una llamada ‘verificaciĆ³n formal’, llegaron a comprobarse 46 contratos, de los cuales sĆ³lo unos pocos se consideraron vĆ”lidos.
TambiĆ©n te podrĆa interesar
Este hecho no estĆ” destinado a desalentar a los desarrolladores de esta tecnologĆa, sino a ayudarles a mejorar sus vulnerabilidades para que el sistema logre explotar con Ć©xito todo su potencial.
5