Un equipo de investigadores en ingeniería de software de la Universidad de Illinois de Urbana-Champaign (UIUC) en Estados Unidos, desarrolló una semántica formal de referencia llamada KEVM, que consiste en una herramienta de programación para mejorar la Ethereum Virtual Machine (EVM), base donde se desarrollan todos los tokens ERC20, las DApps y cualquier tipo de contrato inteligente de la red Ethereum. La KEVM ayudará a reducir los fallos operativos y de seguridad en estas aplicaciones.
Dicho equipo de trabajo, liderado por el ingeniero Everett Hildenbrandt, junto a otros 6 expertos; publicó el primero de agosto el trabajo científico titulado KEVM: una semántica completa de la Ethereum Virtual Machine. En este dieron a conocer su desarrollo a toda la comunidad y dejaron su trabajo como código abierto, disponible para cualquier a través de GitHub.
La herramienta KEVM (K-Ethereum Virtual Machine), basada en el marco de trabajo de K (Framework K), está destinada a verificar la compilación del lenguaje de programación Solidity de Ethereum, de modo que los resultados siempre sean los esperados por el programador y se minimice la aparición de bugs (fallos) y exploits (vulnerabilidades) en el código de las aplicaciones y los contratos.
De acuerdo al documento, la finalidad de los programadores con esta herramienta es “generar una verificación formal de los programas de la EVM” y que con esta “se genere una consistente y acertada verificación de los contratos inteligentes, creando un desarrollo libre de bugs y un ambiente seguro de desarrollo para el crecimiento del ecosistema de contratos inteligentes”.
Tal iniciativa resulta bastante oportuna, pues últimamente ha vuelto a ponerse en jaque la seguridad de varios contratos inteligentes de Ethereum, como fue el caso del contrato de Augur y el de las carteras multifirma basadas en Parity que logró extraer 32 millones de dólares. Además, es inolvidable el episodio de DAO de Slock.it, hace ya un año, el cual provocó la división de la plataforma.
La vulnerabilidad de los contratos de Ethereum es un área que ha fomentado el desarrollo de herramientas de programación como esta y otras como Porosity. Incluso ha generado una nueva línea de negocios de auditores de seguridad de contratos inteligentes y DApps. Algo bastante necesario para ayudar a asegurar una red valuada en más de 21 billones de dólares y con un desarrollo en ella de más de 500 aplicaciones.
FUENTE:
Congratulations! This post has been upvoted from the communal account, @minnowsupport, by adal111 from the Minnow Support Project. It's a witness project run by aggroed, ausbitbank, teamsteem, theprophet0, and someguy123. The goal is to help Steemit grow by supporting Minnows and creating a social network. Please find us in the Peace, Abundance, and Liberty Network (PALnet) Discord Channel. It's a completely public and open space to all members of the Steemit community who voluntarily choose to be there.
If you like what we're doing please upvote this comment so we can continue to build the community account that's supporting all members.
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Submit
Se está montando el ecosistema, cada vez mas accesible todo.
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Submit
Asi es Man, es momento de invertir.
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Submit
This post has been ranked within the top 50 most undervalued posts in the first half of Aug 05. We estimate that this post is undervalued by $19.53 as compared to a scenario in which every voter had an equal say.
See the full rankings and details in The Daily Tribune: Aug 05 - Part I. You can also read about some of our methodology, data analysis and technical details in our initial post.
If you are the author and would prefer not to receive these comments, simply reply "Stop" to this comment.
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Submit