El problema del sobre sellado: Verificación sin revelación El problema de los generales bizantinos plantea cómo personas que no se confían entre sí pueden llegar a un acuerdo sobre un historial abierto: ¿Cómo alcanzamos consenso sin confianza? A su lado se encuentra un dilema adyacente y ortogonal: ¿Cómo puede una red no confiable hacer cumplir las reglas de una transacción cuyos detalles ninguno de sus miembros está autorizado a ver? Este es el problema del sobre sellado: la paradoja conceptual resuelta por el dinero de prueba de conocimiento cero. Dos dimensiones de la confianza distribuida Bitcoin y Zcash gobiernan dos capas separadas de sistemas distribuidos: * El problema de los generales bizantinos gobierna el orden: ¿Cómo acuerdan los nodos desconfiados qué transacciones ocurrieron y en qué secuencia? * El problema del sobre sellado gobierna la validez: ¿Cómo verifican esos nodos que una transacción oculta es legal, solvente y no inflacionaria sin inspeccionar su contenido? Bitcoin resolvió el consenso abierto haciendo transparente todo su historial. Cada nodo audita independientemente los libros: rastreando salidas, sumando saldos públicos y verificando firmas. Bitcoin funciona porque cada participante lee la misma página: * Bitcoin: ¿Cómo llegamos a un acuerdo sobre un libro abierto que todos pueden auditar? $BTC * Zcash: ¿Cómo probamos que los saldos del libro son correctos cuando sus entradas están ocultas? El consenso decide qué sobre llegó primero; el problema del sobre sellado pregunta cómo una multitud adversarial prueba que el sobre no es falso. $ZEC El bazar de Samarcanda Imagina un antiguo cruce en la Ruta de la Seda Comerciantes de imperios rivales se mezclan bajo los arcos abovedados: comerciantes de seda sogdianos, cambiadores persas y viajeros venecianos. No comparten un soberano común, hablan lenguas distintas y albergan sospechas mutuas. Dos extraños encapuchados se encuentran en el centro de la plaza. A plena vista de la multitud y la guardia ciudadana, uno le entrega al otro un sobre sellado con cera. Nadie puede abrirlo. Nadie está autorizado a saber quién lo envió, quién lo recibió, qué moneda anterior representa o su denominación. No hay un gran visir ni un ensayador imperial que inspeccione discretamente su contenido. Sin embargo, la multitud desconfiada debe estar matemáticamente equipada para rechazar el intercambio si: * La moneda dentro no existe. * El remitente carece del derecho legítimo para gastarla. * La moneda ya se gastó en otra caravana ayer. * La transferencia infla la oferta monetaria forjando nueva moneda de la nada. La cera permanece intacta. El contenido permanece oculto. Sin embargo, cada comerciante en el bazar verifica independientemente que las leyes monetarias del reino se respetaron estrictamente. Históricamente, el comercio físico confunde dos propiedades distintas: conocimiento de la transacción y conocimiento de que la transacción es válida. La auditoría convencional obtiene la segunda al apoderarse de la primera: muerdes el oro, cuentas las monedas, auditas el libro privado del comerciante o confías en una casa real que lo hizo. La criptografía de prueba de conocimiento cero rompe ese vínculo. Un verificador no necesita los hechos subyacentes; solo necesita una prueba matemática sucinta que demuestre que esos hechos ocultos satisfacen las restricciones del protocolo. Consenso y revelación El nombre describe la restricción, no la tecnología. El cifrado ordinario simplemente oculta un mensaje, volviéndolo opaco a la verificación. El problema monetario más difícil es permitir que un colectivo no confiable y adversario audite un estado oculto. Los dos pilares fundamentales de la moneda descentralizada están uno al lado del otro: * Generales bizantinos: Acuerdo sin confianza. * Sobre sellado: Verificación sin revelación. La tolerancia a fallos bizantinos proporciona la línea temporal pública inmutable, mientras que las pruebas de conocimiento cero imponen validez privada. Bitcoin demostró que extraños podían mantener un historial monetario sin confiar en una autoridad central. Zcash demostró que este historial podía hacer cumplir la conservación monetaria sin exigir que cada vida privada se convirtiera en propiedad pública. Bitcoin enseñó al bazar a acordar sobre un libro abierto. Zcash demostró que el libro equilibra sin abrir las páginas.