Paquete Ada
En medio de la locura en el cripto más amplio, junto con la volatilidad sustancial de Cardano, la actualización del hard fork Alonzo para ADA ha tratado de proporcionar una solución para mantener su estatus de potencia, y seguir dominando el año.
Cardano ha tenido una carrera increíble este año con la nueva ola de toros criptográficos listos para ver en qué se convertirá ADA. Apodado el “asesino de Ethereum”, Cardano y su fundador, Charles Hoskinson, parecen estar seguros de que su equipo y su proyecto dominarán para convertirse en el perro principal. Con los recientes comentarios de Hoskinson de que el espacio de DeFi en el ecosistema de Cardano está actualmente “en juego”, los contratos inteligentes con Cardano han llegado finalmente. También señaló que DeFi está viendo ahora una segunda ola, y los ganadores de este movimiento se caracterizarán tanto por la interoperabilidad como por la liquidez, así como por la capacidad de moverse en varias cadenas, todo ello con un coste fácilmente predecible.
El fundador de Cardano ha sido una de las principales personas en el ámbito de las criptomonedas que ha expresado la necesidad de una mayor regulación, gobernanza y mucho más en todas las criptomonedas, y también entiende que la descentralización es una necesidad importante. Estas razones juegan un papel en la razón por la que Hoskinson y su equipo trabajaron en el diseño de Cardano, permitiéndole encajar y trabajar perfectamente con la segunda ola de DeFi. Con el lanzamiento exitoso de la bifurcación dura de Alonzo, se produjo una nueva ola y un impulso para que cualquiera pueda añadir contratos inteligentes a la blockchain con facilidad. ¿Cómo afectará esto a ADA?
Llamada de envío de Ada
Bueno, técnicamente no podemos, al menos directamente. Cardano funciona con Ada, no con dólares. Y no incluye el pago por banco o tarjetas de crédito. Una mayor exploración de su pregunta en realidad entregó algo más factible: ¿Podemos hacer un contrato inteligente de Cardano para pagar 10 dólares en ADA por algún producto o servicio?
Este es un caso de uso muy válido. En un mundo dominado por el dólar, el euro, el yen y el yuan, pretender que estas monedas no existen es muy miope. Entonces, ¿cómo puedo pagar 10 dólares a un contrato inteligente? Bueno, en primer lugar, hay intercambios. Ya sabes, puedes convertir USD a ADA, y pagar el ADA. Pero, ¿cuánto ADA? Técnicamente, lo que dicte el tipo de cambio. Así que, el primer enfoque, el manual, es:
Es molesto que tengamos un tercero fuera del control de Cardano: el intercambio. Lo que hagamos lo dicta alguien que va al intercambio y comprueba el tipo de cambio. Vamos a ver si podemos arreglar esto.
¿Cómo podemos hacer frente a los factores externos fuera del control de Cardano? Con oráculos. En el mundo de Cardano, un oráculo es un dato, firmado por alguien en quien confiamos, que podemos utilizar para medir estos factores externos y utilizarlos en un contrato inteligente. Exploremos más los detalles de esto:
Ada oop
Entre las adiciones a Ada 2012, varios aspectos siguen el tema común de los contratos “formales” sobre tipos y subprogramas. La formalidad se refiere aquí a la lógica simbólica integrada con las características existentes de Ada. Los contratos dotan al lenguaje de características expresivas similares a las del Design by Contract™ de Eiffel, SPARK, o las relacionadas con LSP.
Dado que la especificación de contratos implica a varias partes del lenguaje Ada, y que la obediencia de los contratos por parte del compilador también lo hace, el tema de los contratos se aborda en varias partes de la referencia del lenguaje. Una visión completa, más centrada, es un tema de la última edición de los fundamentos de Ada[1].
Algunas partes de los contratos pueden referirse a propiedades del programa conocidas estáticamente, mientras que otras se comprobarían sólo en tiempo de ejecución. En el primer caso, las partes formales del contrato pueden ser analizadas no sólo por el compilador de Ada, sino también por herramientas de prueba. La garantía resultante del análisis puede ser que ciertas propiedades indeseables estarán ausentes del programa. Por ejemplo, se puede saber que el programa no genera excepciones.
Caso Ada
La siguiente tabla ofrece estadísticas resumidas de las ofertas de empleo con necesidad de conocimientos de Ada. Se incluye una guía de referencia de las tarifas de contratistas ofrecidas en las vacantes que han citado Ada durante los 6 meses hasta el 1 de noviembre de 2022 con una comparación con el mismo periodo de los 2 años anteriores.
Ada se encuentra en la categoría de Lenguajes de Programación. La siguiente tabla es para comparar con lo anterior y proporciona estadísticas resumidas para todas las vacantes de contrato con un requisito de habilidades de codificación.
La tabla siguiente examina la demanda y ofrece una guía de las tarifas medias de los contratistas en los puestos de trabajo de TI que citan a Ada en el Reino Unido durante los 6 meses hasta el 1 de noviembre de 2022. La columna “Cambio de rango” proporciona una indicación del cambio en la demanda dentro de cada ubicación basada en el mismo período de 6 meses del año pasado.