Služby
Tři schopnosti, jedna disciplína.
Všechno níže stavíme podle stejného testu: když se to zastaví, kdo si všimne; když to počítá špatně, kdo platí; když přijde audit, co ukáže stopa.
01
Architektura a dodávka kritických systémů
O systému je rozhodnuto dávno před prvním řádkem kódu. My ta rozhodnutí zapisujeme — a pak je doneseme až do produkce.
- Systémová architektura pro kritický provoz. Vícevrstvé transakční platformy: aplikační, výpočetní, reportovací a integrační vrstva a hranice mezi nimi. Registrační a řídicí systémy, kde je databáze zdrojem pravdy o závazcích reálného světa — o penězích, kapacitách, oprávněních.
- Procesy digitální od narození, na kryptografických základech. Žádné papírové workflow promítnuté na obrazovky: procesy navržené digitálně od prvního kroku, kde podpis, autorizace, přenos a archivace tvoří jeden matematicky chráněný řetězec. Doba vyřízení padá ze dnů na sekundy, každý krok zanechává ověřitelný důkaz a správnost procesu lze prokázat třetím stranám — veřejně, bez zpřístupnění podkladových dat.
- Návrh analytického účetnictví a hlavní knihy. Správa uživatelů, instrument, účet, produkt, transakce — objektový model peněz. Účtovací šablony, kontejnery zůstatků a zásob, logika loro/nostro, mapování na hlavní knihu. Pro banky, obchodníky s cennými papíry, penzijní fondy — i pro trhy, které se vypořádávají v megawatthodinách místo ve forintech.
- Specifikace, které přežijí kontakt s vývojem. Byznysové a funkční specifikace, logické návrhy systémů, případy užití, kontrakty rozhraní. Psané tak, aby se z nich dalo stavět — a přít se o ně dřív, než se utratí peníze.
- Audit a due diligence. Provozní a IT due diligence existujících systémů a dodavatelů — co tam doopravdy je, kolik stojí to udržet a kolik stojí odejít.
- Návrh výpočtů. Anuitní kalendáře s proměnlivými sazbami a splatnostmi, konvence počítání dnů a režimy zaokrouhlování, které přežijí rekonciliaci, alokační algoritmy pro kotaci a vypořádání.
- Disciplína dodávky. Kódovací standardy, code review, testovací pokrytí navázané na specifikaci, release management. Agilně tam, kde to pomáhá, písemně vždy.
Důkaz z praxe
Pro faktoringovou operaci jsme odvodili výpočet smlouvy z prvních principů — rekurenci přes proměnlivé měsíční sazby a splátky, která vyřeší libovolnou neznámou: splátku, sazbu, současnou hodnotu i splatnost. Tabulka, kterou byznys odsouhlasil, je tatáž matematika, kterou počítá engine.
02
Distribuované algoritmy a systémy
Korektnost ve velkém měřítku je vlastnost návrhu, ne výsledek zátěžového testu.
- Vysoce propustné zpracování transakcí. Platformy provozované se spolehlivostí šesti sigma nad databázemi terabajtové třídy; zamykání, žurnálování a idempotence jako prvořadé vlastnosti. Neo-core bankovní systém, který jsme navrhli a postavili, zaúčtuje 10–15 000 transakcí za sekundu na uzel a obslouží 100 000 klientských účtů na uzel — na 2 CPU a 4 GB RAM, ne na clusteru velikosti datového centra.
- Dvoufázový commit bez centrálního manažera. Náš vlastní protokol distribuovaných transakcí nepotřebuje centrální server transakčního manažera — a právě to dělá z lineárního škálování poctivou věc: přidejte uzel, získáte propustnost jednoho uzlu, žádný koordinátor, který by se zahltil.
- Distribuované registry bez jediného strážce pravdy. Architektury, v nichž si instituce vedou vlastní kryptograficky řetězené záznamy, provázané tak, že celek zůstává ověřitelný, aniž by kterýkoli účastník držel kompletní data. Včetně našeho návrhu decentralizované správy zásob — P&L spočitatelné bez účtování přes klientské účty.
- Stavové automaty pro peníze. Nabídky, smlouvy, převody, vypořádací běhy — modelované jako explicitní stavové automaty, navržené pro replay, rekonciliaci a audit.
- Pipeline řízené zprávami. NATS, Kafka, RabbitMQ; toky od příjmu po publikaci, kde výstupem je tržní událost — vyhodnocení tendru, optimalizace, publikace transparentnosti.
- Algoritmy pro to obtížné 1 %. Alokační a zaokrouhlovací schémata konzistentní i při souběhu; optimalizační modely pro nákup kapacit — včetně účelových funkcí příliš složitých na analytickou inverzi, řešených numericky; hraniční případy, které všichni ostatní odkládají.
Důkaz z praxe
Systém nákupu regulační energie, který jsme navrhli pro národního provozovatele přenosové soustavy, denně načítá nabídky z tendrů, sytí optimalizační engine a publikuje výsledky na evropskou platformu transparentnosti — pipeline, kde nevěrohodné číslo není překlep, ale incident.
03
Aplikovaná kryptografie
Patnáct let kryptografického inženýrství — protokoly, které navrhujeme, dokazujeme, publikujeme a provozujeme v produkci. Žádná teoretická kryptografie žijící v článcích: konstrukce, které projdou audity, unesou licence a vypořádají platby. V EU tohle od začátku do konce dělá možná jedna dvě skupiny. Jsme jednou z nich.
Proč účelová konstrukce poráží generické ZK
Generické zero-knowledge systémy jsou div světa — a obvykle špatný nástroj. Nesou s sebou trusted ceremonie, dlouhé doby generování důkazů a závislost, kterou nevyměníte. My místo toho navrhujeme účelové protokoly: důkazy tvarované přesně na tu byznysovou vlastnost, kterou je třeba prokázat. Výsledkem je rychlost (pod 100 ms tam, kde generické obvody potřebují sekundy), žádný trusted setup, který byste museli vysvětlovat auditorovi, a zaměnitelná kryptografická primitiva — když křivka nebo schéma zestárne, konstrukce přežije. Právě tím se kryptografie mění z nákladové položky v byznysovou výhodu.
- Prahová kryptografie. Distribuované generování a správa klíčů, při nichž kompletní privátní klíč nikdy neexistuje — nikde a v žádném okamžiku. Naše publikované schéma NPVDKGRS (neinteraktivní, veřejně ověřitelné DKG a přerozdělování podílů nad BLS12-381) dnes běží pod platformou s licencí MiCA a prošlo posouzením univerzitních kryptografů.
- Kryptografická autorizace. Náš vlastní oprávňovací protokol postavený na NPVDKGRS: přístupová práva jako kryptografická fakta, ne řádky v databázi. Kdo smí jednat, kdo jednal a kdy — prokazatelně; delegace bez předání klíče; práva odvolatelná okamžitě. Institucionální prahové podpisy, kde je rozhodnutí dohledatelné, ale jednotlivce nelze vystavit cílenému nátlaku.
- Prahové velení a řízení. Pravidlo dvou osob, zobecněno: libovolné schvalovací schéma k-z-n vynucené matematikou, nikoli procedurou — pečeť, která nikdy neexistuje vcelku, použitelná v sekundách, bez HSM a bez trusted ceremonie. Podepisování je jednozprávové (neinteraktivní), funguje tedy i po pomalých, degradovaných nebo jednosměrných spojích; podpisy mají konstantní velikost bez ohledu na počet zúčastněných stran. Když se držitel klíče změní — přeřazení, ztráta, podezření na kompromitaci — podíly se přerozdělí ve zlomcích sekundy a veřejná pečeť organizace zůstane beze změny.
- Prokazatelná integrita procesů. Zapečetěná podání, která žádný operátor neotevře předčasně — prokazatelně; řetězené procesní stopy, na nichž je každá manipulace vidět; compliance prokázaná třetím stranám důkazy typu zero-knowledge, bez vydání podkladových dat. Stavěno pro zadávání zakázek, tendry, dohled v utajovaném režimu a jakoukoli proceduru, kde „věřte nám“ už není přijatelná odpověď.
- Postkvantová připravenost. Práce na kvantově odolných algoritmech a návrh migrace na PQC s ohledem na unijní termín 2030 pro kritickou infrastrukturu: kryptografické inventury, hybridní přechodová schémata — a mřížková postkvantová varianta našeho vlastního prahového schématu, navržená a čekající na implementaci.
- Digitální hotovost, udělaná pořádně. Jsme autory protokolu Pactena — soukromé, okamžité platby fungující i offline, kde dvojí utracení matematicky prozradí podvodníka — a řešení Qashmore, platebního produktu na něm postaveného.
- Důkazové systémy dimenzované na míru problému. Selektivní zpřístupnění, commitmenty, akumulátory, konstrukce proof-of-reserves — lehké, účelové důkazy tam, kde je plný SNARK víc, než problém potřebuje.
- Revize protokolů. Druhý názor na kryptografické návrhy dřív, než se stanou závazkem — ceremonie klíčů, schémata úschovy, podpisové toky, cesty obnovy.
Důkaz z praxe
Trustless, ale pod dohledem: v našem schématu generování klíčů vytvoří a přerozdělí prahový klíč nezávislé strany, přičemž každý krok je veřejně ověřitelný — a když se držitel klíče změní, podíly se přerozdělí v sekundách, bez ceremonie a bez HSM. Vlastnost, kterou chce regulátor, dodaná jako matematika, ne jako směrnice.
Kde to běží
Finanční core systémy
Core banking, vypořádání cenných papírů, faktoring, účetnictví penzijních a investičních fondů. Dvě dekády účetních knih v produkci.
Energetika a komodity
Registrační, vypořádací a nákupní systémy pro energetické trhy — prověřené na elektřině (burzovní clearing, tendry TSO na regulační zálohy, evropská publikace transparentnosti), navržené tak, aby se stejnou disciplínou unesly plyn, ropu i další komodity.
Regulovaná digitální aktiva
Inženýrství platforem s licencí MiCA, tokenizace se skutečným analytickým účetnictvím v pozadí, provoz s ohledem na DORA.
Veřejný sektor a obrana
Kde je integrita procesu samotnou misí. Správa digitální od narození místo digitalizovaného papíru; velicí a oprávňovací řetězce vynucené matematikou k-z-n; zapečetěné procedury se stopami, na nichž je každá manipulace vidět; dohled uspokojený důkazy, ne předáním dat. Stavební bloky výše — prahová správa klíčů, kryptografická autorizace, prokazatelná integrita procesů — se přenášejí přímo; tatáž disciplína, která obstála před finančním dohledem, platí i pro procedury, kde je v sázce ještě víc. Mluvíme jazykem této domény: suverenita, žádné zahraniční černé skříňky, otevřené a nezávisle auditovatelné algoritmy.
Jak spolupráce začíná
- 01Rozhovorem. Vy popíšete systém, my klademe nepříjemné otázky hned na začátku.
- 02Písemným zadáním. Krátkým, naceněným, poctivým k neznámým.
- 03Prací před vašima očima. Specifikace, rozhodnutí i postup máte po celou dobu na očích.