Metalamp and Runtime Verification among developers priming Cardano for the age of DeFi

Enlace al artículo original

Se está instalando la infraestructura técnica para los contratos inteligentes de Plutus en Cardano. Pero dicha infraestructura para las finanzas descentralizadas (DeFi) es como una carretera sin automóviles si no hay desarrolladores para redactar los contratos que impulsarán la adopción y el uso de la plataforma.

El programa pionero de Plutus se inició en abril, como parte de un esquema en evolución para la educación de desarrolladores que comenzó hace más de dos años. ¿La meta? Brindar capacitación estructurada para cualquier persona que quiera aprender sobre programación funcional, para que puedan comenzar a usar Haskell y Plutus y comenzar a construir sus primeras aplicaciones. Junto con este entusiasta y comprometido grupo de alrededor de 1.500 desarrolladores de Plutus 'en formación', también hemos formado asociaciones con empresas de desarrollo de software con experiencia para crear una serie de aplicaciones descentralizadas(DApps) para probar la red, proporcionar algunas pruebas tempranas de aplicaciones de concepto, y evaluar nuestros procesos y soporte para el ejército de desarrolladores que sigue.

El plan para Plutus es que "los desarrolladores profesionales complementen el trabajo del programa pionero y ayuden a acelerar nuestro proceso de control y prueba de calidad hacia la actualización dura de Alonzo", dice Silviu Petricescu, director de estrategia de producto.
"La comunidad de Cardano ha sido parte integral de nosotros probando, mejorando y desplegando la red desde los días de la red de prueba incentivada", agrega. Los desarrolladores profesionales agregan otro elemento al proceso, en términos de experiencia, ubicado en algún lugar entre el equipo interno central y los pioneros, 'para escudriñar todo', agrega. 'Comenzando con la documentación, las herramientas y todos los elementos de soporte que vamos a proporcionar, serán los primeros en probarlo todo y darnos su opinión. Lo incluiremos en nuestros procesos internos de control de calidad y pruebas '.
Es un enfoque de dos frentes: el esquema pionero capacitará a un ejército de desarrolladores, mientras que el esquema de socios aportará una gran experiencia para asegurarse de que todo funcione; de ​​esa manera, todos estarán listos cuando Plutus se implemente en la red principal, como último componente de Goguen en la hoja de ruta de Cardano. "Tener a estos desarrolladores como parte de esto es una forma de asegurarnos de que nuestra calidad de construcción hacia la próxima actualización dura esté al nivel que queremos", dice Petricescu.
Gerard Moroney, director de operaciones, ha estado incorporando estas casas de software al esquema. `` Hemos estado hablando con empresas que tienen experiencia con blockchain y consultorías de blockchain, y otras que no son necesariamente criptográficas pero que conocen la computación distribuida. También hemos analizado consultorías que tienen una sólida experiencia en Haskell ”. El entusiasmo y la pasión también forman parte de la ecuación: 'Estamos trabajando con empresas que realmente quieren probar algo nuevo, algo innovador e interesante. Básicamente, respaldamos a personas que quieren ser valientes y estar a la vanguardia '.
Por supuesto, la cadena de bloques nunca duerme y la búsqueda lo ha llevado por todas partes, manteniendo conversaciones con empresas de consultoría en Europa, Asia Pacífico y América. "Algunos de ellos eran completamente nuevos para nosotros", dice, "pero ya sabían sobre Cardano y Plutus, y eso ha sido realmente interesante".
Se trata de empresas que tienen experiencia en el sector financiero y empresarial, por lo que "todas tienen grandes ideas", añade. `` Les estamos brindando orientación sobre lo que queremos que trabajen al principio, pero también se les ocurren nuevas ideas, y eso es muy divertido ''.
El programa Cardano360 de marzo realizó entrevistas con algunas de las empresas asociadas. Cuando se trata de ingeniería de software, su experiencia pronto se vuelve clara. Obsidian Systems , por ejemplo, proporcionó muchas de las herramientas y el soporte técnico para los validadores de bloques que mantienen la cadena de bloques de prueba de participación de Tezos.
En una visita a las oficinas de Metalamp, se encontrará en la ciudad de Omsk en Siberia entre un equipo que prospera en 'proyectos complejos y que requieren mucho tiempo', a menudo construidos en el lenguaje de programación Haskell. La empresa había oído hablar de Cardano y sabía que 'es uno de los proyectos más fascinantes escritos en Haskell'. Algunos de sus equipos ya habían jugado con Plutus antes de que las empresas entraran en contacto. Metalamp tiene experiencia con tecnología financiera y ha creado aplicaciones que involucran a prestamistas, préstamos y libros de contabilidad.
Otras empresas que apoyan el lanzamiento incluyen:
● Eleks: servicios de consultoría e ingeniería de software personalizados desde 1991. Con sede en Ucrania.
● Node Factory: especialista en investigación y desarrollo de blockchain en Zagreb.
● MLabs: desarrolla compiladores, inteligencia artificial y aplicaciones DevOps, principalmente en Haskell, Python y Typescript.
● BinarApps: con sede en Polonia, este desarrollador se especializa en proyectos para los sectores minorista y de fidelización.
Los desarrolladores esperan explorar aplicaciones que involucren intercambios digitales y fuentes en línea llamadas 'oráculos' que traen información, ya sea precios de productos básicos, tipos de cambio, horarios de aerolíneas o programas de logística, en cadenas de bloques. La página de Essential Cardano en GitHub mapea el ecosistema de Cardano y enlaces a una biblioteca de recursos.
Mucho tiempo en la fabricación
Por supuesto, Plutus se utilizará para contratos inteligentes financieros complejos. Hay mucho dinero en juego con estos contratos; se calcula que $ 43 mil millones ya están bloqueados en contratos que utilizan el sistema Ethereum. Sin embargo, DeFi aún se encuentra en una etapa muy temprana y, como mostramos en nuestro reciente evento #CardanoAfrica, existe un mercado completamente nuevo para casos de uso del mundo real(o RealFi, como lo llamamos).
Implementar contratos inteligentes seguros a largo plazo es difícil, ¡y los programas de software son notoriamente difíciles! Pero el progreso realizado por nuestros ingenieros de blockchain y la aceleración en la forma en que las piezas del rompecabezas de Goguen están encajando se pueden ver claramente en la línea de tiempo de Plutus a continuación. El Plutus Playground está en funcionamiento. Tenemos alrededor de 1.500 desarrolladores que desarrollan sus habilidades dentro del programa Pioneer, escriben scripts y crean aplicaciones prototipo. Pronto comenzará a implementarse una serie de redes de prueba de desarrollo de Alonzo, con la funcionalidad principal para comenzar, seguida de un proceso de iteración rápida con nueva capacidad y nuevos grupos de usuarios agregados en las próximas semanas. Mientras tanto, avanzamos constantemente hacia el despliegue de Alonzo en la red principal y el inicio de contratos inteligentes en Cardano.
Va a ser un verano emocionante, ya que todos en la comunidad de Cardano, socios, pioneros y desarrolladores de todos los ámbitos, trabajan incansablemente para garantizar que la plataforma de contratos inteligentes Plutus comience a funcionar. El sistema seguro y energéticamente eficiente que las finanzas descentralizadas estaban esperando.
Estamos en las etapas finales de la preparación de la primera red de prueba de Alonzo, apuntando a finales de mes. Esté atento a nuestros canales sociales esta semana para recibir actualizaciones. Puedes probar Plutus Playground por ti mismo y unirte a las discusiones de Plutus en el Foro de Cardano. También hay un repositorio Plutus GitHub. Puede registrar su interés y unirse a nuestra comunidad de Slack