Los programadores de blockchain WIN una subvención para solucionar los contratos inteligentes con 'jerga legal'

El mantra "moverse rápido y romper cosas" puede funcionar bien en el software tradicional, pero como lo ilustró la desaparición de The DAO, el enfoque podría no ser adecuado para las tecnologías financieras experimentales.

Pero a raíz de la desaparición de The DAO, están empezando a surgir nuevos esfuerzos que buscan abordar los desafíos que los desarrolladores han enfrentado hasta ahora al trabajar con contratos inteligentes, los bloques de construcción clave que sustentaron el proyecto y cuya explotación condujo a su fracaso.

Una de esas empresas emergentes es Legalese, un proyecto que surgió de los esfuerzos internos de la aceleradora de empresas JFDI Asia y que cuenta entre sus filas con un destacado cofundador de esa operación.

Legalese, cofundado por Virgil Griffith y Wong Meng Weng, es un proyecto de código abierto que desarrolla un nuevo lenguaje de programación específicamente para contratos inteligentes. El lenguaje, llamado L4, está diseñado para ayudar a los programadores a VET adecuadamente los contratos antes de que se publiquen.

Después de ganar $8,888 de unprograma de subvencionesofrecido por proyecto financiero autónomoLaboratorios de cuerdasGriffith dijo que está listo para continuar su trabajo con un equipo de líderes establecidos en la industria.

Griffith le dijo a CoinDesk:

"La idea básica es que queríamos crear un lenguaje de programación para el derecho. Básicamente, es una forma matemática de describir obligaciones y relaciones".

Utilizando lo que se denomina cálculo modal mu, Griffth y Wong, quienes previamente diseñaron la infraestructura de correo electrónico RFC4408, superaron a otros 30 solicitantes para obtener la subvención.

Nuevo lenguaje de programación

La oferta estrella de Legalese es el lenguaje formal L4, diseñado para facilitar a los programadores la publicación de contratos inteligentes para uso público sin necesidad de que dichos contratos sean examinados.

Los programadores, según explicaron los líderes del proyecto, escribirían en L4, que luego se convertiría en Solidity, el lenguaje de programación recién creado de Ethereum. Este lenguaje podría luego compilarse en código de bytes, que sería leído e interpretado por las máquinas virtuales de Ethereum (EVM), el componente del protocolo que lee y maneja las instrucciones dinámicas.

El primer producto del proyecto es un software como servicio.solicitudDiseñado para ayudar a los emprendedores a completar el papeleo para una ronda de financiación ángel o semilla, incluida la codificación de acuerdos de accionistas, resoluciones corporativas, avisos de derechos y resoluciones corporativas.

En el futuro, el trabajo de Legalese podría ayudar a prevenir la publicación de código con lagunas que puedan ser explotadas por atacantes, según el cofundador de String Labs y cofundador de Blockchain University, Tom Ding.

Ding dijo:

"Cuando se redacta un contrato, se quiere detectar todos los errores. Los abogados utilizan su formación y experiencia para detectar lagunas, y los contratos inteligentes necesitan lo mismo".

Subvenciones de cadena abierta

También anunciado por String Labs, startup de historial crediticio en cadenaDistoriaganó 10.000 dólares para construir un sistema de historial crediticio que viaja con los usuarios a través de las fronteras.

Los historiales crediticios en línea podrían luego ser utilizados por otros contratos inteligentes para facilitar los préstamos tanto en línea como fuera de línea.

"La idea final es reducir el coste de las transacciones", afirmó Ding.

Legalese y Distory son los primeros ganadores de lo que Ding espera que sea unciclo continuo de subvencionesfinanciar proyectos creados específicamente en cadenas de bloques públicas.

Imagen de letra pequeñavía Shutterstock