Para equipos con activos en Gnosis Safe

Una segunda firma resistente a la computación cuántica para su Safe

Instale un Safe Guard. Sus propietarios, su umbral y su historial siguen exactamente igual, pero cada transferencia necesita además una aprobación poscuántica, verificada en la cadena.

Sin migración Código abierto (MIT / LGPL-3.0) Firmas NIST SP 800-208
La Safe App de FermionGuard: una cola de transacciones en la que cada transferencia pendiente muestra su estado de autorización cuántica
Basado en Safe Guard XMSS · RFC 8391 NIST SP 800-208 Claves en Ledger Primitivas de OpenZeppelin Código abierto · MIT / LGPL-3.0
Véalo en acción

Una transferencia de 250.000 dUSD,
firmada por completo y aun así bloqueada

Un propietario firma la transferencia en el Safe{Wallet} real. No se ejecuta. El Administrador Cuántico lee el pago en el dispositivo (token, importe, destinatario, ventana de validez, Safe y cadena) y lo aprueba con una firma poscuántica de un solo uso. Solo entonces se mueve el dinero.

Una transferencia de 250.000 dUSD está firmada por completo en Safe{Wallet} y aun así falla; el Administrador Cuántico la aprueba en un Ledger simulado con una firma XMSS de un solo uso; después, la misma transferencia se ejecuta

Grabado de principio a fin en el entorno de demostración local: un Safe real, el Safe{Wallet} real y el Guard aplicando las reglas en la cadena. El dispositivo es el Ledger simulado, no hardware; consulte Estado para saber en qué punto está la app de Ledger.
Ver a tamaño completo · Ejecútelo usted mismo →

Por qué ahora

Más firmantes no hacen
que una multifirma resista la computación cuántica

Todos los propietarios de un Safe firman con ECDSA. Un ordenador cuántico lo bastante grande rompe ECDSA, para todos sus firmantes a la vez. Los activos que se custodian durante diez años necesitan una firma que sobreviva a ese día.

La multifirma es gobernanza

Decide quién puede firmar. No sirve de nada cuando cae el propio esquema de firma.

Las claves de hardware evitan el robo

No evitan una firma falsificada sobre la misma curva: la clave nunca tiene que salir del dispositivo.

Las políticas fuera de la cadena son consejos

Un motor de políticas que la cadena no consulta se puede eludir. La última palabra tiene que estar en la cadena.

Cómo funciona

Dos firmas independientes.
Una sola vía de ejecución.

FermionGuard es un Safe Guard, el mecanismo oficial de Safe que se ejecuta antes de cada transacción. Los propietarios siguen firmando como hoy. El Guard solo deja pasar la transacción si además lleva una aprobación poscuántica que coincida.

Firma 1: sin cambios

Los propietarios de su Safe

Los mismos propietarios, el mismo umbral, las mismas carteras de hardware. Protege frente a operadores desleales, dispositivos perdidos y fallos internos.

Firma 2: nueva

Una aprobación poscuántica

Un Administrador Cuántico designado aprueba cada transferencia en un Ledger con una clave XMSS. Protege frente a firmantes comprometidos, aprobaciones reutilizadas, vaciados de asignaciones y futuros ataques cuánticos.

Cola

Un operador pone una transferencia en cola en Safe{Wallet}. Los propietarios firman como siempre.

Aviso

La Safe App de FermionGuard la marca con 🟡 autorización cuántica necesaria.

Revisión

El Administrador revisa el contenido, decodificado a partir de dos fuentes independientes.

Aprobación

El Ledger muestra todos los campos que se aplican. Mantenga pulsado para aprobar.

Ejecución

La fila pasa a 🟢. Cualquiera puede ejecutarla; el Guard comprueba y consume la aprobación.

Pantalla de revisión con el token, el importe, el destinatario, el nonce y la ventana de validez decodificados antes de firmar

El Administrador ve exactamente lo que aprueba

Las aprobaciones coinciden con transacciones exactas, no con intenciones

Una aprobación indica el Safe, la cadena, el token, el destinatario, el importe y una ventana de validez. Si alguien modifica después la transacción en cola, la aprobación deja de coincidir y el Guard la rechaza.

  • Limitadas en el tiempo: cada aprobación es válida durante la ventana que usted elija.
  • De un solo uso: se consumen en el momento en que se ejecuta la transacción.
  • Comprobadas dos veces: el contenido debe coincidir en dos fuentes de datos independientes antes de que se desbloquee la firma.
  • Rechazos visibles: las denegaciones se firman y se registran igual que las aprobaciones.
Pantallas del dispositivo Ledger con la cabecera de la aprobación, el importe, la dirección completa del destinatario y la decisión de aprobar o rechazar

Sin firmas a ciegas: el dispositivo muestra todos los campos que aplica el Guard

Funciona dentro de las herramientas que su equipo ya usa

FermionGuard se distribuye como una Safe App dentro de Safe{Wallet} y como una app de Ledger para el Administrador. Los avisos de riesgo destacan destinatarios nuevos, importes inusuales y transacciones que el Guard rechazaría de todos modos, antes de que nadie firme.

¿Pago de nóminas? Un lote completo de hasta 100 transferencias necesita una sola aprobación.

Configuración

Añádalo al Safe que ya tiene

Sin cartera nueva, sin cadena nueva, sin migrar activos. Cuatro pasos que realizan sus propietarios actuales mediante transacciones de Safe ordinarias.

Abra la Safe App

Añada FermionGuard en Safe{Wallet}. Comprueba la versión y los módulos de su Safe antes de cambiar nada.

Realice la ceremonia de claves

La clave del Administrador se genera dentro del Ledger. Los propietarios la confirman y firman conjuntamente su registro.

Active el Guard

Los propietarios firman una transacción setGuard, como cualquier otra transacción de Safe.

Envíe una transferencia de prueba

Una transferencia de importe mínimo recorre todo el flujo. Cuando se confirma, su panel muestra Protegido ✓.

⏱ Unos 30 minutos si sus propietarios están disponibles
Para quién es

Pensado para activos que deben estar seguros durante una década

🏦 Custodios y bancos

Añada un control criptográfico independiente y basado en estándares a la custodia de activos de clientes.

  • Esquema de firma aprobado por el NIST
  • Registro de auditoría exportable para cumplimiento normativo
  • Actas imprimibles de la ceremonia de claves

🏢 Tesorerías corporativas

Mantenga su flujo de aprobación y haga que un firmante comprometido no baste para mover fondos.

  • Los propietarios siguen firmando como hoy
  • Una aprobación por cada lote de nóminas
  • Avisos de riesgo en transferencias inusuales

🏛️ Fundaciones y DAO

Ponga un control público y con plazo de espera en los movimientos que más importan: los cambios de gobernanza.

  • Plazo público de 48 horas para las acciones de administración
  • Los propietarios pueden cancelarlo sin aprobación cuántica
  • Código abierto, verificable en la cadena
Seguridad

Difícil de eludir.
Imposible de bloquear.

El Guard es el último veto en la cadena, y está diseñado para que ni una clave perdida ni un error puedan congelar sus fondos.

Siempre hay una salida

¿Perdió el Ledger? Los propietarios por sí solos pueden retirar el Guard tras una cuenta atrás pública de 14 días. Un dispositivo inservible nunca bloquea el Safe.

Cambios de gobernanza visibles

Retirar el Guard o cambiar los propietarios exige una aprobación y una cuenta atrás pública de 48 horas de la que se avisa a todos los propietarios.

Falla en modo cerrado

Un Guard no actualizable con una pausa rápida que lo bloquea todo ante incidentes. Sin puerta trasera de administración.

Sin puertas laterales

Los módulos de Safe se saltan los guards, así que la inscripción exige que no haya módulos activados, o un module guard emparejado en Safe 1.5+.

Sin vaciado de asignaciones

approve, permit y transferFrom se rechazan directamente, y los lotes se comprueban operación por operación en la cadena.

Claves que no se pueden sustituir

Los propietarios firman conjuntamente la raíz pública completa de la clave en sus propios dispositivos, de modo que un sitio web comprometido no puede sustituirla por otra.

Pantalla de acción administrativa con una cuenta atrás de 48 horas y un botón de revocación

Los cambios de gobernanza son lentos y visibles; cancelarlos es rápido

Ni siquiera una clave cuántica robada puede tomar el control en silencio

Un atacante con el Ledger del Administrador sigue sin poder mover fondos sin las firmas de sus propietarios, y no puede retirar el Guard sin una cuenta atrás pública de 48 horas que sus propietarios pueden cancelar.

Lea el modelo de amenazas →

Para sus ingenieros

Firmas poscuánticas,
verificadas en la EVM

XMSS se basa únicamente en funciones hash, así que la cadena lo comprueba directamente: sin oráculos ni servidores de confianza. El verificador es una implementación limpia de la RFC 8391, y decimos con exactitud hasta dónde llega su demostración: cada primitiva de la RFC y las comprobaciones que rechazan entradas mal formadas están verificadas por máquina para todas las entradas frente a una transcripción línea a línea de la RFC. Su composición en la comparación de la raíz que finalmente acepta o rechaza una firma bien formada se argumenta a mano, se comprueba simbólicamente con altura de árbol 2 y se fija con los vectores de la RFC para h = 4, 10 y 20.

745,003
gas por verificación, medido con h = 20
~1M
aprobaciones por clave (220 hojas)
11
lemas de Halmos que comprueban el verificador frente a la RFC 8391, diez de ellos para todas las entradas
MIT
Verificador XMSS escrito a partir de la RFC, sin código ajeno

La reutilización de hojas es imposible por construcción

XMSS tiene estado: reutilizar una hoja de un solo uso permitiría a un atacante falsificar firmas. El Ledger registra su contador antes de entregar una firma, y el contrato mantiene un mapa de hojas usadas que revierte ante cualquier reutilización.

Ver los contratos → · Especificación del Guard → · Demostración formal →

contracts/src/QuantumKeyRegistry.sol (simplificado)
function _verifyAndConsumeXmss(
    bytes32 keyId,
    bytes32 digest,
    bytes calldata xmssSignature
) internal {
    XMSS.Signature memory sig = abi.decode(xmssSignature, (XMSS.Signature));
    BitMaps.BitMap storage used = _usedLeaves[xmssRoot(keyId)];  // per KEY, not per registration
    if (used.get(sig.leafIdx)) revert LeafAlreadyUsed(keyId, sig.leafIdx);

    if (!XMSS.verify(digest, sig, publicKey(keyId), treeHeight(keyId)))
        revert InvalidXmssSignature();  // whole tx rolls back

    used.set(sig.leafIdx);                // burn the one-time leaf
    emit LeafConsumed(keyId, sig.leafIdx, digest);
}
Dónde estamos

Desarrollado en abierto

El diseño y el verificador poscuántico ya son públicos. Los equipos con acceso anticipado ayudan a dar forma al resto.

Verificador XMSS (Solidity)
Verificador RFC 8391 con consumo de hojas en la cadena (un mapa de hojas usadas en el registro de claves), pruebas de Foundry y mediciones de gas
Implementado
Especificación y modelo de amenazas
Guard, registro de claves, motor de preaprobaciones, servicio, política de hardware
Publicado
Safe App y pantallas de Ledger
Flujos de cola, aprobación, lotes, ceremonia de claves, denegación, emergencia y dispositivo
Diseñado
Verificador XMSS, verificado por máquina
Primitivas y comprobaciones de validación de entradas demostradas equivalentes a la RFC 8391 mediante ejecución simbólica; la comparación de la raíz que decide una firma bien formada se argumenta a mano y se fija con vectores, sin verificación por máquina para h general; PROOF.md indica qué está demostrado y qué se supone. Publicado como xmss-solidity
Demostrado en parte
Contratos del Guard, del registro de claves y de preaprobaciones
Construidos sobre las bibliotecas auditadas de Safe y OpenZeppelin; las pruebas de Foundry incluyen una integración con un Safe real. La máquina de estados del registro de claves y dieciocho propiedades del Guard y del motor de preaprobaciones están demostradas frente a especificaciones ejecutables con Halmos; el decodificador de lotes no está entre ellas
Implementado
App de Ledger y Safe App
Ya existe una primera app de dispositivo en Rust que compila, genera su clave en el dispositivo y firma en el emulador de Ledger, pero es un subconjunto de la app especificada y no debe custodiar fondos reales; la integración con Safe{Wallet} está disponible como vista previa de preparación de solo lectura
En desarrollo
Auditoría de seguridad externa
Necesaria antes de cualquier despliegue en mainnet
Prevista
Quién lo desarrolla

Diseñado por alguien que ha
trabajado a ambos lados de la amenaza

Stan (Konstantin) Kladko: de la física que crea la amenaza cuántica a la criptografía que tiene que sobrevivir a ella.

⚛️ Físico cuántico

Doctor por el Instituto Max Planck. Trabajó con el premio Nobel Robert B. Laughlin en sistemas cuánticos en Stanford. Director's Fellow en el Laboratorio Nacional de Los Álamos.

🔐 Evaluador de módulos criptográficos

Dirigió un laboratorio acreditado por el NIST para pruebas de módulos criptográficos (CMVP), con certificaciones FIPS 140-2 y de seguridad frente a canales laterales.

⛓️ Blockchain a escala

Cofundador y CTO de SKALE, que llevó la criptografía de umbral BLS del papel a una mainnet alineada con Ethereum.

Preguntas

Lo primero que preguntan los equipos

¿Tenemos que mover nuestros activos o cambiar nuestro Safe?

No. Instala un Guard en el Safe que ya tiene. Los propietarios, el umbral, el historial y las direcciones siguen exactamente igual.

¿Qué pasa si se pierde el Ledger del Administrador?

Sus propietarios pueden retirar el Guard por sí solos, sin clave cuántica, tras una cuenta atrás pública de 14 días. Si la solicitud no es legítima, pueden cancelarla en cualquier momento de ese plazo con una transacción de Safe ordinaria. Un dispositivo perdido nunca puede bloquear su Safe de forma permanente.

¿Esto ralentiza nuestras transferencias?

Cada transferencia necesita una aprobación adicional del Administrador en un Ledger. Los lotes, como una nómina de hasta 100 transferencias, necesitan una sola aprobación para todo el lote.

¿Cuánto cuesta en gas?

Verificar la firma poscuántica cuesta unos 745.000 de gas, que se pagan una vez al crear la aprobación (745.003 de gas medidos con h = 20). La comprobación al ejecutar la transacción es una simple consulta.

¿Qué Safes son compatibles?

Safe v1.3.0 y posteriores. El Safe no debe tener módulos activados, porque los módulos se saltan los guards, o bien debe estar en Safe 1.5+ con el module guard de FermionGuard instalado también. Tampoco debe tener fallback handler: los tokens ERC-20 y el ETH funcionan con normalidad, pero las funciones de mensajes firmados (Permit, órdenes de CowSwap, inicio de sesión) y la recepción de NFT mediante safeTransferFrom aún no son compatibles.

¿Por qué XMSS y no ML-DSA o Falcon?

XMSS es una firma basada en hash aprobada por el NIST (SP 800-208), así que la EVM puede verificarla por aproximadamente 1M de gas. Los esquemas de retículos como ML-DSA y Falcon costarían hoy decenas de millones de gas para verificarse en la cadena.

¿Podemos usarlo en producción hoy?

Todavía no. El verificador poscuántico está verificado por máquina frente a la RFC 8391 en la medida descrita arriba, y los contratos del Guard están implementados y probados, pero nada está auditado aún; la app de Ledger y la Safe App están en desarrollo, y se necesita una auditoría externa antes de cualquier despliegue en mainnet. Solicite acceso anticipado para estar entre los primeros equipos incorporados.

Acceso anticipado

Proteja su Safe
antes de necesitarlo

Estamos incorporando un primer grupo de equipos con activos en Safe. Cuéntenos su configuración y nos pondremos en contacto cuando se abran los pilotos.

Abre un breve formulario público de GitHub; no incluya nada confidencial.

1 · Cuéntenos sobre su Safe

Cadena, versión de Safe, número de propietarios y volumen aproximado de transferencias.

2 · Le respondemos

Nos pondremos en contacto cuando se abran los pilotos de acceso anticipado.

3 · Incorporación conjunta

Realice la ceremonia de claves y active el Guard con sus propietarios.