Cargando precios…
🔥BULLISH

Cardano estrena lenguaje con pruebas de conocimiento cero

El lenguaje propuesto podría facilitar la composición y verificación de aplicaciones de Cardano, pero los desarrolladores aún no tienen nombre, código público ni fecha de lanzamiento.

Cardano estrena lenguaje con pruebas de conocimiento cero
Cardano estrena lenguaje con pruebas de conocimiento cero
Cardano estrena lenguaje con pruebas de conocimiento cero
Cardano estrena lenguaje con pruebas de conocimiento cero

El fundador de Cardano, Charles Hoskinson, afirmó que está desarrollando personalmente un nuevo lenguaje de programación para la red junto con Lucas Rosa, ingeniero de Input Output Global y cocreador de Aiken. El lenguaje combinaría intenciones de transacción, datos con pruebas criptográficas y pruebas Groth16. Hoskinson aún no ha revelado su nombre, publicado código público ni fijado una fecha de lanzamiento para desarrolladores.

Por qué es importante

Las intenciones de transacción permiten a los usuarios describir el resultado que desean sin especificar cada paso de la ejecución. Por ejemplo, un operador podría solicitar un intercambio de tokens solo si el precio final cumple determinadas condiciones. Los datos con pruebas criptográficas adjuntarían evidencia que demostraría que la información sigue las reglas requeridas, lo que permitiría a otra aplicación verificarla sin repetir el cálculo subyacente.

Groth16 genera pruebas compactas que pueden comprobarse rápidamente y demostrar que se cumplió una condición sin revelar los datos privados que hay detrás. En conjunto, los tres componentes podrían ayudar a las aplicaciones de Cardano a coordinar operaciones, verificar condiciones complejas y transferir información validada entre servicios.

Actualmente, los desarrolladores de Cardano utilizan Plutus, basado en Haskell, y Aiken para los contratos inteligentes. La empresa de Hoskinson también desarrolló Compact para aplicaciones confidenciales en la blockchain Midnight, lo que aporta al nuevo proyecto un contexto más amplio sobre lenguajes y privacidad dentro del ecosistema.

Impacto en el mercado

El impacto inmediato afecta más a la hoja de ruta de desarrollo de Cardano que a un lanzamiento de producto confirmado. Un lenguaje funcional podría reducir la complejidad de crear aplicaciones que necesiten ejecución condicional y verificación de conocimiento cero, pero su efecto dependerá de su entrega, documentación y adopción por parte de los desarrolladores.

Hasta que Hoskinson publique especificaciones, código o un calendario, el proyecto seguirá siendo un esfuerzo de desarrollo anunciado. Los desarrolladores y los inversores de ADA estarán atentos a esos hitos, así como a pruebas de que el diseño propuesto funciona junto con las herramientas existentes de Cardano.

Tokens relacionados
$ADA

Preguntas frecuentes

  1. ¿Qué está desarrollando Hoskinson para Cardano?

    Está desarrollando personalmente un nuevo lenguaje de programación para Cardano junto con Lucas Rosa, ingeniero de Input Output Global. El lenguaje está diseñado para intenciones de transacción, datos con pruebas criptográficas y pruebas Groth16.

  2. ¿Cómo funcionarían las intenciones de transacción en el lenguaje propuesto?

    Permitirían a los usuarios indicar el resultado que desean sin especificar cada paso de la ejecución. Después, una aplicación podría ejecutar un intercambio de tokens solo si se cumplieran determinadas condiciones de precio.

  3. ¿Qué función cumplirían las pruebas Groth16?

    Las pruebas Groth16 pueden aportar evidencia criptográfica compacta de que se cumplió una condición. Pueden comprobarse rápidamente sin revelar los datos privados utilizados para satisfacerla.

  4. ¿Cómo podría afectar el lenguaje a las aplicaciones de Cardano?

    Podría ayudar a los desarrolladores a coordinar operaciones, verificar condiciones complejas y transferir información validada entre servicios. El efecto práctico dependerá de la entrega, documentación y adopción del lenguaje.

  5. ¿Cuándo podrán utilizar el nuevo lenguaje los desarrolladores de Cardano?

    No se ha anunciado ninguna fecha de lanzamiento. Hoskinson aún no ha compartido el nombre del lenguaje, su código público ni un calendario de disponibilidad para desarrolladores.

Atribución de fuente
Agregado de CoinDesk · Verificado · Última actualización hace 3d
Abrir original →