diff options
Diffstat (limited to 'pt-br/news/phase4-wasm-browser-verification')
| -rw-r--r-- | pt-br/news/phase4-wasm-browser-verification/index.html | 199 | ||||
| -rw-r--r-- | pt-br/news/phase4-wasm-browser-verification/index.html.gz | bin | 5122 -> 0 bytes |
2 files changed, 0 insertions, 199 deletions
diff --git a/pt-br/news/phase4-wasm-browser-verification/index.html b/pt-br/news/phase4-wasm-browser-verification/index.html deleted file mode 100644 index da4605b..0000000 --- a/pt-br/news/phase4-wasm-browser-verification/index.html +++ /dev/null @@ -1,199 +0,0 @@ -<!DOCTYPE html> -<html lang="pt-br"> -<head> - <meta charset="utf-8"> - <meta name="viewport" content="width=device-width, initial-scale=1"> - <title>Fase 4: Verificar Sem Instalar Nada — Tesseras</title> - <meta name="description" content="Tesseras agora compila para WebAssembly — qualquer pessoa pode verificar integridade e autenticidade de uma tessera diretamente no navegador, sem instalar nenhum software."> - <!-- Open Graph --> - <meta property="og:type" content="article"> - <meta property="og:title" content="Fase 4: Verificar Sem Instalar Nada"> - <meta property="og:description" content="Tesseras agora compila para WebAssembly — qualquer pessoa pode verificar integridade e autenticidade de uma tessera diretamente no navegador, sem instalar nenhum software."> - <meta property="og:image" content="https://tesseras.net/images/social.jpg"> - <meta property="og:image:width" content="1200"> - <meta property="og:image:height" content="630"> - <meta property="og:site_name" content="Tesseras"> - <!-- Twitter Card --> - <meta name="twitter:card" content="summary_large_image"> - <meta name="twitter:title" content="Fase 4: Verificar Sem Instalar Nada"> - <meta name="twitter:description" content="Tesseras agora compila para WebAssembly — qualquer pessoa pode verificar integridade e autenticidade de uma tessera diretamente no navegador, sem instalar nenhum software."> - <meta name="twitter:image" content="https://tesseras.net/images/social.jpg"> - <link rel="stylesheet" href="https://tesseras.net/style.css?h=21f0f32121928ee5c690"> - - - <link rel="alternate" type="application/atom+xml" title="Tesseras" href="https://tesseras.net/atom.xml"> - - - <link rel="icon" type="image/png" sizes="32x32" href="https://tesseras.net/images/favicon.png?h=be4e123a23393b1a027d"> - -</head> -<body> - <header> - <h1> - <a href="https://tesseras.net/pt-br/"> - <img src="https://tesseras.net/images/logo-64.png?h=c1b8d0c4c5f93b49d40b" alt="Tesseras" width="40" height="40" class="logo"> - Tesseras - </a> - </h1> - <nav> - - <a href="https://tesseras.net/pt-br/about/">Sobre</a> - <a href="https://tesseras.net/pt-br/news/">Notícias</a> - <a href="https://tesseras.net/pt-br/releases/">Lançamentos</a> - <a href="https://tesseras.net/pt-br/faq/">FAQ</a> - <a href="https://tesseras.net/pt-br/subscriptions/">Inscrições</a> - <a href="https://tesseras.net/pt-br/contact/">Contato</a> - - </nav> - <nav class="lang-switch"> - - <a href="https://tesseras.net/news/phase4-wasm-browser-verification/">English</a> | <strong>Português</strong> - - </nav> - </header> - - <main> - -<article> - <h2>Fase 4: Verificar Sem Instalar Nada</h2> - <p class="news-date">2026-02-15</p> - <p>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 <code>tesseras-wasm</code> entrega: arraste um arquivo tessera -para uma página web, e a verificação criptográfica acontece inteiramente no seu -navegador.</p> -<h2 id="o-que-foi-construido">O que foi construído</h2> -<p><strong>tesseras-wasm</strong> — Um crate Rust que compila para WebAssembly via wasm-pack, -expondo quatro funções stateless para JavaScript. O crate depende do -<code>tesseras-core</code> para parsing do manifesto e chama primitivas criptográficas -diretamente (blake3, ed25519-dalek) ao invés de depender do <code>tesseras-crypto</code>, -que puxa bibliotecas pós-quânticas baseadas em C que não compilam para -<code>wasm32-unknown-unknown</code>.</p> -<p><code>parse_manifest</code> recebe os bytes brutos do MANIFEST (texto UTF-8 plano, não -MessagePack), delega para <code>tesseras_core::manifest::Manifest::parse()</code>, 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 (<code>ManifestJson</code>, -<code>CreatorPubkey</code>, <code>SignatureFiles</code>, <code>FileEntry</code>) 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 <code>null</code> — prontos para quando a assinatura -pós-quântica for implementada no lado nativo.</p> -<p><code>hash_blake3</code> 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.</p> -<p><code>verify_ed25519</code> recebe uma mensagem, uma assinatura de 64 bytes e uma chave -pública de 32 bytes, constrói uma <code>ed25519_dalek::VerifyingKey</code>, 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.</p> -<p><code>verify_ml_dsa</code> é um stub que retorna um erro explicando que verificação ML-DSA -ainda não está disponível. Isso é deliberado: o crate <code>ml-dsa</code> no crates.io está -na v0.1.0-rc.7 (pré-release), e o <code>tesseras-crypto</code> usa <code>pqcrypto-dilithium</code> -(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.</p> -<p>Todas as quatro funções usam um padrão de duas camadas para testabilidade: -funções internas retornam <code>Result<T, String></code> e são testadas nativamente, -enquanto wrappers finos <code>#[wasm_bindgen]</code> convertem erros para <code>JsError</code>. Isso -evita que <code>JsError::new()</code> cause panic em targets não-WASM durante os testes.</p> -<p>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 <code>-Oz</code> após o wasm-pack -compilar com <code>opt-level = "z"</code>, LTO e uma única unidade de codegen.</p> -<p><strong>@tesseras/verify</strong> — Um pacote npm TypeScript (<code>crates/tesseras-wasm/js/</code>) que -orquestra a verificação no lado do navegador. A API pública é uma única função:</p> -<pre><code data-lang="typescript">async function verifyTessera( - archive: Uint8Array, - onProgress?: (current: number, total: number, file: string) => void -): Promise<VerificationResult> -</code></pre> -<p>O tipo <code>VerificationResult</code> 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.</p> -<p>A descompactação de arquivos (<code>unpack.ts</code>) lida com três formatos: tar -comprimido com gzip (detectado pelos magic bytes <code>\x1f\x8b</code>, descomprimido com -fflate e depois parseado como tar), ZIP (magic <code>PK\x03\x04</code>, descompactado com -<code>unzipSync</code> do fflate), e tar bruto (<code>ustar</code> no offset 257). Uma função -<code>normalizePath</code> remove o prefixo <code>tessera-<hash>/</code> para que os caminhos internos -correspondam às entradas do MANIFEST.</p> -<p>A verificação roda em um Web Worker (<code>worker.ts</code>) 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.</p> -<p>O arquivo é transferido para o worker com zero-copy -(<code>worker.postMessage({ type: "verify", archive }, [archive.buffer])</code>) para -evitar duplicar arquivos de tessera potencialmente grandes na memória.</p> -<p><strong>Pipeline de build</strong> — Três novos targets no justfile: <code>wasm-build</code> executa -wasm-pack com <code>--target web --release</code> e otimiza com wasm-opt; <code>wasm-size</code> -reporta o tamanho do binário bruto e com gzip; <code>test-wasm</code> executa a suíte de -testes nativos.</p> -<p><strong>Testes</strong> — 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 <code>wasm-pack test --headless --chrome</code>, verificando que -<code>hash_blake3</code>, <code>verify_ed25519</code> e <code>parse_manifest</code> funcionam corretamente quando -compilados para <code>wasm32-unknown-unknown</code>.</p> -<h2 id="decisoes-de-arquitetura">Decisões de arquitetura</h2> -<ul> -<li><strong>Sem dependência do tesseras-crypto</strong>: o crate WASM chama blake3 e -ed25519-dalek diretamente. O <code>tesseras-crypto</code> depende do <code>pqcrypto-kyber</code> -(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.</li> -<li><strong>ML-DSA adiado, não fingido</strong>: 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á <code>ml_dsa: "missing"</code> 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).</li> -<li><strong>Padrão de função interna</strong>: <code>JsError</code> não pode ser construído em targets -não-WASM (causa panic). Dividir cada função em -<code>foo_inner() -> Result<T, String></code> e <code>foo() -> Result<T, JsError></code> 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 <code>#[wasm_bindgen]</code>.</li> -<li><strong>Isolamento em Web Worker</strong>: 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 -(<code>{ type: "progress", current, total, file }</code>) permite que a UI mostre uma -barra de progresso durante a verificação de tesseras com muitos arquivos.</li> -<li><strong>Transferência zero-copy</strong>: <code>archive.buffer</code> é 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.</li> -<li><strong>MANIFEST em texto plano, não MessagePack</strong>: 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 <code>rmp-serde</code> no Cargo.toml não é usada e será removida.</li> -</ul> -<h2 id="o-que-vem-a-seguir">O que vem a seguir</h2> -<ul> -<li><strong>Fase 4: Resiliência e Escala</strong> — 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</li> -<li><strong>Fase 5: Exploração e Cultura</strong> — 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)</li> -</ul> -<p>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.</p> - -</article> - - </main> - - <footer> - <p>© 2026 Tesseras Project. <a href="/atom.xml">News Feed</a> · <a href="https://git.sr.ht/~ijanc/tesseras">Source</a></p> - </footer> -</body> -</html> diff --git a/pt-br/news/phase4-wasm-browser-verification/index.html.gz b/pt-br/news/phase4-wasm-browser-verification/index.html.gz Binary files differdeleted file mode 100644 index 9b90534..0000000 --- a/pt-br/news/phase4-wasm-browser-verification/index.html.gz +++ /dev/null |