Hoskinson y Lucas Rosa desarrollan un nuevo lenguaje de programación para Cardano

Charles Hoskinson anunció el 18 de octubre que está desarrollando personalmente un nuevo lenguaje de programación para Cardano. Señaló a Lucas Rosa, cofundador de Aiken y arquitecto de herramientas de Midnight, como su colaborador en el proyecto.

El cofundador de Aiken trabaja junto a Hoskinson

Rosa, conocido en línea como @rvcas, cofundó Aiken y dirigió su desarrollo durante más de dos años y medio. Según su historial de proyectos, ese trabajo incluyó el diseño de las características del lenguaje antes de transferir su propiedad y su licencia a Pragma para su custodia a largo plazo.

Aiken es un lenguaje de programación y un conjunto de herramientas de desarrollo para contratos inteligentes de Cardano. Los desarrolladores lo usan para definir las reglas que determinan si las transacciones pueden gastar activos o realizar otras operaciones controladas por contratos.

Actualmente, Rosa indica su puesto como arquitecto de herramientas en Midnight. Su experiencia abarca compiladores, sistemas distribuidos e infraestructura de aplicaciones.

El anuncio de Hoskinson identifica a Rosa como colaborador sin asignar un papel organizativo a Midnight.

Cómo se conectan las intenciones y las pruebas Groth16

Las intenciones describen un resultado que un usuario quiere lograr y las condiciones bajo las cuales es aceptable. Un usuario podría solicitar un intercambio de ADA por otro token, especificando una cantidad mínima a recibir y una comisión máxima. Participantes especializados llamados solvers pueden entonces encontrar una ruta de ejecución y construir transacciones que cumplan esas condiciones.

Los datos portadores de pruebas, o PCD, se refieren a información acompañada de evidencia criptográfica de que cumple con reglas definidas. La evidencia también puede abarcar su historial de procesamiento, estableciendo que los pasos computacionales previos respetaron esas reglas. Un destinatario puede verificar la prueba sin repetir todo el cómputo previo.

Groth16 proporciona pruebas de conocimiento cero compactas con una complejidad de verificación relativamente baja. Permite que una parte demuestre que un cómputo específico se realizó correctamente sin revelar las entradas privadas utilizadas para producir la prueba. Qué datos de la aplicación permanecen públicos depende del diseño del sistema circundante.

En conjunto, estos conceptos podrían permitir que una aplicación exprese resultados aceptables y verifique evidencia de que se cumplieron las condiciones computacionales pertinentes. El mecanismo específico que los conecta en el lenguaje propuesto no ha sido descrito.

Conectando el lenguaje con los validadores de Cardano

Cardano ya proporciona componentes criptográficos para aplicaciones basadas en pruebas. Plutus V3 incluye operaciones BLS12-381 que admiten una verificación eficiente de pruebas de conocimiento cero compatibles. Los desarrolladores pueden usar esas primitivas para crear contratos que verifiquen evidencia de cómputos realizados fuera de la cadena de bloques.

La verificación consume recursos de ejecución y contribuye a las comisiones de transacción pagadas en ADA. Por lo tanto, la viabilidad de cualquier implementación depende de que el sistema de pruebas, el verificador y la carga de trabajo se ajusten a los límites de transacción de Cardano.

La publicación de Hoskinson no proporcionó un nombre del lenguaje, repositorio, especificación ni fecha de lanzamiento. Su relación con Aiken y Plutus también permanece sin especificar. El punto de integración no resuelto es cómo un programa escrito en el nuevo lenguaje generaría una prueba y la pondría a disposición de un validador de Cardano, conectando las condiciones declaradas por el usuario con el contrato que autoriza la liquidación.