BLAKFRAME LTD es una firma de ingeniería de sistemas inscrita en Inglaterra y Gales (n.º de registro 16726125) — puede verificarse en Companies House. La firma trabaja en ámbitos donde el software debe ser correcto para todas las entradas, no solo para la mayoría — y donde los modos de fallo son la corrupción de memoria, el comportamiento indefinido y la divergencia entre la especificación y la ejecución. Su trabajo tiene dos vertientes: el desarrollo de BLAKHOLE, el principal esfuerzo de desarrollo en ingeniería de la firma, y una labor activa de investigación en seguridad de software de bajo nivel y criptográfico, que constituye la principal fuente de ingresos de la firma.
Ambas líneas de trabajo se realizan internamente y se refuerzan mutuamente: la investigación examina cómo fallan los sistemas; la ingeniería aplica ese conocimiento a su construcción. La firma se financia con recursos propios, no cuenta con inversores externos y no ofrece productos para consumidores. Lo que no publica, no lo publica.
Director y arquitecto de sistemas
David Tsarskykh es el director único de BLAKFRAME LTD y dirige su trabajo de ingeniería e investigación. Dirige el esfuerzo de desarrollo de BLAKHOLE y la labor de investigación en seguridad de la firma, desde los requisitos hasta la verificación. Su nombramiento y la inscripción de la firma pueden verificarse en Companies House.
La firma investiga la seguridad del software de bajo nivel y criptográfico — su principal fuente de ingresos — y desarrolla internamente BLAKHOLE, su principal esfuerzo de desarrollo en ingeniería. BLAKHOLE no se ofrece bajo licencia ni se aloja ni se vende como producto. Los hallazgos de la investigación en seguridad se comunican a los responsables del mantenimiento del software afectado mediante divulgación coordinada.
Software cuya corrección debe verificarse antes de confiar en él: componentes en los que un solo valor límite sin tratar, una sola operación insegura o una divergencia entre la especificación y la ejecución invalidan el conjunto. Los requisitos de ingeniería de esta clase son estrictos — seguridad de memoria, comportamiento definido en todos los límites y ejecución reproducible — y el trabajo de desarrollo de la firma existe porque las herramientas convencionales, por sí solas, no bastan para cumplirlos.
En el análisis de sistemas de software para detectar defectos que las pruebas, por sí solas, no revelan — fallos en la implementación de protocolos criptográficos, tratamiento inseguro en rutas críticas de ejecución y divergencia entre una especificación y su implementación. Los hallazgos se comunican a los responsables del mantenimiento del software afectado mediante divulgación coordinada. La firma no desarrolla capacidades ofensivas, no vende exploits y no presta servicios de vigilancia ni de interceptación.
Desarrollo. BLAKHOLE se encuentra en desarrollo activo y la labor de investigación en seguridad continúa. La firma no publica sus hitos internos; los anuncios se realizan cuando el trabajo concluye, no según un calendario.
Entre empresas que actúan en nombre y por cuenta propios, mediante acuerdos independientes para cada encargo. Las contrapartes reciben el material técnico que requiere el encargo. Consultas generales e institucionales: enquiries@blakframe.com. Asuntos de seguridad: security@blakframe.com.
No. BLAKHOLE se desarrolla internamente, para el funcionamiento de la propia firma y para encargos contratados. No se ofrece bajo licencia ni se aloja ni se vende como producto, y no hay acceso de autoservicio. Los encargos comienzan con una conversación, no con un proceso de compra.
