Whitepaper · 03
Definição do Problema
As lacunas específicas que o A-REX Core aborda, formuladas como problemas de engenharia e jurídicos, e não como tamanhos de mercado. Quando uma versão anterior deste documento citava números sem uma fonte verificável, esses números foram removidos.
1. Um lote não tem identidade on-chain
Um identificador ERC-1155 é um número com saldos. Nada no padrão base diz de que commodity se trata, em que unidade, quando foi produzida, quando expira ou onde estão as evidências de sua origem. Todo projeto que tokeniza bens agrícolas inventa sua própria struct, suas próprias enumerações e seu próprio layout de metadados. Dois desses tokens não podem ser lidos pelo mesmo indexador, controlados pelo mesmo mecanismo de conformidade nem exportados para o mesmo documento EPCIS.
Requisito: um registro de lote mínimo e aberto, que qualquer implementador possa adotar sem aceitar a lista de culturas, classificações ou ciclos de vida de terceiros.
2. Lotes se transformam em outros lotes; tokens, não
O trigo vira farinha; um silo de 250 toneladas se divide em duas remessas; quarenta entregas se tornam um único pool. A regulamentação de rastreabilidade e o GS1 EPCIS são explícitos ao tratar essas situações como eventos de transformação que ligam entradas a saídas com quantidades. Um token que só pode ser cunhado, transferido e queimado não consegue expressá-las, de modo que a cadeia de procedência se rompe na primeira etapa de processamento — exatamente onde recolhimentos e auditorias de balanço de massa mais precisam dela.
Requisito: uma operação que queime as entradas, cunhe as saídas, registre os lotes-pai e emita as quantidades de forma atômica.
3. Direitos do mundo real exigem enforcement
O grão armazenado é empenhado, embargado, apreendido, segurado e recolhido. Um token que não pode ser congelado nem movimentado por uma parte autorizada contra a vontade do titular não consegue representar um lote desse tipo perante um financiador, um tribunal ou um regulador. A expectativa do mercado, após o GENIUS Act e o ERC-7943, é que qualquer token lastreado por um direito do mundo real possa cumprir uma ordem legal e que toda ação desse tipo seja auditável.
Requisito: congelamento, transferência forçada, elegibilidade e pausa, em um formato padrão e com eventos padrão.
4. As regras variam conforme a commodity, a jurisdição e a contraparte
Regras de perecibilidade para morangos, janelas sazonais para a negociação de grãos, triagem de sanções, cotas por comprador, custódia durante o transporte, documentos exigidos antes da exportação: todo emissor precisa de algumas dessas regras e nenhum precisa de todas. Estruturas de conformidade monolíticas falham nesse ponto, assim como sistemas de módulos ad hoc cujas interfaces não são compartilhadas — uma regra escrita para um token não funciona em outro.
Requisito: uma interface de extensão pequena e padronizada, com avaliação ordenada e motivos de rejeição legíveis por máquina, de modo que as regras sejam portáveis entre tokens.
5. A certificação diz respeito ao lote, e não apenas ao produtor
Credenciais de identidade e de produtor têm soluções maduras (ONCHAINID, serviços de atestação, credenciais verificáveis, e-ID nacional). O que compradores, autoridades aduaneiras e reguladores verificam é se este lote tem um certificado orgânico, um certificado fitossanitário, um resultado de laboratório, uma declaração do EUDR. Não existe uma forma padrão para isso on-chain, e as enumerações fechadas de tipos de certificação ficam obsoletas no dia em que surge um novo esquema.
Requisito: atestações indexadas por lote e por tópico aberto, emitidas apenas por partes confiáveis para esse tópico, com revogação e validade.
6. Dados pessoais e livros-razão públicos entram em conflito
A geolocalização de parcelas identifica um produtor. As diretrizes de 2026 do Comitê Europeu para a Proteção de Dados afirmam que o conteúdo e os metadados on-chain são, em princípio, dados pessoais, que o hash não garante a anonimização e que os controladores deveriam evitar armazenar dados pessoais on-chain. Os primeiros projetos de tokens agrícolas — inclusive a primeira geração do próprio A-REX — armazenavam coordenadas de forma imutável.
Requisito: o padrão deve tornar impossível, por projeto, o armazenamento de dados pessoais on-chain: referências e hashes on-chain, evidências off-chain com controle de acesso.
7. Os instrumentos jurídicos já existem
Recibos de armazém, warrants, recebíveis de safra (CPR), conhecimentos de embarque e declarações de devida diligência são regidos por lei e registrados em entidades autorizadas. Um token que alega ser um desses instrumentos fora de uma jurisdição que o reconheça (adotantes da MLETR, estados que adotaram o UCC Article 12) cria risco jurídico; um token que o referencia cria valor.
Requisito: referências de primeira classe a instrumentos externos no registro do lote e nos metadados; enforcement compatível com o "controle" do UCC Article 12 e com o "controle exclusivo" da MLETR.
8. Padrões que são produtos não são adotados
A primeira geração do A-REX exigia um registro de propriedades rurais e um contrato de identidade, fixava nove estados de ciclo de vida, onze commodities e nomes de classes de qualidade dos EUA, e implementava uma fórmula de valoração no núcleo. Nenhuma equipe independente aceitaria essas restrições em troca de interoperabilidade. Os padrões que foram adotados nesse campo (ERC-3643, ERC-7943) padronizam poucas interfaces e deixam o produto de fora.
Requisito: somente interfaces; implementação de referência separada; módulos como demonstrações.
Resumo dos requisitos
| # | Requisito | Onde o A-REX Core o atende |
|---|---|---|
| 1 | identidade de lote aberta | IARexBatch.Batch, BatchInit |
| 2 | linhagem atômica | transform, parentsOf, BatchTransformed |
| 3 | enforcement | IERC7943MultiToken, pausa |
| 4 | regras portáveis | IARexHook, IARexHookManager, códigos bytes32 |
| 5 | atestações de lote | IARexAttest |
| 6 | nenhum dado pessoal on-chain | regra de originRef, ponteiro restricted do esquema de metadados |
| 7 | instrumentos jurídicos referenciados | originRef, documents[] nos metadados |
| 8 | somente interfaces | standard/, contracts/standard/ versus contracts/reference/ |