O futuro da finanças descentralizadas, ou DeFi, será construído sobre fundações de precisão e desempenho verificáveis? , um protocolo construído sobre o framework de código aberto da Cardano, tem colaborado com , uma empresa de engenharia conhecida por seu envolvimento no desenvolvimento do núcleo da Cardano. A implementação institucional da base de códigos Cardano, com o objetivo de integrar experiência em verificação formal e insights arquitetônicos. Apex Fusão bem tipificado Apex Fusão Verificação formal é um método usado em ciência da computação e engenharia para provar a exatidão de um sistema em relação a uma especificação ou propriedade formal específica, empregando técnicas matemáticas. Em termos mais simples, é como uma prova matemática rigorosa de que um pedaço de software ou um sistema funciona exatamente como pretendido, sem quaisquer erros ou vulnerabilidades ocultas. Isso contrasta com testes tradicionais, que só mostram a presença de erros, não a sua ausência. Seu impacto no desenvolvimento da blockchain é significativo porque permite a criação de sistemas altamente seguros e confiáveis, reduzindo o risco de bugs, explosões e perdas financeiras em aplicações onde grandes quantidades de valor são negociadas, como em DeFi. Por exemplo, suponha que um contrato inteligente para um protocolo de empréstimo The Role of Architectural Insight and Technical Assurance O papel da visão arquitetônica e da garantia técnica A equipe, que inclui Duncan Coutts, um arquiteto da Cardano e membro do Comitê de Orientação Técnica Intersect, está definida para fornecer auditoria contínua, garantia de projeto e orientação de implementação para o VECTOR. Esta colaboração é projetada para fornecer finalidade imediata e maior capacidade de transação para a rede Apex Fusion. Finalidade imediata na blockchain refere-se ao tempo necessário para que uma transação seja considerada irreversível e registrada permanentemente na blockchain. Por exemplo, em uma transação bancária tradicional, uma vez que os fundos são transferidos e liquidados, a transação é considerada final. Na blockchain, isso significa que uma transação foi confirmada por participantes suficientes da rede que é altamente improvável que seja revertida ou alterada. bem tipificado Por exemplo, se uma rede pode processar 100 transações por segundo, sua transmissão é de 100 TPS. Tanto a finalidade prompt quanto o aumento da transmissão são cruciais para casos de uso institucional, especialmente em DeFi, pois garantem que transações de grande volume e de alta frequência possam ser resolvidas rapidamente e de forma confiável, permitindo operações financeiras mais complexas e melhorando a eficiência geral para usuários profissionais. Duncan Coutts, um parceiro na , declarou, "É emocionante ver a base de código Cardano sendo reutilizada de maneiras novas. VECTOR é um esforço de implementação ousado destinado a fornecer recursos de nível institucional, mantendo-se fundamentado nos princípios de correção e métodos formais. Estamos felizes em apoiar a equipe da Apex Fusion em garantir que VECTOR atenda aos mais altos padrões de engenharia." Esta declaração destaca o foco em manter princípios de engenharia rigorosos, ao mesmo tempo em que estende a utilidade da base de código Cardano para novas aplicações. bem tipificado Building for High-Assurance Environments O protocolo VECTOR, como desenvolvido pela Apex Fusion, é construído para ambientes de alta segurança onde a segurança, a previsibilidade e o desempenho são cruciais. Esta parceria reforça o compromisso da Apex Fusion com rigor, colaboração e inovação, princípios compartilhados dentro do ecossistema Cardano. Ambientes de alta segurança, no contexto do software e dos sistemas, são ambientes onde as consequências do fracasso são graves, como perdas financeiras, violações de segurança ou até mesmo perda de vida. Esses ambientes exigem que os sistemas sejam excepcionalmente confiáveis, seguros e previsíveis. Por exemplo, em sistemas de negociação financeira, um pequeno erro ou atraso pode levar a milhões de dólares em perdas, por isso esses sistemas são projetados e verificados para os mais altos níveis de garantia. Na blockchain, isso Ivan Bjelajac, CEO da Apex Fusion Foundation, comentou: 
 
 “O legado da engenharia de som da Cardano é uma fundação que respeitamos profundamente. Trabalhar com a Well-Typed é uma garantia de qualidade e uma continuação desse legado.Juntos, estamos desenvolvendo essa fundação para atender às necessidades da DeFi institucional e construir um futuro onde a composição em cadeia seja segura, rápida e confiável.” “O legado da engenharia de som da Cardano é uma fundação que respeitamos profundamente. Trabalhar com a Well-Typed é uma garantia de qualidade e uma continuação desse legado.Juntos, estamos desenvolvendo essa fundação para atender às necessidades da DeFi institucional e construir um futuro onde a composição em cadeia seja segura, rápida e confiável.” Este sentimento sublinha o objetivo de desenvolver fundações sólidas existentes para atender às demandas específicas da finanças descentralizadas institucionais e promover interações confiáveis entre cadeias. A compostabilidade entre cadeias refere-se à capacidade de diferentes redes de blockchain interagirem e trocarem ativos ou dados uns com os outros de forma suave e segura. Imagine vários países diferentes com diferentes moedas e sistemas jurídicos, mas com um sistema que permita aos seus cidadãos negociar bens e serviços de forma fácil e segura sem conversões complexas ou barreiras legais. Em blockchain, isso significa que os ativos ou funcionalidades de uma blockchain, por exemplo, um token em Ethereum, poderiam ser usados diretamente dentro de um aplicativo em outra blockchain, como Cardano, sem precisar convertê-los em um ativo nativo da segunda cadeia. Final Outlook Final do Outlook A colaboração entre e Como a indústria vai além das fases experimentais iniciais, a ênfase em engenharia robusta e verificação formal torna-se cada vez mais importante, especialmente para atrair a participação institucional. Apex Fusão bem tipificado Enquanto a parceria visa aproveitar os princípios estabelecidos da Cardano, o verdadeiro teste será em quão efetivamente a VECTOR pode cumprir suas promessas de velocidade e escalabilidade sem comprometer a integridade fundamental que os métodos formais são destinados a fornecer.Esta iniciativa indica uma tendência mais ampla em direção à construção de uma infraestrutura blockchain mais resiliente e confiável, essencial para apoiar as complexas aplicações financeiras do futuro. Don’t forget to like and share the story! 
 
 Este autor é um colaborador independente que publica através do nosso programa de blogs de negócios. HackerNoon revisou o relatório por qualidade, mas as alegações aqui contidas pertencem ao autor. #DYO Este autor é um colaborador independente que publica através do nosso programa de blogs de negócios. HackerNoon revisou o relatório por qualidade, mas as alegações aqui contidas pertencem ao autor. #DYO Programa de Blogs de Negócios Programa de Blogs de Negócios

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 áudio é produzido no idioma original da história!

Muito longo; Para ler

CTA: Download the FREE AI Productivity Shift report

Como Apex Fusion e Well-Typed estão moldando o futuro do DeFi institucional no Cardano

About Author

COMENTARIOS

Rótulos

ESTE ARTIGO FOI APRESENTADO EM

Related Stories

Toque para ganhar: Telegram pode integrar os próximos 10 bilhões de usuários criptográficos antes de Solana

As camadas invisíveis: por que as entrevistas com usuários são um ativo insubstituível

Como melhorar seu fluxo de trabalho em 10 vezes: 17 aplicativos essenciais

Vazamento do prompt do sistema Claude Sonnet 3.5: uma análise forense

Toque para ganhar: Telegram pode integrar os próximos 10 bilhões de usuários criptográficos antes de Solana

As camadas invisíveis: por que as entrevistas com usuários são um ativo insubstituível

Como melhorar seu fluxo de trabalho em 10 vezes: 17 aplicativos essenciais

Vazamento do prompt do sistema Claude Sonnet 3.5: uma análise forense

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps