Služby
Tri kompetencie, jedna disciplína.
Všetko nižšie staviame podľa rovnakého testu: ak sa to zastaví, kto si to všimne; ak to počíta zle, kto to zaplatí; ak príde audit, čo ukáže stopa.
01
Architektúra a dodávka kritických systémov
O systéme sa rozhoduje dávno pred prvým riadkom kódu. My tie rozhodnutia píšeme — a potom ich nesieme až do produkcie.
- Systémová architektúra pre kritickú prevádzku. Viacvrstvové transakčné platformy: aplikačná, výpočtová, reportingová a integračná vrstva a hranice medzi nimi. Registrové a riadiace systémy, kde je databáza zdrojom pravdy o záväzkoch reálneho sveta — peniazoch, kapacitách, oprávneniach.
- Procesy digitálne od zrodu, na kryptografických základoch. Nie papierové workflow premietnuté na obrazovky: procesy navrhnuté ako digitálne od prvého kroku, kde podpis, autorizácia, prenos a archivácia tvoria jeden matematicky chránený reťazec. Vybavenie klesá z dní na sekundy, každý krok zanecháva overiteľný dôkaz a správnosť procesu možno preukázať tretím stranám — verejne, bez odhalenia podkladových dát.
- Návrh analytického účtovníctva a hlavnej knihy. Správa používateľov, inštrument, účet, produkt, transakcia — objektový model peňazí. Účtovné šablóny, kontajnery zostatkov a zásob, logika loro/nostro, mapovanie do hlavnej knihy. Pre banky, obchodníkov s cennými papiermi, dôchodkové fondy — a pre trhy, ktoré sa vyrovnávajú v megawatthodinách namiesto forintov.
- Špecifikácie, ktoré prežijú kontakt s vývojom. Biznisové a funkčné špecifikácie, logické návrhy systémov, prípady použitia, kontrakty rozhraní. Písané tak, aby sa z nich dalo stavať — a aby sa o nich dalo sporiť skôr, než sa minú peniaze.
- Audit a due diligence. Prevádzková a IT due diligence existujúcich systémov a dodávateľov — čo tam v skutočnosti je, koľko stojí to udržať a koľko stojí odísť.
- Návrh výpočtov. Anuitné splátkové kalendáre s premenlivými sadzbami a splatnosťami, konvencie počítania dní a režimy zaokrúhľovania, ktoré prežijú rekonciliáciu, alokačné algoritmy pre kotáciu a vyrovnanie.
- Disciplína dodávky. Kódovacie štandardy, code review, testovacie pokrytie previazané so špecifikáciou, release manažment. Agilne tam, kde to pomáha, písomne vždy.
Dôkaz v praxi
Pre faktoringovú prevádzku sme odvodili výpočet zmluvy z prvých princípov — rekurenciu nad premenlivými mesačnými sadzbami a splátkami, ktorá vyrieši ľubovoľnú neznámu: splátku, sadzbu, súčasnú hodnotu či splatnosť. Tabuľka, ktorú biznis odsúhlasil, je tá istá matematika, ktorú počíta engine.
02
Distribuované algoritmy a systémy
Korektnosť, ktorá škáluje, je vlastnosť návrhu — nie výsledok záťažového testu.
- Vysokopriepustné spracovanie transakcií. Platformy prevádzkované na úrovni six sigma nad databázami terabajtovej triedy; zamykanie, žurnálovanie a idempotencia ako plnohodnotné funkcie prvej kategórie. Neo-core bankový systém, ktorý sme navrhli a postavili, zaúčtuje 10–15 000 transakcií za sekundu na uzol a obsluhuje 100 000 klientskych účtov na uzol — na 2 CPU a 4 GB RAM, nie na klastri veľkosti dátového centra.
- Dvojfázový commit bez centrálneho manažéra. Náš vlastný protokol distribuovaných transakcií nepotrebuje centrálny server transakčného manažéra — a práve to robí lineárne škálovanie poctivým: pridajte uzol, získate priepustnosť jedného uzla, žiaden koordinátor, ktorý by sa dal saturovať.
- Distribuované registre bez jediného správcu pravdy. Architektúry, v ktorých si inštitúcie vedú vlastné kryptograficky reťazené záznamy, previazané tak, že celok ostáva overiteľný bez toho, aby ktorýkoľvek účastník držal kompletný dataset. Vrátane nášho návrhu decentralizovanej správy zásob — P&L vypočítateľné bez účtovania cez klientske účty.
- Stavové automaty pre peniaze. Ponuky, zmluvy, prevody, vyrovnávacie behy — modelované ako explicitné stavové automaty, navrhnuté na replay, rekonciliáciu a audit.
- Správami riadené pipeline. NATS, Kafka, RabbitMQ; toky od príjmu po publikovanie, kde výstupom je trhová udalosť — vyhodnotenie tendra, optimalizácia, publikovanie na platformu transparentnosti.
- Algoritmy pre ťažké 1 %. Alokačné a zaokrúhľovacie schémy, ktoré ostávajú konzistentné aj pri súbežnosti; optimalizačné modely pre obstarávanie kapacít — vrátane účelových funkcií príliš zložitých na analytickú inverziu, riešených numericky; hraničné prípady, ktoré všetci ostatní odkladajú.
Dôkaz v praxi
Systém obstarávania vyrovnávacej energie, ktorý sme navrhli pre národného prevádzkovateľa prenosovej sústavy, denne prijíma tendrové ponuky, kŕmi optimalizačný engine a publikuje výsledky na európsku platformu transparentnosti — pipeline, v ktorej nepravdepodobné číslo nie je preklep, ale incident.
03
Aplikovaná kryptografia
Pätnásť rokov kryptografického inžinierstva — protokoly, ktoré navrhujeme, dokazujeme, publikujeme a prevádzkujeme v produkcii. Nie teoretická kryptografia žijúca v článkoch: konštrukcie, ktoré prechádzajú auditmi, nesú licencie a vyrovnávajú platby. V EÚ to od začiatku do konca dokáže možno jedna či dve skupiny. Sme jednou z nich.
Prečo účelová konštrukcia poráža generické ZK
Generické zero-knowledge systémy sú divom techniky — a zvyčajne nesprávny nástroj. Prinášajú trusted ceremónie, dlhé časy generovania dôkazov a závislosť, ktorú nemožno vymeniť. My namiesto toho navrhujeme účelové protokoly: dôkazy tvarované presne na tú biznisovú vlastnosť, ktorú treba preukázať. Výsledkom je rýchlosť (pod 100 ms tam, kde generické obvody potrebujú sekundy), žiaden trusted setup, ktorý by ste vysvetľovali audítorovi, a vymeniteľné kryptografické primitívy — keď krivka či schéma zostarne, konštrukcia prežije. Práve to mení kryptografiu z nákladovej položky na biznisovú výhodu.
- Prahová kryptografia. Distribuované generovanie a správa kľúčov, pri ktorých kompletný súkromný kľúč nikdy neexistuje — nikde a v žiadnom okamihu. Naša publikovaná schéma NPVDKGRS (neinteraktívna, verejne overiteľná DKG a redistribúcia podielov nad BLS12-381) dnes beží pod platformou s licenciou MiCA a prešla posúdením univerzitných kryptografov.
- Kryptografická autorizácia. Náš vlastný protokol oprávnení postavený na NPVDKGRS: prístupové práva ako kryptografické fakty, nie riadky v databáze. Kto smie konať, kto konal a kedy — dokázateľne; delegovanie bez odovzdania kľúča; práva odvolateľné okamžite. Inštitucionálne prahové podpisy, pri ktorých za rozhodnutím stojí jasná zodpovednosť, no jednotlivcov nemožno vystaviť nátlaku.
- Prahové velenie a riadenie. Pravidlo dvoch osôb, zovšeobecnené: ľubovoľná schvaľovacia schéma k z n vynucovaná matematikou namiesto procedúry — pečať, ktorá nikdy neexistuje ako celok, použiteľná v sekundách, bez HSM a bez trusted ceremónie. Podpisovanie prebieha jedinou správou (neinteraktívne), takže funguje aj cez pomalé, degradované či jednosmerné linky; podpisy majú konštantnú veľkosť bez ohľadu na počet účastníkov. Keď sa držiteľ kľúča zmení — preradenie, strata, podozrenie na kompromitáciu — podiely sa prerozdelia v zlomkoch sekundy, zatiaľ čo verejná pečať organizácie ostáva nezmenená.
- Dokázateľná integrita procesov. Zapečatené podania, ktoré žiaden operátor nedokáže otvoriť predčasne — dokázateľne; reťazené procesné stopy odhaľujúce manipuláciu; súlad preukazovaný tretím stranám dôkazmi v štýle zero-knowledge, bez vydania podkladových dát. Postavené pre verejné obstarávanie, tendre, dohľad v utajovanom režime a každé konanie, kde „verte nám“ už nie je prijateľná odpoveď.
- Postkvantová pripravenosť. Práca na kvantovo odolných algoritmoch a návrh migrácie na PQC s ohľadom na termín EÚ 2030 pre kritickú infraštruktúru: kryptografické inventáre, hybridné prechodové schémy — a mriežkový postkvantový variant našej vlastnej prahovej schémy, navrhnutý a čakajúci na implementáciu.
- Digitálna hotovosť, poriadne. Sme autormi protokolu Pactena — súkromné, okamžité platby schopné fungovať offline, pri ktorých dvojité minutie matematicky prezradí podvodníka — a Qashmore, platobného riešenia na ňom postaveného.
- Dôkazové systémy na mieru problému. Selektívne odhaľovanie, commitmenty, akumulátory, konštrukcie proof-of-reserves — ľahké, účelové dôkazy tam, kde je plný SNARK viac, než problém potrebuje.
- Posúdenie protokolov. Druhý názor na kryptografické návrhy skôr, než sa stanú záväzkami — ceremónie kľúčov, schémy úschovy, podpisové toky, cesty obnovy.
Dôkaz v praxi
Bez potreby dôvery, no pod dohľadom: v našej schéme generovania kľúčov nezávislé strany vytvoria a prerozdelia prahový kľúč tak, že každý krok je verejne overiteľný — a keď sa držiteľ kľúča zmení, podiely sa prerozdelia v sekundách, bez ceremónie a bez HSM. Vlastnosť, ktorú chce regulátor, dodaná ako matematika, nie ako smernica.
Kde to beží
Jadrové finančné systémy
Core banking, vyrovnanie cenných papierov, faktoring, účtovníctvo dôchodkových a podielových fondov. Dve desaťročia účtovných kníh v produkcii.
Energetika a komodity
Registrové, zúčtovacie a obstarávacie systémy pre energetické trhy — overené na strane elektriny (burzový clearing, tendre TSO na vyrovnávaciu kapacitu, publikovanie na európsku platformu transparentnosti), navrhnuté tak, aby s rovnakou disciplínou uniesli plyn, ropu a ďalšie komodity.
Regulované digitálne aktíva
Inžinierstvo platforiem s licenciou MiCA, tokenizácia so skutočným analytickým účtovníctvom v pozadí, prevádzka s ohľadom na DORA.
Verejný sektor a obrana
Kde je integrita procesu samotnou misiou. Administratíva digitálna od zrodu namiesto digitalizovaného papiera; veliteľské a oprávňovacie reťazce vynucované matematikou k z n; zapečatené konania so stopami odhaľujúcimi manipuláciu; dohľad uspokojený dôkazmi, nie vydaním dát. Stavebné bloky vyššie — prahová správa kľúčov, kryptografická autorizácia, dokázateľná integrita procesov — sa prenášajú priamo; disciplína, ktorá obstála pred finančným dohľadom, platí aj pre konania, kde ide o ešte viac. Hovoríme jazykom tejto domény: suverenita, žiadne zahraničné čierne skrinky, otvorené a nezávisle auditovateľné algoritmy.
Ako sa spolupráca začína
- 01Rozhovorom. Vy opíšete systém, my kladieme nepríjemné otázky hneď na začiatku.
- 02Písomným rozsahom. Krátky, nacenený, úprimný v tom, čo je neznáme.
- 03Otvorenou prácou. Špecifikácie, rozhodnutia aj postup máte po celý čas na očiach.