Fase 4: Verificar Sem Instalar Nada

2026-02-15

Confiança não deveria exigir instalação de software. Se alguém te envia uma -tessera — um pacote de memórias preservadas — você deveria poder verificar que é -genuína e não foi modificada sem baixar um app, criar uma conta, ou confiar em -um servidor. É isso que o tesseras-wasm entrega: arraste um arquivo tessera -para uma página web, e a verificação criptográfica acontece inteiramente no seu -navegador.

O que foi construído

tesseras-wasm — Um crate Rust que compila para WebAssembly via wasm-pack, -expondo quatro funções stateless para JavaScript. O crate depende do -tesseras-core para parsing do manifesto e chama primitivas criptográficas -diretamente (blake3, ed25519-dalek) ao invés de depender do tesseras-crypto, -que puxa bibliotecas pós-quânticas baseadas em C que não compilam para -wasm32-unknown-unknown.

parse_manifest recebe os bytes brutos do MANIFEST (texto UTF-8 plano, não -MessagePack), delega para tesseras_core::manifest::Manifest::parse(), e -retorna uma string JSON com a chave pública Ed25519 do criador, caminhos dos -arquivos de assinatura, e uma lista de arquivos com seus hashes BLAKE3 -esperados, tamanhos e tipos MIME. Structs internas (ManifestJson, -CreatorPubkey, SignatureFiles, FileEntry) são serializadas com serde_json. -Os campos de chave pública ML-DSA e arquivo de assinatura estão presentes no -contrato JSON mas definidos como null — prontos para quando a assinatura -pós-quântica for implementada no lado nativo.

hash_blake3 computa um hash BLAKE3 de bytes arbitrários e retorna uma string -hexadecimal de 64 caracteres. É chamada uma vez por arquivo na tessera para -verificar integridade contra o MANIFEST.

verify_ed25519 recebe uma mensagem, uma assinatura de 64 bytes e uma chave -pública de 32 bytes, constrói uma ed25519_dalek::VerifyingKey, e retorna se a -assinatura é válida. A validação de comprimento retorna erros descritivos -("Ed25519 public key must be 32 bytes") ao invés de causar panic.

verify_ml_dsa é um stub que retorna um erro explicando que verificação ML-DSA -ainda não está disponível. Isso é deliberado: o crate ml-dsa no crates.io está -na v0.1.0-rc.7 (pré-release), e o tesseras-crypto usa pqcrypto-dilithium -(CRYSTALS-Dilithium baseado em C) que é incompatível em nível de bytes com FIPS -204 ML-DSA. Ambos os lados precisam usar a mesma implementação em Rust puro -antes que a verificação cruzada funcione. Verificação Ed25519 é suficiente — -toda tessera é assinada com Ed25519.

Todas as quatro funções usam um padrão de duas camadas para testabilidade: -funções internas retornam Result<T, String> e são testadas nativamente, -enquanto wrappers finos #[wasm_bindgen] convertem erros para JsError. Isso -evita que JsError::new() cause panic em targets não-WASM durante os testes.

O binário WASM compilado tem 109 KB bruto e 44 KB com gzip — bem abaixo do -orçamento de 200 KB. O wasm-opt aplica otimização -Oz após o wasm-pack -compilar com opt-level = "z", LTO e uma única unidade de codegen.

@tesseras/verify — Um pacote npm TypeScript (crates/tesseras-wasm/js/) que -orquestra a verificação no lado do navegador. A API pública é uma única função:

async function verifyTessera(
-  archive: Uint8Array,
-  onProgress?: (current: number, total: number, file: string) => void
-): Promise<VerificationResult>
-

O tipo VerificationResult fornece tudo que uma UI precisa: validade geral, -hash da tessera, chaves públicas do criador, status das assinaturas -(valid/invalid/missing para Ed25519 e ML-DSA), resultados de integridade por -arquivo com hashes esperados e reais, uma lista de arquivos inesperados não -presentes no MANIFEST, e um array de erros.

A descompactação de arquivos (unpack.ts) lida com três formatos: tar -comprimido com gzip (detectado pelos magic bytes \x1f\x8b, descomprimido com -fflate e depois parseado como tar), ZIP (magic PK\x03\x04, descompactado com -unzipSync do fflate), e tar bruto (ustar no offset 257). Uma função -normalizePath remove o prefixo tessera-<hash>/ para que os caminhos internos -correspondam às entradas do MANIFEST.

A verificação roda em um Web Worker (worker.ts) para manter a thread da UI -responsiva. O worker inicializa o módulo WASM, descompacta o arquivo, parseia o -MANIFEST, verifica a assinatura Ed25519 contra a chave pública do criador, -depois faz hash de cada arquivo com BLAKE3 e compara com os valores esperados. -Mensagens de progresso são transmitidas de volta para a thread principal após -cada arquivo. Se qualquer assinatura é inválida, a verificação para -imediatamente sem fazer hash dos arquivos — falhando rápido na verificação mais -crítica.

O arquivo é transferido para o worker com zero-copy -(worker.postMessage({ type: "verify", archive }, [archive.buffer])) para -evitar duplicar arquivos de tessera potencialmente grandes na memória.

Pipeline de build — Três novos targets no justfile: wasm-build executa -wasm-pack com --target web --release e otimiza com wasm-opt; wasm-size -reporta o tamanho do binário bruto e com gzip; test-wasm executa a suíte de -testes nativos.

Testes — 9 testes unitários nativos cobrem hashing BLAKE3 (entrada vazia, -valor conhecido), verificação Ed25519 (assinatura válida, assinatura inválida, -chave errada, comprimento de chave inválido), e parsing do MANIFEST (manifesto -válido, UTF-8 inválido, lixo). 3 testes de integração WASM rodam em Chrome -headless via wasm-pack test --headless --chrome, verificando que -hash_blake3, verify_ed25519 e parse_manifest funcionam corretamente quando -compilados para wasm32-unknown-unknown.

Decisões de arquitetura

Sem dependência do tesseras-crypto: o crate WASM chama blake3 e -ed25519-dalek diretamente. O tesseras-crypto depende do pqcrypto-kyber -(ML-KEM baseado em C via pqcrypto-traits) que requer um toolchain de -compilador C e não tem target wasm32. Dependendo apenas de crates Rust puros, -o build WASM tem zero dependências C e compila sem problemas para WebAssembly.
ML-DSA adiado, não fingido: ao invés de silenciosamente pular a -verificação pós-quântica, o stub retorna um erro explícito. Isso garante que -se uma tessera contiver uma assinatura ML-DSA, o resultado da verificação -reportará ml_dsa: "missing" ao invés de fingir que foi verificada. O -orquestrador JS lida com isso graciosamente — uma tessera é válida se Ed25519 -passar e ML-DSA estiver ausente (ainda não implementado em nenhum dos lados).
Padrão de função interna: JsError não pode ser construído em targets -não-WASM (causa panic). Dividir cada função em -foo_inner() -> Result<T, String> e foo() -> Result<T, JsError> permite que -a suíte de testes nativa exercite toda a lógica sem tocar em tipos JavaScript. -Os testes de integração WASM em Chrome headless testam a superfície completa -do #[wasm_bindgen].
Isolamento em Web Worker: operações criptográficas (especialmente BLAKE3 -sobre arquivos de mídia grandes) podem levar centenas de milissegundos. Rodar -em um Worker previne travamentos na UI. O protocolo de progresso com streaming -({ type: "progress", current, total, file }) permite que a UI mostre uma -barra de progresso durante a verificação de tesseras com muitos arquivos.
Transferência zero-copy: archive.buffer é transferido para o Worker, não -copiado. Para um arquivo tessera de 50 MB, isso evita dobrar o uso de memória -durante a verificação.
MANIFEST em texto plano, não MessagePack: o crate WASM parseia o mesmo -formato de MANIFEST em texto plano que o CLI. Isso é por design — o MANIFEST é -a Pedra de Rosetta da tessera, legível por qualquer pessoa com um editor de -texto. A dependência rmp-serde no Cargo.toml não é usada e será removida.

O que vem a seguir

Fase 4: Resiliência e Escala — Empacotamento para sistemas operacionais -(Alpine, Arch, Debian, FreeBSD, OpenBSD), CI no SourceHut e GitHub Actions, -auditorias de segurança, explorador de tesseras no navegador em tesseras.net -usando @tesseras/verify
Fase 5: Exploração e Cultura — Navegador público de tesseras por -era/localização/tema/idioma, curadoria institucional, integração com -genealogia, exportação para mídia física (M-DISC, microfilme, papel livre de -ácido com QR)

A verificação não exige mais confiança em software. Um arquivo tessera arrastado -para um navegador é verificado com o mesmo rigor criptográfico do CLI — mesmos -hashes BLAKE3, mesmas assinaturas Ed25519, mesmo parser de MANIFEST. A diferença -é que agora qualquer pessoa pode fazer isso.

- -