Servicios
Tres capacidades, una disciplina.
Todo lo que sigue se construye con la misma prueba: si se detiene, quién lo nota; si se equivoca, quién paga; si lo auditan, qué muestra el rastro.
01
Arquitectura y entrega de misión crítica
Un sistema se decide mucho antes de la primera línea de código. Nosotros dejamos las decisiones por escrito — y luego las llevamos hasta producción.
- Arquitectura de sistemas para operaciones críticas. Plataformas transaccionales multicapa: capas de aplicación, cómputo, informes e interfaces, y las fronteras entre ellas. Sistemas de registro y control donde la base de datos es la fuente de verdad de obligaciones del mundo real — dinero, capacidad, derechos.
- Procesos nacidos digitales, sobre cimientos criptográficos. No flujos de papel proyectados en pantallas: procesos concebidos digitales desde el primer paso, en los que la firma, la autorización, la transmisión y el archivo forman una única cadena protegida matemáticamente. Los plazos caen de días a segundos, cada paso deja evidencia verificable, y la corrección del proceso puede demostrarse ante terceros — públicamente, sin revelar los datos subyacentes.
- Diseño de contabilidad analítica y libro mayor. Gestión de usuarios, instrumento, cuenta, producto, transacción — el modelo de objetos del dinero. Plantillas de asiento, contenedores de saldos y posiciones, lógica loro/nostro, mapeo al libro mayor. Para bancos, empresas de servicios de inversión, fondos de pensiones — y para mercados que liquidan en megavatios-hora en lugar de forintos.
- Especificaciones que sobreviven al contacto con el desarrollo. Especificaciones de negocio y funcionales, planes lógicos de sistema, casos de uso, contratos de interfaz. Escritas para construir a partir de ellas, y para discutirlas antes de gastar el dinero.
- Auditoría y due diligence. Due diligence operativa y de TI de sistemas y proveedores existentes — qué hay en realidad, cuánto cuesta mantenerlo, cuánto cuesta abandonarlo.
- Diseño de cálculos. Cuadros de amortización con tipos y plazos variables, convenciones de cómputo de días y de redondeo que sobreviven a la conciliación, algoritmos de asignación para cotización y liquidación.
- Disciplina de entrega. Estándares de codificación, revisión de código, cobertura de pruebas ligada a la especificación, gestión de versiones. Ágil donde ayuda; por escrito, siempre.
Prueba
Para una operación de factoring dedujimos el cálculo de los contratos desde primeros principios — una recurrencia sobre tipos y cuotas mensuales variables que se resuelve para cualquier incógnita: cuota, tipo, valor actual o plazo. La hoja de cálculo que el negocio firmó es la misma matemática que ejecuta el motor.
02
Algoritmos y sistemas distribuidos
La corrección a escala es una propiedad del diseño, no el resultado de una prueba de carga.
- Procesamiento de transacciones de alto rendimiento. Plataformas operadas a nivel seis sigma sobre bases de datos de clase terabyte; bloqueo, journaling e idempotencia tratados como funciones de primera clase. El sistema neo-core bancario que diseñamos y construimos asienta 10–15.000 transacciones por segundo por nodo y sirve 100.000 cuentas de clientes por nodo — con 2 CPU y 4 GB de RAM, no con un clúster del tamaño de un centro de datos.
- Commit en dos fases sin gestor central. Nuestro propio protocolo de transacciones distribuidas no necesita un servidor gestor de transacciones central — y precisamente eso hace honesto el escalado lineal: se añade un nodo y se obtiene el rendimiento de un nodo, sin coordinador que saturar.
- Registros distribuidos sin un guardián único de la verdad. Arquitecturas en las que cada institución mantiene sus propios registros encadenados criptográficamente, entrelazados de modo que el conjunto sigue siendo verificable sin que ningún participante posea el conjunto completo de datos. Incluye nuestro diseño de gestión descentralizada de posiciones — con pérdidas y ganancias computables sin asentar a través de las cuentas de clientes.
- Máquinas de estados para el dinero. Ofertas, contratos, transferencias, ciclos de liquidación — modelados como máquinas de estados explícitas, diseñadas para la reejecución, la conciliación y la auditoría.
- Cadenas de procesamiento orientadas a mensajes. NATS, Kafka, RabbitMQ; flujos de la ingesta a la publicación en los que la salida es un evento de mercado — evaluación de subastas, optimización, publicación de transparencia.
- Algoritmos para el 1 % difícil. Esquemas de asignación y redondeo que se mantienen consistentes bajo concurrencia; modelos de optimización para el aprovisionamiento de capacidad — incluidas funciones objetivo demasiado complejas para invertirlas, resueltas numéricamente; los casos límite que todos los demás posponen.
Prueba
El sistema de aprovisionamiento de energía de balance que diseñamos para un operador nacional de la red de transporte ingiere las ofertas diarias de las subastas, alimenta un motor de optimización y publica los resultados en la plataforma europea de transparencia — una cadena en la que una cifra inverosímil no es una errata: es un incidente.
03
Criptografía aplicada
Quince años de ingeniería criptográfica — protocolos que diseñamos, demostramos, publicamos y operamos en producción. No criptografía teórica que vive en artículos: construcciones que superan auditorías, sostienen licencias y liquidan pagos. En la UE, quizá uno o dos equipos hacen esto de principio a fin. Somos uno de ellos.
Por qué lo hecho a medida supera al ZK genérico
Los sistemas genéricos de conocimiento cero son un prodigio — y casi siempre la herramienta equivocada. Traen consigo ceremonias de confianza, tiempos de prueba pesados y una dependencia imposible de sustituir. Nosotros diseñamos protocolos a medida: pruebas ajustadas a la propiedad de negocio exacta que hay que demostrar. El resultado es velocidad (por debajo de 100 ms donde los circuitos genéricos tardan segundos), ningún trusted setup que explicar a un auditor y primitivas criptográficas intercambiables — cuando una curva o un esquema envejece, la construcción sobrevive. Eso es lo que convierte la criptografía de una línea de coste en una ventaja de negocio.
- Criptografía umbral. Generación y gestión distribuidas de claves en las que la clave privada completa nunca llega a existir — en ningún lugar, en ningún momento. Nuestro esquema publicado NPVDKGRS (DKG y redistribución no interactivos y públicamente verificables sobre BLS12-381) funciona hoy bajo una plataforma con licencia MiCA y ha sido revisado por criptógrafos universitarios.
- Autorización criptográfica. Nuestro propio protocolo de habilitaciones construido sobre NPVDKGRS: los derechos de acceso como hechos criptográficos, no como filas de una base de datos. Quién puede actuar, quién actuó y cuándo — demostrable; delegación sin entregar jamás una clave; derechos revocables al instante. Firmas umbral institucionales en las que la decisión rinde cuentas sin que los individuos queden expuestos a presiones.
- Mando y control umbral. La regla de las dos personas, generalizada: cualquier esquema de aprobación k de n garantizado por las matemáticas y no por el procedimiento — un sello que nunca existe en una sola pieza, utilizable en segundos, sin HSM y sin ceremonia de confianza. La firma es de mensaje único (no interactiva), así que funciona sobre enlaces lentos, degradados o unidireccionales; las firmas mantienen un tamaño constante con independencia del número de participantes. Cuando cambia un titular de clave — traslado, pérdida, sospecha de compromiso —, las participaciones se redistribuyen en fracciones de segundo mientras el sello público de la organización permanece intacto.
- Integridad de proceso demostrable. Sobres sellados que ningún operador puede abrir antes de tiempo — de forma demostrable; rastros procedimentales encadenados y a prueba de manipulación; cumplimiento demostrado a terceros mediante pruebas de tipo conocimiento cero, sin entregar los datos subyacentes. Concebido para contratación pública, licitaciones, supervisión en contextos clasificados y cualquier procedimiento donde "confíe en nosotros" ya no es una respuesta aceptable.
- Preparación poscuántica. Trabajo en algoritmos resistentes a la computación cuántica y diseño de migración PQC de cara al plazo de 2030 de la UE para infraestructuras críticas: inventarios criptográficos, esquemas de transición híbridos — y una variante poscuántica basada en retículos de nuestro propio esquema umbral, ya diseñada y a la espera de implementación.
- Dinero digital, bien hecho. Somos los autores del Pactena Protocol — pagos privados, instantáneos y con capacidad offline en los que el doble gasto delata matemáticamente al defraudador — y de Qashmore, la solución de pago construida sobre él.
- Sistemas de prueba a la medida del problema. Revelación selectiva, compromisos, acumuladores, construcciones de prueba de reservas — pruebas ligeras y hechas a medida donde un SNARK completo es más de lo que el problema necesita.
- Revisión de protocolos. Segundas opiniones sobre diseños criptográficos antes de que se conviertan en compromisos — ceremonias de claves, esquemas de custodia, flujos de firma, rutas de recuperación.
Prueba
Sin confianza ciega, pero supervisado: en nuestro esquema de generación de claves, partes independientes crean y redistribuyen una clave umbral con cada paso públicamente verificable — y cuando cambia un titular, las participaciones se redistribuyen en segundos, sin ceremonia y sin HSM. La propiedad que un regulador quiere, entregada como matemáticas y no como política interna.
Dónde funciona
Sistemas financieros centrales
Core bancario, liquidación de valores, factoring, contabilidad de fondos de pensiones y de fondos de inversión. Dos décadas de libros contables en producción.
Energía y materias primas
Sistemas de registro, liquidación y aprovisionamiento para los mercados energéticos — probados en el sector eléctrico (compensación bursátil, subastas de balance del operador de la red, publicación en la plataforma europea de transparencia) y concebidos para llevar gas, petróleo y otras materias primas con la misma disciplina.
Activos digitales regulados
Ingeniería de plataformas con licencia MiCA, tokenización con contabilidad analítica real detrás, operaciones concebidas con DORA en mente.
Sector público y defensa
Donde la integridad del proceso es la misión. Administración nacida digital en lugar de papel digitalizado; cadenas de mando y de habilitación garantizadas por matemáticas k de n; procedimientos sellados con rastros a prueba de manipulación; supervisión satisfecha con pruebas, no entregando los datos. Los bloques anteriores — gestión de claves umbral, autorización criptográfica, integridad de proceso demostrable — se trasladan directamente; la misma disciplina que superó el escrutinio de la supervisión financiera se aplica a procedimientos donde hay aún más en juego. Hablamos el idioma de este ámbito: soberanía, sin cajas negras extranjeras, algoritmos abiertos y auditables de forma independiente.
Cómo empieza un encargo
- 01Una conversación. Usted describe el sistema; nosotros hacemos pronto las preguntas incómodas.
- 02Un alcance por escrito. Breve, con precio, honesto con las incógnitas.
- 03Trabajo a la vista. Especificaciones, decisiones y avances visibles para usted en todo momento.