iLocking iLocking

iLocking Kft. — inžinierstvo kritických systémov

Systémy, ktoré nesmú zlyhať.

Korektnosť, ktorá škáluje.

Tu sa stretávajú tri disciplíny. Biznis — dvadsať rokov vnútri bankovníctva, vyrovnania obchodov a energetických trhov, kde sme sa naučili, akú hodnotu proces v skutočnosti má. Kryptografia — pätnásť rokov návrhu protokolov — až po schémy vlastnej konštrukcie. Inžinierstvo — distribuované systémy, ktoré škálujú lineárne a bežia desaťročia. Väčšina firiem ponúka jednu z troch. Kritické systémy potrebujú všetky — v jednej miestnosti, pri jednom stole.

Ozvite sa nám Pozrite si referencie
25 rokov
existencie spoločnosti
20 rokov
vývoja kritického softvéru
15 rokov
kryptografického inžinierstva
1.
blockchainová platforma jadrového bankovníctva, na ktorej stojí inštitúcia elektronických peňazí s licenciou EÚ
1.
licencia MiCA v členskom štáte EÚ, postavená na našom inžinierstve

Čo robíme

01

Architektúra a dodávka kritických systémov

Od čistého papiera po produkciu: špecifikácie, z ktorých banka dokáže stavať, architektúry, ktoré si prečíta regulátor, dodávka, ktorá sa skutočne nasadí. Analytické účtovníctvo, enginy pre zúčtovanie a vyrovnanie, back-office platformy.

Architektúra a dodávka 02

Distribuované algoritmy a systémy

Konsenzus, replikácia, stavové automaty, správami riadené pipeline. Vysokopriepustné transakčné systémy navrhnuté na replay, audit a na zlý deň — nie iba na demo.

Distribuované systémy 03

Aplikovaná kryptografia

Pätnásť rokov v odbore: prahové podpisy, verejne overiteľné generovanie kľúčov, migračné cesty ku kvantovo odolnej kryptografii, dôkazové systémy dimenzované na mieru problému. Dokázateľné, preskúmateľné, zámerne nudné — a časť z toho publikovaná ako naše vlastné protokoly.

Aplikovaná kryptografia

Kde to beží

Jadrové finančné systémy

Core banking, vyrovnanie cenných papierov, faktoring, účtovníctvo dôchodkových fondov. Vrstva pravdy vo financiách: analytické účtovné knihy a hlavná kniha pod nimi.

Energetika a komodity

Registrové, zúčtovacie a obstarávacie systémy pre energetické trhy. Overené na strane elektriny — burzový clearing, tendre na vyrovnávaciu kapacitu, publikovanie na európsku platformu transparentnosti — a navrhnuté tak, aby s rovnakou disciplínou uniesli plyn, ropu a ďalšie komodity.

Regulované digitálne aktíva

Web3 bez šumu: platformy s licenciou MiCA, tokenizácia so skutočnou účtovnou knihou v pozadí, prevádzka s ohľadom na DORA.

Verejný sektor a obrana

Kde je integrita procesu samotnou misiou: zapečatené konania, ktoré žiaden operátor nedokáže otvoriť predčasne, veliteľské a oprávňovacie reťazce vynucované matematikou, súlad dokázateľný tretím stranám — bez vydania dát. Táto disciplína existuje už dnes; toto je jej ďalšie uplatnenie.

Dôkazy, každý na jeden riadok

  1. 01

    Platforma jadrového bankovníctva navrhnutá od čistého papiera pre jednu z najväčších bankových skupín strednej Európy — od správy používateľov po hlavnú knihu.

  2. 02

    Špecifikácia clearingu a vyrovnania pre národnú energetickú burzu; optimalizácia tendrov na vyrovnávaciu energiu pre národného prevádzkovateľa prenosovej sústavy s publikovaním na európsku platformu transparentnosti.

  3. 03

    Engine zmlúv a výpočtov pre faktoringovú prevádzku, odvodený z prvých princípov — premenlivé sadzby, premenlivé splátky, riešiteľné pre ľubovoľnú neznámu.

  4. 04

    Neo-core bankový a účtovný systém novej generácie, navrhnutý a postavený nami: online hlavná kniha, vysoko distribuovaný, lineárne škálovateľný — priemerný uzol na 2 CPU a 4 GB RAM zaúčtuje 10–15 000 transakcií za sekundu a obsluhuje 100 000 klientskych účtov. Dnes beží pod prvou licenciou MiCA jedného členského štátu EÚ.

  5. 05

    Publikovaný otvorený výskum: NPVDKGRS — neinteraktívne, verejne overiteľné distribuované generovanie kľúčov nad BLS12-381; navrhnutý aj postkvantový variant. — NPVDKGRS

  6. 06

    Naše vlastné protokoly v praxi: Pactena Protocol a Qashmore — súkromná digitálna hotovosť schopná fungovať offline, v ktorej sa podvod prezradí sám. — Pactena Protocol · Qashmore

Nudné, v tom najlepšom zmysle slova.

Kritické systémy majú byť nudné: deterministické, auditovateľné, odsúhlasené na cent a na megawatthodinu. Prvé desaťročie sme takto stavali klasické financie — správu účtov, vyrovnanie cenných papierov, účtovníctvo dôchodkových fondov, trhy s elektrinou. To posledné sme venovali dôkazu, že rovnaká disciplína platí aj pre nový svet: neo-core bankový systém s online hlavnou knihou, distribuovaný a lineárne škálovateľný; prahová správa kľúčov, pri ktorej kompletný súkromný kľúč nikdy neexistuje; úschova digitálnych aktív, ktorá obstála v licenčnom konaní MiCA. Nové technológie sú tu vítané — keď prejdú rovnakým auditom ako tie staré.

Skutočná digitalizácia sa ešte nezačala.

To, čo sa dnes vydáva za digitalizáciu, sú papierové procesy premietnuté na obrazovky — tie isté obehové lístky, to isté čakanie, teraz s prihlasovacou stránkou. Digitálne ostrovy pozošívané e-mailami. My namiesto toho staviame procesy digitálne od zrodu: podpis, autorizácia, prenos aj archív tvoria jeden matematicky chránený reťazec. Vybavenie klesá z dní na sekundy, každý krok zanecháva dôkaz — a ten dôkaz funguje oboma smermi:

Manifest

Dáta ostávajú. Dôkaz cestuje.

Citlivé záznamy nikdy neopúšťajú svojho vlastníka. Odchádza iba dôkaz — že transakcia prebehla, termín bol dodržaný, pravidlá boli splnené — overiteľný kýmkoľvek a neprezrádzajúci nič. Auditovateľné systémy bez otvárania obálky.

Náš test „kritického systému“

O tom, ako staviame, rozhodujú tri otázky:

  1. 01

    Ak sa zastaví — kto si to všimne a ako rýchlo?

  2. 02

    Ak počíta zle — kto to zaplatí a koľko?

  3. 03

    Ak príde audit — čo ukáže stopa?

Ak vás odpovede desia, mali by sme sa porozprávať.

Máte systém, ktorý nesmie zlyhať?

Napíšte nám