# Explicador BFV, CKKS, LWE de orçamento de ruído, relinearização e bootstrapping FHE Executa um mini-pipeline BFV/CKKS real sobre Z_q[x]/(xⁿ+1): orçamentos de ruído invariante exatos em bits, multiplicação com relinearização, troca de módulo, empacotamento SIMD e renovação por bootstrapping. > Página canônica: https://elysiatools.com/pt/tools/bfv-ckks-lwe-fhe-ciphertext-noise-budget-relin-and-bootstrapping-explainer - **Categoria:** Security - **Palavras-chave:** bits de orçamento de ruído fhe, demo relinearização bfv, cadeia de reescalonamento ckks, empacotamento simd fhe, pipeline de bootstrapping, implementação rlwe de brinquedo ## Visão geral Implementação BigInt real de BFV/CKKS com orçamentos exatos segundo o manual do SEAL, chaves de relinearização por decomposição em dígitos, empacotamento SIMD real sobre GF(t) e uma simulação claramente rotulada do bootstrapping. Parâmetros de brinquedo para ensino. ## Entradas - **Cenário** (select) - **Grau do anel n** (select) - **Níveis da cadeia de módulos** (number): 2 - **Valores de slot (separados por vírgula)** (text): 12, 34, 56, 78 - **Profundidade de multiplicação (quadrados)** (number): 4 - **Simular bootstrapping após esgotamento** (checkbox) ## Quando usar - Ao estudar criptografia homomórfica e precisar visualizar o consumo do orçamento de ruído passo a passo após multiplicações. - Para comparar a diferença estrutural entre ciphertexts em formato de produto tensorial e ciphertexts relinearizados. - Ao aprender como funciona o empacotamento em lote SIMD sobre GF(t) para processamento vetorial paralelo em um único ciphertext. ## Como funciona - Insira os valores numéricos dos slots e configure os parâmetros do anel (grau n = 32 ou 64, níveis e profundidade de multiplicação). - O motor realiza a codificação polinomial (via interpolação SIMD) e cifra os dados no esquema selecionado (BFV ou CKKS). - O pipeline executa as multiplicações homomórficas com relinearização, calculando o ruído invariante exato em bits e simulando o bootstrapping quando o orçamento se esgota. - Um relatório visual em HTML é gerado com gráficos de barras do orçamento de ruído, tabelas de slots e diagramas de estado dos polinômios. ## Casos de uso - Demonstrações didáticas em aulas de criptografia pós-quântica e privacidade computacional. - Análise do comportamento de cadeias de reescalonamento e perda de precisão em circuitos aritméticos homomórficos. - Estudo prático das condições de batching polinomial quando t ≡ 1 (mod 2n). ## Perguntas frequentes ### O que representa o orçamento de ruído (noise budget) no esquema BFV? É a quantidade de ruído restante em bits antes que os erros corrompam a mensagem original na descriptografia. ### Para que serve a relinearização após uma multiplicação homomórfica? Ela reduz o tamanho do ciphertext de volta para 2 polinômios (c₀, c₁), evitando o crescimento exponencial do estado. ### Esses parâmetros de anel (n=32 ou n=64) são seguros para produção? Não. São parâmetros didáticos de brinquedo (toy parameters) projetados exclusivamente para aprendizado e simulações rápidas. ### Como funciona o empacotamento SIMD neste explicador? Ele utiliza interpolação de Lagrange sobre GF(t) para codificar múltiplos inteiros em slots de um único polinômio. ### O bootstrapping exibido na ferramenta é uma execução FHE real? Trata-se de uma simulação didática rotulada que reinicia o ruído do ciphertext mantendo o valor descriptografado correto. ## Ferramentas relacionadas - [Auditor de consistência de estilo de manuscrito](https://elysiatools.com/pt/tools/manuscript-style-consistency-auditor): Verifica números, datas, unidades, aspas, travessões, níveis de título e nomes próprios; gera uma folha de estilo - [Texto Riscado](https://elysiatools.com/pt/tools/strikethrough-text): Adiciona uma linha de riso sobre cada caractere via a marca combinante Unicode U+0336. Texto simples — sem Markdown. - [Tradutor IA de artigos Markdown](https://elysiatools.com/pt/tools/ai-markdown-article-translator): Traduz artigos Markdown completos com IA preservando titulos, tabelas, links, imagens e blocos de codigo - [Calculadora de Anion Gap Sérico (AG)](https://elysiatools.com/pt/tools/anion-gap-calculator): Calcula o anion gap sérico AG = Na⁺ − Cl⁻ − HCO₃⁻ (mmol/L), com opção da fórmula com K⁺ e correção por albumina. AG elevado (≈ >12) sugere acúmulo de ânions não medidos (lactato, corpos cetônicos, metanol/etilenoglicol, salicilatos, insuficiência renal; mnemônico GOLD-MARK). Acidose metabólica com AG normal (8–12) é hiperclorêmica: diarreia, acidose tubular renal, infusão de salino. AG baixo (<3–6) geralmente por hipoalbuminemia; também hipercalcemia/hipermagnesemia, lítio, mieloma IgG (paraproteínas catiônicas), brometo/pseudo-hiperloremia. Em hipoalbuminemia use a correção AG_corr = AG + 2.5×(4.0 − albumina). Fontes: Kraut CJASN 2007, Figge 1998, MDCalc. Interpretar com gases e clínica. Não é conselho médico. - [Fusionador de Markdown](https://elysiatools.com/pt/tools/markdown-merger): Combina múltiplos arquivos markdown com ajuste inteligente de níveis de cabeçalho e geração de sumário - [Cartão de especificação responsiva Figma iOS Android pt dp sp](https://elysiatools.com/pt/tools/figma-ios-android-pt-dp-sp-responsive-design-spec-card): Converte valores px do Figma para as unidades corretas de cada plataforma e gera um spec card para devs: pt do iOS (@1x/@2x/@3x com px renderizados por escala), dp/sp do Android (tabela de renderização mdpi…xxxhdpi e escala de fonte), rem/vw web com snippet clamp(); auditoria de alvos de toque mínimos (44pt iOS / 48dp Android / 44px e 24px WCAG) com classes de janela do Material e breakpoints do Tailwind. - [Comparador de algoritmos de hash](https://elysiatools.com/pt/tools/hash-algorithm-comparator): Aplica MD5, SHA-1, SHA-256, SHA-512, BLAKE2b e BLAKE3 à mesma entrada e compara: tamanho, digest hex/Base64, status de segurança (quebrado/moderno) e benchmark de velocidade relativa. Útil para ensino, escolha de algoritmo ou checagem de checksums. - [Conversor Markdown ⇄ AsciiDoc](https://elysiatools.com/pt/tools/markdown-asciidoc-converter): Converta nos dois sentidos entre Markdown (sabor GitHub) e AsciiDoc (o formato padrão do Antora, Red Hat e Asciidoctor): deslocamento automático dos níveis de títulos (= é o título do documento em AD), inversão da ordem dos colchetes nos links, blocos de código ⇄ \[source\], tabelas GFM ⇄ |===, admoestações NOTE/TIP/WARNING, listas de tarefas, notas de rodapé, âncoras e referências cruzadas, quebras de linha duras; construções sem equivalente perfeito são listadas como avisos. ## Exemplos - [Amostras de Áudio MP3 Livres de Direitos Autorais](https://elysiatools.com/pt/samples/mp3-samples): Coleção de amostras de áudio livres de direitos autorais para testes e desenvolvimento, incluindo sons da natureza, música de meditação e áudio ambiente - [Exemplos de Substituição de Regex](https://elysiatools.com/pt/samples/regex-replace): Coleção de padrões de substituição de regex comuns e úteis para transformação de texto e limpeza de dados - [Test Pyramid Examples - Guia de Estratégia de Testes](https://elysiatools.com/pt/samples/test-pyramid-examples): Exemplos abrangentes de implementação de pirâmide de testes incluindo testes unitários, testes de integração, testes E2E, organização de testes e padrões de teste estratégicos para garantia de qualidade de software balanceada - [Exemplos de Processamento de Imagem Android Java](https://elysiatools.com/pt/samples/android-image-processing-java): Exemplos de processamento de imagem Android Java incluindo leitura/escrita, dimensionamento e conversão de formato