# Explicador BFV, CKKS, LWE de presupuesto de ruido, relinealización y bootstrapping FHE Ejecuta una mini-pipeline BFV/CKKS real sobre Z_q[x]/(xⁿ+1): presupuestos de ruido invariante exactos en bits, multiplicación con relinealización, cambio de módulo, empaquetado SIMD y un refresco de bootstrapping. > Página canónica: https://elysiatools.com/es/tools/bfv-ckks-lwe-fhe-ciphertext-noise-budget-relin-and-bootstrapping-explainer - **Categoría:** Security - **Palabras clave:** bits de presupuesto de ruido fhe, demo relinealización bfv, cadena de reescalado ckks, empaquetado simd fhe, pipeline de bootstrapping, implementación rlwe de juguete ## Descripción general Implementación BigInt real de BFV/CKKS con presupuestos exactos según el manual de SEAL, claves de relinealización por descomposición de dígitos, empaquetado SIMD real sobre GF(t) y una simulación claramente etiquetada del bootstrapping. Parámetros de juguete para enseñanza. ## Entradas - **Escenario** (select) - **Grado del anillo n** (select) - **Niveles de la cadena de módulos** (number): 2 - **Valores de slot (separados por comas)** (text): 12, 34, 56, 78 - **Profundidad de multiplicación (cuadrados)** (number): 4 - **Simular bootstrapping tras el agotamiento** (checkbox) ## Cuándo usarlo - Al estudiar cómo disminuye el presupuesto de ruido tras operaciones sucesivas de multiplicación homomórfica. - Al analizar el paso de un producto tensorial de 3 elementos a un texto cifrado estándar de 2 elementos mediante relinealización. - Al comprobar el funcionamiento del empaquetado SIMD mediante evaluación polinómica en múltiples ranuras en una sola operación. ## Cómo funciona - Configura el escenario criptográfico (BFV, CKKS o SIMD), el grado del anillo n y los valores de las ranuras numéricas. - El motor genera las claves públicas, secretas y de relinealización sobre el anillo Z_q\[x\]/(xⁿ+1) usando aritmética BigInt exacta. - Se ejecutan las operaciones homomórficas solicitadas, calculando tras cada paso el ruido invariante exacto y el estado de los coeficientes. - La herramienta genera un informe visual con gráficos de consumo de ruido, tablas de descifrado por ranura y diagramas de flujo. ## Casos de uso - Docencia y autoaprendizaje sobre los fundamentos algebraicos de RLWE, BFV y CKKS. - Validación conceptual del consumo de profundidad multiplicativa antes de diseñar circuitos FHE complejos. - Demostración visual del comportamiento de técnicas de reescalado y cambio de módulo. ## Preguntas frecuentes ### ¿Qué representa el presupuesto de ruido en BFV? Es la cantidad de bits de margen que tiene el texto cifrado antes de que el ruido acumulado altere el mensaje subyacente e impida un descifrado correcto. ### ¿Por qué es necesaria la relinealización? La multiplicación homomórfica genera un texto cifrado de 3 componentes; la relinealización lo reduce a 2 componentes para mantener constante el tamaño. ### ¿Cómo funciona el empaquetado SIMD en este explicador? Aprovecha el isomorfismo de anillos para codificar un vector de valores enteros en un solo polinomio y operarlos en paralelo punto a punto. ### ¿Son seguros para producción los parámetros utilizados? No, los grados de anillo n=32 o n=64 son parámetros reducidos diseñados exclusivamente para inspección matemática y aprendizaje interactivo. ### ¿Qué ocurre cuando el presupuesto de ruido llega a cero bits? El texto cifrado se corrompe y el descifrado falla, requiriendo una operación de bootstrapping para refrescar el nivel de ruido. ## Herramientas relacionadas - [Auditor de consistencia de estilo de manuscrito](https://elysiatools.com/es/tools/manuscript-style-consistency-auditor): Comprueba números, fechas, unidades, comillas, guiones, niveles de título y nombres propios; genera una style sheet - [Texto Tachado](https://elysiatools.com/es/tools/strikethrough-text): Añade una línea de tachado a cada carácter con la marca combinante Unicode U+0336. Texto plano, sin Markdown. - [Traductor AI de articulos Markdown](https://elysiatools.com/es/tools/ai-markdown-article-translator): Traduce articulos Markdown completos con IA manteniendo tablas, enlaces, imagenes y bloques de codigo - [Calculadora de Anión Gap Sérico (AG)](https://elysiatools.com/es/tools/anion-gap-calculator): Calcula el anión gap sérico AG = Na⁺ − Cl⁻ − HCO₃⁻ (mmol/L), con opción de la fórmula con K⁺ y corrección por albúmina. AG elevado (≈ >12) sugiere acumulación de aniones no medidos (lactato, cuerpos cetónicos, metanol/etilenglicol, salicilatos, insuficiencia renal; nemotecnia GOLD-MARK). Acidosis metabólica con AG normal (8–12) es hiperclorémica: diarrea, acidosis tubular renal, infusión de salino. AG bajo (<3–6) suele ser hipoalbuminemia; también hipercalcemia/hipermagnesemia, litio, mieloma IgG (paraproteínas catiónicas), bromuro/pseudohipercloremia. En hipoalbuminemia use la corrección AG_corr = AG + 2.5×(4.0 − albúmina). Fuentes: Kraut CJASN 2007, Figge 1998, MDCalc. Interpretar con gases y clínica. No es consejo médico. - [Fusionador de Markdown](https://elysiatools.com/es/tools/markdown-merger): Combina múltiples archivos markdown con ajuste inteligente de niveles de encabezado y generación de tabla de contenidos - [Tarjeta de especificación responsive Figma iOS Android pt dp sp](https://elysiatools.com/es/tools/figma-ios-android-pt-dp-sp-responsive-design-spec-card): Convierte valores px de Figma a las unidades correctas por plataforma y genera una spec card para desarrolladores: pt de iOS (@1x/@2x/@3x con px renderizado por escala), dp/sp de Android (tabla de renderizado mdpi…xxxhdpi y escala de fuente), rem/vw web con snippet clamp() fluido; audita objetivos táctiles mínimos (44pt iOS / 48dp Android / 44px y 24px WCAG) y anota clases de ventana de Material y breakpoints de Tailwind. - [Comparador de algoritmos hash](https://elysiatools.com/es/tools/hash-algorithm-comparator): Aplica MD5, SHA-1, SHA-256, SHA-512, BLAKE2b y BLAKE3 a la misma entrada y compáralos lado a lado: longitud de salida, digest hex/Base64, estado de seguridad (roto/moderno) y benchmark de velocidad relativa. Útil para enseñanza, elegir algoritmo o verificar checksums. - [Conversor Markdown ⇄ AsciiDoc](https://elysiatools.com/es/tools/markdown-asciidoc-converter): Convierte entre Markdown estilo GitHub y AsciiDoc (el formato estándar de Antora, Red Hat y Asciidoctor): desfase automático de niveles de títulos (= es el título del documento en AD), inversión del orden de corchetes en enlaces, bloques de código ⇄ \[source\], tablas GFM ⇄ |===, admoniciones NOTE/TIP/WARNING, listas de tareas, notas al pie, anclas y referencias cruzadas, saltos de línea duros; las construcciones sin equivalente perfecto se listan como avisos. ## Ejemplos - [Muestras MP3 Sin Derechos de Autor](https://elysiatools.com/es/samples/mp3-samples): Colección de muestras de audio sin derechos de autor para pruebas y desarrollo, incluyendo sonidos de la naturaleza, música de meditación y audio ambiental - [Ejemplos de Reemplazo de Regex](https://elysiatools.com/es/samples/regex-replace): Colección de patrones de reemplazo de regex comunes y útiles para transformación de texto y limpieza de datos - [Test Pyramid Examples - Guía de Estrategia de Testing](https://elysiatools.com/es/samples/test-pyramid-examples): Ejemplos completos de implementación de pirámide de pruebas incluyendo pruebas unitarias, pruebas de integración, pruebas E2E, organización de pruebas y patrones de prueba estratégicos para aseguramiento de calidad de software balanceado - [Ejemplos de Procesamiento de Imágenes Android Java](https://elysiatools.com/es/samples/android-image-processing-java): Ejemplos de procesamiento de imágenes Android Java incluyendo lectura/escritura, escalado y conversión de formato