Blockchain

Com o aumento contínuo da procura global por pagamentos transfronteiriços, a eficiência dos pagamentos, a redução dos custos de liquidação e a preservação da segurança financeira assumem-se como desafios centrais para bancos centrais e instituições financeiras em todo o mundo. O Projecto Agorá, liderado pelo Bank for International Settlements (BIS) em colaboração com diversos bancos centrais e entidades financeiras, constitui uma iniciativa de investigação dedicada aos pagamentos transfronteiriços. O projecto pretende reinventar os fluxos de trabalho de pagamentos grossistas entre fronteiras através da utilização de tecnologias como finanças tokenizadas, registos partilhados e liquidação atómica.

A infraestrutura financeira global está a evoluir de forma constante para a tokenização e digitalização. Os pagamentos transfronteiriços estão a migrar de modelos tradicionais de liquidação bancária para estruturas inovadoras que incorporam tecnologia Blockchain e registos partilhados. O Projecto Agorá, uma iniciativa de investigação relevante liderada pelo Bank for International Settlements (BIS) em colaboração com vários bancos centrais e instituições financeiras, tem como objetivo não só aumentar a eficiência dos pagamentos, mas também criar um ecossistema de pagamentos transfronteiriços de nova geração que garante a estabilidade financeira e o cumprimento das normas regulatórias.

A KAS foi lançada de forma equitativa, sem pré-mineração nem ICO, sendo todos os tokens libertados exclusivamente através de farm competitiva de KHeavyHash. A oferta total está limitada a aproximadamente 2,87 mil milhões de tokens. A curva de emissão contempla uma fase pré-deflacionária e uma fase cromática, nas quais as recompensas de bloco diminuem progressivamente com base nas pontuações DAA. O KHeavyHash assenta na multiplicação de matrizes hash Keccak, com os mineradores e os nodos RustyKaspa cheios a colaborar ativamente para garantir a segurança do blockDAG.

A principal diferença entre a Kaspa (KAS) e blockchains PoW estabelecidas, como a Litecoin (LTC) e a Monero (XMR), está na arquitetura do registo. A Kaspa recorre a um blockDAG e ao mecanismo de consenso GHOSTDAG para permitir a geração paralela e de alta frequência de blocos. Por outro lado, a Litecoin e a Monero mantêm a estrutura linear tradicional de cadeia única, adotando cada uma abordagens próprias à eficiência dos pagamentos e à privacidade on-chain.

Kaspa (KAS) é uma Blockchain pública Layer 1 baseada em prova de trabalho (PoW), substituindo a arquitetura tradicional de cadeia única pela tecnologia blockDAG. Com o protocolo de consenso GHOSTDAG, Kaspa estrutura blocos paralelos num registo ordenado, procurando uma produção de aproximadamente 10 blocos por segundo. O lançamento da rede decorreu de forma equitativa, sem pré-mineração nem alocações ocultas. O algoritmo de mineração utilizado é o KHeavyHash e a implementação de nodo denomina-se RustyKaspa.

O consenso GHOSTDAG funciona como o motor principal de ordenação na arquitetura blockDAG PoW da Kaspa (KAS). Este mecanismo possibilita a transmissão simultânea de múltiplos blocos válidos por parte dos mineradores, enquanto o GHOSTDAG utiliza a classificação Azul/Vermelho e as regras de k-cluster para converter o grafo paralelo de blocos num registo sequencial com consistência global.

A principal diferença entre Kaspa (KAS) e Bitcoin (BTC) encontra-se nas arquiteturas dos respetivos registos: o Bitcoin adota uma estrutura linear de bloco único para registar o histórico de transações, enquanto a Kaspa utiliza um blockDAG, o que possibilita a geração paralela de blocos e estabelece uma ordem global através do mecanismo de consenso GHOSTDAG. Apesar de ambos os sistemas recorrerem à Proof of Work (PoW), distinguem-se pela arquitetura dos dados, velocidade de geração de blocos, gestão de blocos órfãos e algoritmo de farm.

O processo de inferência de IA da Nesa é o fluxo de trabalho de execução completa para um pedido de IA: da submissão e agendamento de tarefas à inferência distribuída, verificação de resultados e entrega final. Através da integração do sistema de agendamento MetaInf, da tecnologia de inferência privada e dos mecanismos de verificação, o processo reforça a privacidade dos dados e a fiabilidade do resultado, ao mesmo tempo que realiza a inferência de IA.

A IA verificável é um mecanismo técnico que autentica a execução efetiva do raciocínio de IA, assegura a fiabilidade dos resultados obtidos e viabiliza a verificação independente. A Nesa incorpora a IA verificável como capacidade nuclear da rede, recorrendo a provas criptográficas, execução distribuída e verificação de resultados para não só realizar as computações de inferência de IA, mas também demonstrar que o processo de raciocínio corresponde ao esperado, reforçando assim a confiança dos programadores nos resultados gerados por IA.

A Nesa (NES) é uma rede de infraestrutura de IA concebida para computação com preservação da privacidade, computação verificável e execução descentralizada. Ao recorrer à Encriptação Equivariante (EE), à HSS-EE e a uma arquitetura de inferência distribuída, permite que os modelos de IA realizem tarefas de inferência sem expor os dados nem o conteúdo do modelo.

Brevis é uma plataforma de computação verificável baseada em Zero-Knowledge Proofs (ZK), designada como a "Infinite Compute Layer" para Web3. O método central passa por executar cálculos intensivos em recursos off-chain, permitindo à Blockchain validar apenas uma prova sucinta.

Pico zkVM é a máquina virtual modular de Zero-Knowledge (zkVM) open-source da Brevis (BREV). Permite aos programadores escrever qualquer lógica computacional em Rust e criar uma Zero-Knowledge Proof (ZK) para confirmar que o cálculo foi realizado corretamente.

O coprocessador de dados ZK resolve a limitação dos contratos inteligentes em aceder a dados históricos, ao possibilitar a obtenção off-chain de dados históricos ou entre cadeias, diretamente dos nodos de arquivo. Realiza os cálculos necessários e devolve uma prova de conhecimento zero que valida tanto o resultado como a autenticidade e precisão dos dados. Esta prova pode ser verificada pelo contrato on-chain em milissegundos. O fluxo de dados decorre em quatro fases: pedido da aplicação, computação off-chain, geração da prova ZK e verificação on-chain com receção do resultado, permitindo chegar a conclusões fiáveis sem necessidade de reproduzir todos os dados.

Os oracles introduzem sobretudo dados externos, off-chain, na blockchain, com a sua credibilidade a refletir-se nos nodos e nos incentivos económicos. Os co-processadores ZK, como o Brevis, dedicam-se à computação verificável de dados históricos já existentes on-chain, utilizando provas de conhecimento zero para permitir a validação direta dos resultados on-chain. Estas duas tecnologias posicionam-se em lados opostos do fluxo de dados da blockchain, assegurando papéis complementares quanto à direção dos dados, aos modelos de confiança e às capacidades computacionais. As suas fronteiras permanecem indefinidas; em situações reais, a adoção de abordagens híbridas colaborativas é comum.

O BREV é o token nativo da rede Brevis, permitindo três funções principais: pagamentos de taxas de prova, staking de Provador e governança do protocolo. A coChain opera como uma blockchain proof-of-stake com mecanismos de staking e slashing baseados em Ethereum. Os validadores submetem os resultados sob a forma de "propostas" à cadeia de pedidos, abrindo uma janela de contestação. Caso uma proposta incorreta seja contestada com sucesso através de prova de conhecimento zero, o staking associado é reduzido na Ethereum. Na ausência de contestação, o resultado é aceite automaticamente, eliminando o custo da prova.