📚 La razón por la que estoy estudiando ZK # 1: Cambios estructurales en las compensaciones Soy un desarrollador de BQ. @BQ_Developer En estos días, estoy profundamente inmerso en ZK (Zero-Knowledge Proofs). Al principio, pensé que era solo una simple técnica de cifrado, pero una vez que lo entendí, mi perspectiva sobre el problema en sí cambió. En los próximos artículos, resumiré por qué comencé a estudiar ZK, y por qué tiene importancia más allá del aprendizaje técnico. El primer punto es sobre cómo ZK resuelve las compensaciones técnicas existentes. 🔍 Existen compensaciones en todos los sistemas Uno de los términos más escuchados en el desarrollo de software es "compensación". - Fortalecimiento de la seguridad → Disminuye la usabilidad - Aumento de la velocidad → Aumenta los costos - Descentralizar → Reduce la eficiencia Especialmente, la privacidad y la verificabilidad se han considerado las compensaciones más pronunciadas. Era de conocimiento común que para probar algo, tenías que revelar información, y si ocultabas información, no se podía verificar. 💭 Estructura de los métodos de verificación existentes La forma en que funcionaba la verificación era simple: 1. A presenta una reclamación 2. B solicita pruebas 3. A muestra la evidencia 4. B lo confirma En este proceso, B inevitablemente aprende información. Entonces, en la práctica, los compromisos siempre fueron necesarios: - Para ser auditado, debe divulgar sus libros - Para demostrar las calificaciones, debe presentar una identificación - Para confirmar el cumplimiento, debe compartir datos internos 🔓 Lo que cambia ZK ZK cambia la estructura de la verificación. Antiguo: Mostrar información → verificaciones del verificador directamente ZK: Ocultar información → Demostrar solo que se cumplen ciertas condiciones Por ejemplo, en las evaluaciones de préstamos: - Antes: Revelar saldo bancario de 1.234.567 wones - ZK: Demostrar solo "el saldo es superior a 1 millón de wones" Puede parecer una pequeña diferencia, pero cambia fundamentalmente la esencia de la verificación. El verificador solo puede confirmar los hechos necesarios y no puede saber más que eso. ✏️ Lo que realmente cambia Las diferencias específicas creadas por este cambio: Escenario de auditoría: - Antes: Enviar todo el historial de transacciones → Exponer información confidencial del cliente - Después: Demostrar solo "todas las transacciones cumplieron con las regulaciones" → Proteger la información del cliente En blockchain: - Antes: Todas las transacciones divulgadas de forma transparente → Renunciar a la privacidad - Después: Demostrar solo la validez de la transacción → Mantener la privacidad Verificación del modelo de IA: - Antes: Divulgar modelo → Renunciar a la propiedad intelectual - Después: Demostrar solo "el sesgo está por debajo del umbral" → Proteger el modelo Las combinaciones que antes eran imposibles ahora se están volviendo posibles. Puede mantener el secreto mientras se verifica. Este concepto resuena conmigo en un nivel más profundo. Es una nueva propuesta que se libera de la restricción de "tener que elegir uno de los dos" a "ambos son posibles". Interpreto esto como la creación de un nuevo punto de equilibrio en algún lugar entre 0 y 1. Creo que la mayoría de los avances tecnológicos han sido así. No hay muchas soluciones mágicas que resuelvan todos los problemas a la vez. Pero lo que ZK muestra es la posibilidad de "cambiar el grado de compromiso". Y creo que solo aquellos que entienden esta posibilidad pueden crear el siguiente nivel de mejoras. Es por eso que estudio ZK. En el próximo artículo, hablaré sobre otro cambio traído por ZK. --- Tus gustos y acciones son amor 🥰 #BQDeveloper #ZK #ZeroKnowledgeProof #TurningImpossibilitiesIntoPossibilities