¿El futuro de la financiación descentralizada, o DeFi, se construirá sobre las bases de la exactitud verificable y el rendimiento? , un protocolo construido en el marco de código abierto de Cardano, ha colaborado con , una empresa de ingeniería conocida por su participación en el desarrollo del núcleo de Cardano. La implementación a nivel institucional de la base de códigos Cardano, con el objetivo de integrar la experiencia en verificación formal y la comprensión arquitectónica. Apex Fusión bien tipificado Apex Fusión La verificación formal es un método utilizado en ciencias de la computación e ingeniería para demostrar la corrección de un sistema con respecto a una especificación o propiedad formal específica, empleando técnicas matemáticas. En términos más simples, es como una prueba matemática rigurosa de que una pieza de software o un sistema funciona exactamente como se pretendía, sin errores ocultos o vulnerabilidades. Esto contrasta con las pruebas tradicionales, que solo muestran la presencia de errores, no su ausencia. Su impacto en el desarrollo de blockchain es significativo porque permite la creación de sistemas altamente seguros y fiables, reduciendo el riesgo de errores, exploits y pérdidas financieras en aplicaciones donde se transaccionan grandes cantidades de valor, como en DeFi. Por ejemplo, supongamos que un contrato inteligente para un protocolo de préstamo se somete a The Role of Architectural Insight and Technical Assurance El papel del conocimiento arquitectónico y la garantía técnica El equipo, que incluye a Duncan Coutts, arquitecto de Cardano y miembro del Comité de Dirección Técnica Intersect, está diseñado para proporcionar auditoría continua, garantía de diseño y orientación de implementación para VECTOR. Esta colaboración está diseñada para proporcionar finalidad instantánea y mayor rendimiento de transacción para la red Apex Fusion. La finalidad instantánea en blockchain se refiere al tiempo que tarda en que una transacción sea considerada irreversible y registrada permanentemente en la blockchain. Por ejemplo, en una transacción bancaria tradicional, una vez que se transfieren fondos y se liquiden, la transacción se considera final. En la blockchain, esto significa que una transacción ha sido confirmada por suficientes participantes de la red que es altamente improbable que sea revertida o alterada. bien tipificado Por ejemplo, si una red puede procesar 100 transacciones por segundo, su transmisión es de 100 TPS. Tanto la finalidad prompt como el aumento de la transmisión de transacciones son cruciales para los casos de uso institucional, especialmente en DeFi, ya que garantizan que las transacciones de gran volumen y de alta frecuencia se puedan liquidar de forma rápida y fiable, permitiendo operaciones financieras más complejas y mejorando la eficiencia general para los usuarios profesionales. Duncan Coutts, un socio en , declaró, "Es emocionante ver que la base de código de Cardano se reutiliza de nuevas maneras. VECTOR es un esfuerzo audaz de implementación destinado a proporcionar características de nivel institucional mientras se mantienen basados en los principios de corrección y métodos formales.Estamos encantados de apoyar al equipo de Apex Fusion en asegurar que VECTOR cumpla con los más altos estándares de ingeniería."Esta declaración destaca el enfoque en el mantenimiento de principios de ingeniería rigurosos al tiempo que amplía la utilidad de la base de código de Cardano para nuevas aplicaciones. bien tipificado Building for High-Assurance Environments El protocolo VECTOR, desarrollado por Apex Fusion, está construido para entornos de alta seguridad donde la seguridad, la predictibilidad y el rendimiento son cruciales. Esta asociación refuerza el compromiso de Apex Fusion con el rigor, la colaboración e innovación, principios compartidos dentro del ecosistema de Cardano. Los entornos de alta seguridad, en el contexto de software y sistemas, son entornos donde las consecuencias del fracaso son graves, como pérdidas financieras, violaciones de seguridad o incluso pérdidas de vida. Estos entornos requieren que los sistemas sean excepcionalmente fiables, seguros y previsibles. Por ejemplo, en los sistemas de negociación financiera, un pequeño error o retraso puede conducir a millones de dólares en pérdidas, por lo que estos sistemas son diseñados y verificados a los más altos Ivan Bjelajac, CEO de la Fundación Apex Fusion, comentó: 
 
 "El legado de la ingeniería de sonido de Cardano es una fundación que respetamos profundamente. Trabajar con Well-Typed es una garantía de calidad y una continuación de ese legado. Juntos, estamos evolucionando esa fundación para satisfacer las necesidades de la DeFi institucional y construir un futuro donde la compostabilidad en cadena sea segura, rápida y confiable". "El legado de la ingeniería de sonido de Cardano es una fundación que respetamos profundamente. Trabajar con Well-Typed es una garantía de calidad y una continuación de ese legado. Juntos, estamos evolucionando esa fundación para satisfacer las necesidades de la DeFi institucional y construir un futuro donde la compostabilidad en cadena sea segura, rápida y confiable". Este sentimiento subraya el objetivo de desarrollar las bases sólidas existentes para abordar las demandas específicas de las finanzas descentralizadas institucionales y fomentar las interacciones de cadena transversal confiables.La compostabilidad transversal se refiere a la capacidad de diferentes redes de blockchain para interactuar y intercambiar activos o datos entre sí de manera suave y segura.Imagine múltiples países diferentes con diferentes monedas y sistemas jurídicos, pero con un sistema que permita a sus ciudadanos comerciar bienes y servicios fácilmente y de forma segura sin complejas conversiones o barreras legales. En blockchain, esto significa que los activos o funcionalidades de una blockchain, por ejemplo, un token en Ethereum, podrían usarse directamente dentro de una aplicación en otra blockchain, como Cardano, sin tener que convertirlos en un activo nativo de la segunda cadena. Final Outlook La perspectiva final La colaboración entre y Como la industria se mueve más allá de las fases experimentales tempranas, el énfasis en la ingeniería robusta y la verificación formal se vuelve cada vez más importante, especialmente para atraer la participación institucional.El énfasis en la finalidad rápida y el aumento del rendimiento aborda directamente los obstáculos prácticos que han limitado la amplia adopción de DeFi en las finanzas tradicionales. Apex Fusión bien tipificado Mientras que la asociación tiene como objetivo aprovechar los principios establecidos de Cardano, la verdadera prueba estará en la eficacia de cómo VECTOR puede cumplir con sus promesas de velocidad y escalabilidad sin comprometer la integridad fundamental que los métodos formales están destinados a proporcionar.Esta iniciativa indica una tendencia más amplia hacia la construcción de una infraestructura blockchain más resiliente y confiable, esencial para apoyar las complejas aplicaciones financieras del futuro. Don’t forget to like and share the story! 
 
 Este autor es un colaborador independiente que publica a través de nuestro programa de blogs de negocios. HackerNoon ha revisado el informe por la calidad, pero las afirmaciones aquí pertenecen al autor. #DYO Este autor es un colaborador independiente que publica a través de nuestro programa de blogs de negocios. HackerNoon ha revisado el informe por la calidad, pero las afirmaciones aquí pertenecen al autor. #DYO Programa de blogs de negocios Programa de blogs de negocios

This story contains new, firsthand information uncovered by the writer.

The writer was physically present in relevant location(s) to this story. The location is also a prevalent aspect of this story be it news or otherwise.

Hot off the press! This story contains factual information about a recent event.

Winner of Noonies 2020 for the award Hacker Noon Contributor of the Year - DATA.

2020 - Hacker Noon Contributor of the Year in DATA

Read My Stories

Este audio es producido en el idioma original de la historia!

Demasiado Largo; Para Leer

CTA: Download the FREE AI Productivity Shift report

Cómo Apex Fusion y Well-Typed están moldeando el futuro del DeFi institucional en Cardano

About Author

COMENTARIOS

ETIQUETAS

ESTE ARTÍCULO FUE PRESENTADO EN

Related Stories

La guía completa para una migración exitosa a la nube: estrategias y mejores prácticas

Una breve introducción a la teoría del cerebro de Boltzmann

Nómadas digitales escuchen: lo que necesitan saber sobre la nueva visa DTV de Tailandia

Toque para ganar: Telegram puede incorporar a los próximos 10 mil millones de usuarios de criptomonedas antes de Solana

La guía completa para una migración exitosa a la nube: estrategias y mejores prácticas

Una breve introducción a la teoría del cerebro de Boltzmann

Nómadas digitales escuchen: lo que necesitan saber sobre la nueva visa DTV de Tailandia

Toque para ganar: Telegram puede incorporar a los próximos 10 mil millones de usuarios de criptomonedas antes de Solana

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps