SuperSeed Ledger · SS-SPEC-1

Verificacao independente de recibo de inferencia

Esta pagina executa a sequencia normativa da secao 6.7 do SPEC dentro do seu navegador. A raiz de Merkle da epoca e lida direto do contrato na Arbitrum por RPC publico, nunca por uma API da SuperSeed. O laudo abaixo diz o que foi conferido, o que falhou e o que nao pode ser conferido.

Leia isto antes: esta pagina confia no site que a serviu

Tres coisas decidem o que este laudo pode afirmar: o endereco do contrato, a lista de servidores da rede e a lista de assinaturas reconhecidas. Nesta pagina as tres vem de um arquivo chamado config.js, entregue junto com ela. Quem publicou estes arquivos escolheu essas tres coisas, e a pagina nao tem como perceber se foram trocadas: trocado o endereco, ela confere o recibo contra outro registro; trocado o servidor, ela confere contra outra rede.

O programa de linha de comando superseed-verify recebe os mesmos tres valores dentro do proprio arquivo executavel, no momento em que ele e compilado, e nenhum arquivo pode troca-los depois. Por isso ele garante mais que esta pagina. Aqui a unica pergunta que resta ao leitor e de quem e o dominio na barra de enderecos, e os valores em uso estao impressos no rodape. Se este laudo for decidir dinheiro ou disputa, rode a versao de linha de comando.

O prompt em claro nao sai deste navegador

O campo de prompt existe para recomputar keccak256(prompt || salt) localmente. O texto que voce colar ali nao e enviado a nenhum servidor, nao e gravado em localStorage, nao alimenta analytics e nao aparece em nenhuma URL. As unicas duas chamadas de rede que esta pagina faz sao: baixar o arquivo JSONL da epoca pela epoch_url do recibo, e falar JSON-RPC com o RPC publico da Arbitrum. Nenhuma das duas carrega o prompt. O codigo desta pagina e estatico e auditavel: leia app.js e spec.js antes de colar qualquer coisa.

1. O recibo

O JSON devolvido por GET /receipts/{request_id} (com salt e epoch_url), ou uma linha crua do JSONL publicado.

Arraste o arquivo aqui

ou , ou cole abaixo

2. Prompt em claro opcional

Passo 9 da s6.7. P sao os octetos exatos do corpo da requisicao HTTP que voce enviou. Se voce guardou esses bytes num arquivo, use o seletor de arquivo: colar texto pode diferir por um byte de espaco ou de quebra de linha.

Laudo

AGUARDANDO