Ir para o conteúdo
ORBITRAONE
NexusWASMOrbitra L1

Ambiente principal de contratos inteligentes

Todo contrato declara o que pode tocar.

O NexusWASM é o ambiente principal de contratos inteligentes do Orbitra L1. Os contratos são compilados a partir de Rust, C/C++ e outros toolchains modernos para WebAssembly, são executados em um sandbox determinístico e alcançam ativos, estado e módulos de mercado somente por meio das capacidades que lhes são concedidas. A computação e o armazenamento são precificados explicitamente, e o acesso a estado declarado permite que o VectorLanes execute contratos não relacionados lado a lado.

Como funciona

Dentro do sandbox com medição

Ilustração: Um contrato NexusWASM é executado dentro de um sandbox. Ele só pode acessar as capacidades que declarou — incluindo módulos nativos de mercado — enquanto o processamento e o armazenamento são medidos, e seu acesso declarado ao estado permite que o escalonador o execute em paralelo com trabalhos não relacionados.
Contrato
  • Capacidades

  • Processamento medido

  • Armazenamento medido

A ilustração mostra um contrato NexusWASM selado dentro de um sandbox. Ao seu redor estão apenas as capacidades que ele declarou, entre elas módulos de mercado nativos; nada mais é alcançável. Dois medidores acompanham a computação e o armazenamento separadamente enquanto a chamada é executada, e o acesso a estado declarado pelo contrato passa para o escalonador, que o executa em paralelo com trabalho não relacionado.

O problema

Por que uma blockchain nativa de mercados precisa de seu próprio ambiente de execução de contratos

Em muitos ambientes de contratos, todo contrato detém autoridade ambiente. Ele pode chamar qualquer outro contrato, mover qualquer ativo que controle e tocar em estado que nunca declarou. Esse modelo é fácil de começar e difícil de proteger: um caminho de chamada inesperado pode transformar um pequeno defeito em uma tesouraria esvaziada, e revisar um único contrato significa raciocinar sobre tudo o que ele possa alcançar.

Esse tipo de abertura também limita o desempenho. Um ambiente de execução que não pode saber de antemão qual estado uma transação vai tocar precisa executar as transações uma após a outra, ou executá-las especulativamente e revertê-las em caso de conflito. A precificação costuma agregar computação, armazenamento e o crescimento de estado de longo prazo em uma única unidade abstrata, de modo que o custo duradouro do estado fica mal refletido no que uma transação paga.

O NexusWASM parte de pressupostos opostos. A autoridade é concedida, não ambiente. O acesso a estado é declarado, não descoberto. A computação e o armazenamento são medidos e precificados separadamente. As aplicações podem, portanto, chamar infraestrutura de mercado real — livros de ofertas do ApexMatch, verificações de risco do Aegis, preços do Prism — sem herdar os riscos de um modelo de execução aberto.

Sequência operacional

Do código-fonte ao estado certificado.

Todo contrato — um roteador de pagamentos, um registro de ativos, uma tesouraria de agente — segue o mesmo caminho do compilador até a finalidade.

  1. 01

    Construção

    Rust, C/C++ ou outra linguagem direcionada ao WebAssembly compila em relação às interfaces do NexusSDK, produzindo o módulo e um manifesto das capacidades que solicita.

  2. 02

    Validação

    Antes que um módulo possa ser executado, a rede o verifica: somente instruções determinísticas são aceitas, cada importação deve corresponder a uma capacidade declarada, e os limites de recursos são registrados em relação ao hash de código.

  3. 03

    Concessão

    Cada capacidade solicitada — manter um ativo, chamar um módulo de mercado, ler um feed de preços, invocar outro contrato — é vinculada ao endereço do contrato. Qualquer coisa não concedida simplesmente não existe para o contrato.

  4. 04

    Declaração

    Toda transação lista o estado que vai ler e escrever. O escalonador determinístico usa esses conjuntos para posicionar transações sem conflito em vias paralelas.

  5. 05

    Execução

    O módulo é executado em um sandbox com medição. A computação é cobrada conforme as instruções são executadas, e o armazenamento conforme o estado é escrito e retido; qualquer acesso fora dos conjuntos declarados interrompe a chamada e reverte seus efeitos.

  6. 06

    Finalização

    Os resultados são confirmados junto com as outras transições do bloco e se tornam finais quando um quórum do QSE os certifica.

Arquitetura

Componentes do ambiente de execução

O NexusWASM separa o que um contrato calcula do que ele tem permissão para alcançar.

  1. 01

    Motor determinístico

    Executa WebAssembly sob regras que garantem o mesmo resultado para cada validador. Qualquer coisa que possa diferir entre máquinas — relógios, aleatoriedade, comportamento numérico específico do host — é excluída ou fornecida pelo protocolo como uma entrada determinística.

  2. 02

    Host de capacidades

    A única ponte entre um contrato e o restante da rede. Funções do host para ativos, armazenamento, identidade e módulos de mercado são expostas por capacidade, e cada chamada é verificada em relação às concessões do contrato.

  3. 03

    Medidor de recursos

    Conta a computação conforme as instruções são executadas, e o armazenamento conforme o estado é escrito e retido, com um preço separado para cada um. Limites por chamada impedem que um único contrato monopolize uma via.

  4. 04

    Interface do escalonador

    Transforma as leituras e escritas declaradas de cada transação em um mapa de conflitos para o escalonador determinístico, de modo que contratos independentes sejam executados em vias separadas, enquanto os dependentes são ordenados.

  5. 05

    Vínculos de módulos de mercado

    Interfaces tipadas para o ApexMatch, o Aegis e o Prism. Um contrato pode enviar uma ordem, solicitar uma avaliação de risco ou ler um preço com pontuação de confiança na mesma transição que sua própria lógica.

  6. 06

    Controlador de atualização

    As mudanças de código são transições explícitas e versionadas, sob uma política fixada na implantação — imutável, com atraso programado ou sujeita à aprovação de várias partes, por exemplo. Cada versão mantém seu hash de código e seu manifesto de capacidades.

Segurança e controle de falhas

Como o ambiente de execução contém falhas

O NexusWASM mantém um defeito dentro do contrato que o contém, e aplica essa fronteira no ambiente de execução, e não por convenção.

  • Isolamento de sandboxCada contrato é executado em sua própria memória linear, sem acesso à memória do host, à memória de outros contratos ou ao ambiente do validador. Um acesso fora dos limites gera uma interrupção, e a chamada é revertida.
  • Autoridade mínimaAs capacidades são explícitas e restritas. Um contrato autorizado a ler um feed de preços não pode mover ativos, e um contrato autorizado a mover um ativo não pode mover outro.
  • Execução limitadaA medição limita cada chamada. Loops fora de controle, recursão profunda e escritas de tamanho excessivo terminam em um resultado determinístico de esgotamento de recursos, cobrado do chamador, com o estado revertido.
  • Aplicação do conjunto de acessoUma transação que toca em estado fora de seus conjuntos declarados é interrompida, de modo que o escalonamento paralelo nunca possa ocultar um conflito entre vias.
  • Limites de proteção de mercadoAs ordens enviadas por contratos passam pelas mesmas verificações de pré-risco e limites de política do Aegis que as ordens de qualquer outra origem. Um contrato ganha acesso ao mercado, nunca uma forma de contornar seus controles.

Nos três sistemas

Um único ambiente de execução no Prime, na L1 e no Realm

Orbitra Prime

Inteligência de negociação

Quando uma estratégia, um cofre ou um fluxo de trabalho estruturado precisa de lógica onchain, ele é executado como um contrato NexusWASM e negocia pelos mesmos caminhos do ApexMatch e do Aegis que uma ordem enviada no Orbitra Prime.

Orbitra L1

Liquidação e processamento

O NexusWASM é o ambiente de execução de contratos da camada de execução do Orbitra L1. Ele é executado no VectorLanes, grava em estado compartilhado e entrega os resultados ao QSE para finalidade. O EVM Capsule fica ao seu lado como um domínio de compatibilidade isolado, nunca em seu lugar.

Orbitra Realm

Aplicações e comércio

As aplicações do Orbitra Realm — pagamentos, tokenização, jogos, serviços de agentes — são executadas nativamente como contratos NexusWASM, compartilhando identidade, ativos e liquidez com o restante da rede por meio de primitivas do NexusSDK e permissões VaultID.

Valor

O que cada público ganha

Operadores e usuários
Aplicações que não podem alcançar além do que declaram. As capacidades e a política de atualização de um contrato são visíveis antes de você interagir com ele, para que você saiba o que ele pode fazer com seus ativos.
Instituições
Um modelo de execução revisável. Manifestos de capacidades, hashes de código e políticas de atualização dão às equipes de risco e conformidade artefatos concretos para avaliar, e a execução determinística significa que qualquer resultado pode ser reproduzido.
Desenvolvedores
Linguagens familiares, custos explícitos e acesso direto à infraestrutura de mercado. Construa em Rust ou C/C++, veja os custos de recursos antes da implantação e chame livros de ofertas, verificações de risco e feeds de preços como interfaces tipadas. Comece pelo ponto de entrada para desenvolvedores.

Especificações

Especificações

Ambiente de execução
WebAssembly com um perfil de instruções determinístico
Linguagens
Rust, C/C++ e outros toolchains modernos direcionados ao WebAssembly
Modelo de autoridade
Delimitado por capacidades; sem acesso ambiente a ativos, estado ou outros contratos
Precificação de recursos
Precificação explícita e separada para computação e para armazenamento escrito e retido
Acesso a estado
Conjuntos de leitura e escrita declarados por transação, aplicados durante a execução
Paralelismo
Escalonamento com percepção de conflitos entre as VectorLanes
Acesso a mercado
Chamadas nativas ao ApexMatch, ao Aegis e ao Prism por meio de interfaces do NexusSDK
Atualizações
Versionadas, vinculadas a política e registradas onchain para cada contrato
Compatibilidade
O bytecode Ethereum é executado separadamente no EVM Capsule, com um caminho de migração progressivo

Terminologia

Terminologia

Capacidade
Uma concessão explícita que permite que um contrato use um recurso — um ativo, um namespace de estado, um módulo de mercado ou outro contrato.
Conjunto de acesso declarado
O estado que uma transação declara que vai ler e escrever, usado para o escalonamento paralelo e aplicado durante sua execução.
Medição
Contagem determinística da computação e do armazenamento que uma chamada consome, usada tanto para precificação quanto para limites rígidos.
Função do host
Uma operação fornecida pelo ambiente de execução — ler estado, transferir um ativo, enviar uma ordem — disponível para um contrato somente por meio de uma capacidade concedida.
Política de atualização
A regra fixada na implantação que determina se, como e por quem o código de um contrato pode ser alterado.

UMA REDE. MERCADOS INFINITOS.

Solicitar acesso ao ORBITRA ONE™.