Garantías de seguridad

Esta página expone con precisión qué garantiza PiNS y qué no. Ser exacto resulta más útil que ser tranquilizador: lo que es sólido lo es de verdad, y saber dónde están los límites es justamente lo que permite apoyarse en ellos.

La propiedad: el fraude queda a la vista

PiNS es evidente ante el fraude (fraud-evident). Toda violación de las reglas o bien es imposible de demostrar de entrada, o bien resulta públicamente visible para quien mire — y los datos necesarios para mirar están publicados, así que mirar no requiere permiso ni la colaboración del operador.

Conviene entender la distinción entre las dos mitades. La propiedad y las transiciones de estado se imponen por criptografía y sencillamente no pueden violarse. Todo lo demás se establece por replicación independiente, donde una desviación queda contradicha por todas las réplicas a la vez. Ambas son sólidas; lo son de maneras distintas, y esta página dice explícitamente cuál se aplica dónde.

Lo que no puede ocurrir en absoluto

Esto lo impone la matemática. Ninguna acción del operador puede sortearlo.

• No se puede arrebatar un dominio a su titular. Todo cambio de estado exige una firma Ed25519 con la clave que la operación requiere, comprobada dentro del circuito con verificación estricta. El registrador no tiene su clave y no puede falsificarla.
• No se puede registrar un nombre dos veces. REG exige una prueba de no inclusión, y un nombre que ya existe no puede producirla.
• No puede haber una venta a un precio que el vendedor no firmó. BUY exige que el precio pagado sea igual al publicado, que queda fijado en el árbol por el LST firmado del vendedor.
• No se puede anclar una raíz de estado sin una prueba válida. El contrato ancla en BNB Smart Chain verifica cada prueba contra programVkey antes de aceptar una raíz. Una transición inválida sencillamente no puede demostrarse.
• El circuito no puede sustituirse en silencio. programVkey se compromete con el programa compilado exacto. Cambiar una línea cambia la clave, y cambiar la clave en la cadena es una acción de dos partes que requiere al secuenciador y al propietario.

Lo que se verifica por observación y no por el circuito

Algunas propiedades no se imponen dentro de la prueba, sino que las establece cualquiera que reproduzca los datos públicos. Es un mecanismo distinto, no un resultado más débil: son comprobables por cualquier observador, sin permiso, y una desviación es visible para todos a la vez en lugar de para unos pocos privilegiados.

• Inclusión y orden de los comandos. El registrador arma los lotes, de modo que es él quien ordena los comandos. Como la dirección de protocolo y su clave de visualización están publicadas, cada indexador independiente deriva el mismo orden de la propia cadena y calcula la misma raíz. Un comando omitido o reordenado produce una raíz que todas las réplicas contradicen, de inmediato y sin que nadie tenga que buscarlo.
• El end_block_height que declara un lote. Se traslada a las salidas públicas en lugar de restringirse dentro del circuito, porque la replicación ya lo establece: un indexador que reproduce la cadena sabe qué bloque cubría el lote, así que una altura errónea se detecta igual que cualquier otra desviación.
• Los destinos de las retiradas. Los importes de los pagos, las comisiones y las obligaciones son plenamente auditables con la clave de visualización publicada: cada pago lleva un memo que nombra la cuenta que liquida, de modo que cualquiera puede reconstruir el libro de saldos. Lo que no consta en el registro público es qué dirección de destino indicó el usuario, porque esa solicitud se hace en el sitio web. Esa parte la confirma directamente el receptor, que conserva la solicitud que firmó. Consulte Confianza y privacidad.

Por qué la replicación es la garantía real

La prueba ZK responde: dadas estas entradas, ¿se siguieron las reglas?

La replicación responde: ¿eran estas las entradas reales?

En la práctica, la segunda pregunta es la que más importa, y no la responde la criptografía: la responde que el registrador publique su dirección de protocolo y su clave de visualización, de modo que cualquiera pueda descifrar todo el historial de comandos desde el origen, reproducirlo con el indexador de código abierto y comparar raíces. Un registrador que se desvíe produce una raíz que todas las réplicas independientes contradicen.

Por eso que la clave de visualización sea pública no es un detalle. Es el mecanismo.

Un rollup soberano, dicho con precisión

Estructuralmente, PiNS es un ZK-rollup:

• Disponibilidad de datos: cada comando vive en el memo de una transacción de PIVX, con el pago en la misma nota blindada, de modo que intención y pago quedan atados de forma atómica.
• Ejecución: fuera de la cadena, en la zkVM de SP1.
• Liquidación: BNB Smart Chain guarda la raíz anclada y verifica las pruebas en segundos.

Lo que lo diferencia de un rollup típico es que la capa de disponibilidad de datos es una cadena centrada en la privacidad, así que «cualquiera puede leer las entradas» exige que la clave de visualización esté publicada, y lo está.

Cómo comprobarlo usted mismo

Nada de lo anterior hay que darlo por bueno:

• Reproduzca programVkey compilando el generador de pruebas y comparándolo con el contrato.
• Reproduzca la cadena con la clave de visualización publicada en su propio indexador y compare las raíces.
• Verifique cualquier resolución concreta con una prueba de Merkle más una comprobación de la raíz en la cadena — consulte Verificar pruebas.