Skip to main contentA-REX Foundation

Um padrão para cada colheita

O A-REX Core transforma lotes agrícolas em tokens interoperáveis na EVM: identidade do lote, linhagem, execução e regras abertas sobre ERC-1155. O núcleo está dimensionado para qualquer cultivo, regra ou jurisdição. O texto normativo é solicitado pelo acesso antecipado.

Como um lote circula no A-REX

Três operações mudam um lote: emiti-lo, transferi-lo e transformá-lo. As três passam pelas mesmas verificações dentro do token, sempre na mesma ordem. Se uma falha, nada muda e o token informa o motivo.

A-REX Core

Em cada movimento, nesta ordem

  1. 1Token não pausado
  2. 2As duas contas habilitadas
  3. 3Lote ativo, saldo não congelado
  4. 4Regras (hooks), uma a uma

A primeira verificação que falha interrompe o movimento com um código. Se todas passam, saldos, linhagem e eventos ficam registrados.

Emissão

Emissorprodutor, cooperativa, armazém
Registra o loteproduto, unidade, datas, origem, documento
Emite as unidades
Primeiro titular

Transferência

Titular A
Pede a transferênciaMotivo se recusada
Entrega as unidadesevento registrado
Titular B

Transformação

Processadormoinho, embaladora, exportador
Lotes de entradaex.: trigo
Lotes novos, com os paisex.: farinha
Lote novo

Também atuam sobre um lote

  • CertificadoraRegistra uma atestação por lote e tema, como orgânico ou EUDR. As regras podem exigi-la.
  • Papel de execuçãoCongela quantidades ou força uma transferência por ordem judicial. A pausa não o impede e as regras continuam valendo.
  • Papel de statusEncerra um lote de vez. Um lote encerrado só pode ser queimado.

Anatomia do padrão

Quatro camadas pequenas sobre a Ethereum. Role para desmontar a pilha, uma camada de cada vez.

Role para desmontá-la

  1. EVM

    Ethereum

    Qualquer cadeia EVM. O padrão não acrescenta nenhuma primitiva nova: contratos e eventos comuns que carteiras, indexadores e exploradores já leem.

  2. Camada 0

    Token e execução forçada

    ERC-1155 · ERC-165 · IERC7943MultiToken

    Saldos e transferências em lote do ERC-1155, detecção de interfaces do ERC-165 e, do ERC-7943, congelamento, transferência forçada, elegibilidade e canTransfer.

  3. Camada 1

    Lote

    IARexBatch

    O registro do lote com códigos abertos, um status alterado apenas por papéis com um RETIRED terminal, e transform, que mantém na cadeia os progenitores de cada divisão, fusão ou processamento.

  4. Camada 2

    Hooks

    IARexHook · IARexHookManager

    Uma única interface de hook, avaliada em ordem. Um hook retorna um código bytes32 em vez de reverter por política, de modo que cada rejeição traz um motivo legível por máquina.

  5. Camada 3

    Atestações

    IARexAttest

    Atestações por lote e tema, de emissores confiáveis por tema: certificações, inspeções, recibos de armazém e declarações de due diligence.

O que o padrão torna possível

Lotes agrícolas são a maior classe de ativos físicos sem uma forma on-chain interoperável. O A-REX Core lhes dá uma, e nada além disso, para que toda plataforma possa falá-la.

Como os módulos se conectam

O token mantém um pipeline ordenado de hooks; ao lado, as extensões leem e escrevem atestações. Nenhum deles faz parte do padrão: qualquer token conforme pode usá-los e qualquer pessoa pode escrever os seus.

Escolha um módulo

Token

Hooks, em ordem

Registro

Extensões

TokenARexToken

O token de lotes de referência. Cada emissão, transferência e queima passa pelos seus hooks, em ordem.

Caminho até um ERC DraftUsado primeiro, submetido depois

As interfaces só são submetidas depois que uma implantação em produção tiver operado lotes reais por seis meses e implementadores independentes as tiverem confirmado.

Feito para ser adotado

5interfaces no núcleo. Os identificadores e o texto normativo são solicitados pelo acesso antecipado.Sobre o padrão
0listas fechadas no padrão. Commodities, unidades, status e tópicos são códigos abertos.Ver a fundamentação do projeto
24.1 KBtoken de referência, abaixo do limite do EIP-170, com 46 testes, incluindo invariantes com semente.Revisar o pacote de auditoria
16registros de decisão arquitetural, cada um com seu contexto, suas opções e suas implicações.Navegar pelas decisões

Trabalhar com o A-REX Core

Solicitar o padrãoOs repositórios são privados. Empresas que implementam o A-REX, emitem lotes ou o auditam podem solicitar acesso de leitura.Solicitar acesso antecipado
Escrever um hookAcrescentar uma regra sem tocar no token. Um hook retorna um código; nunca reverte por motivo de política e pode atender a muitos tokens.Guia de desenvolvimento de hooks
Auditar a referênciaEscopo, modelo de confiança, invariantes, cobertura e as questões em aberto, preparados para uma revisão de segurança independente.Prontidão para auditoria

Membros fundadores

Junte-se aos membros fundadores do padrão A-REX.

Produtores, cooperativas, exportadores, bancos, certificadoras e equipes de tecnologia que adotarem o A-REX primeiro aparecerão aqui quando o padrão e sua associação se tornarem públicos.

  • 01Vaga aberta
  • 02Vaga aberta
  • 03Vaga aberta
  • 04Vaga aberta
  • 05Vaga aberta
  • 06Vaga aberta
  • 07Vaga aberta
  • 08Vaga aberta
  • 09Vaga aberta
  • 10Vaga aberta
  • 11Vaga aberta
  • 12Vaga aberta
Seja membro fundador