iLocking Kft. — inżynieria systemów krytycznych
Systemy, które nie mają prawa zawieść.
Poprawność w każdej skali.
W tym miejscu spotykają się trzy dyscypliny. Biznes — dwadzieścia lat wewnątrz bankowości, rozliczeń i rynków energii — tam nauczyliśmy się, ile proces jest naprawdę wart. Kryptografia — piętnaście lat projektowania protokołów, aż po schematy własnego autorstwa. Inżynieria — systemy rozproszone, które skalują się liniowo i pracują dziesięciolecia. Większość firm oferuje jedną z tych trzech. Systemy krytyczne wymagają wszystkich — w jednym pokoju, przy jednym stole.
- 25 lat
- istnienia firmy
- 20 lat
- budowy oprogramowania krytycznego
- 15 lat
- inżynierii kryptograficznej
- 1.
- platforma core banking oparta na blockchainie, stojąca za licencjonowaną w UE instytucją pieniądza elektronicznego
- 1.
- licencja MiCA w państwie UE — z naszą inżynierią pod spodem
Czym się zajmujemy
Architektura i wdrożenia systemów krytycznych
Od czystej kartki do produkcji: specyfikacje, na których bank może budować, architektury czytelne dla regulatora, wdrożenia doprowadzone do końca. Księgowość analityczna, silniki rozliczeniowe, platformy back-office.
Architektura i wdrożenia 02Algorytmy i systemy rozproszone
Konsensus, replikacja, maszyny stanów, potoki sterowane komunikatami. Wysokowydajne systemy transakcyjne projektowane z myślą o odtwarzaniu, audycie i złym dniu — nie tylko o pokazie.
Systemy rozproszone 03Kryptografia stosowana
Piętnaście lat praktyki: podpisy progowe, publicznie weryfikowalne generowanie kluczy, ścieżki migracji do kryptografii odpornej kwantowo, systemy dowodowe dobrane do skali problemu. Dowodliwe, poddające się przeglądowi, celowo nudne — a część opublikowana jako nasze własne protokoły.
Kryptografia stosowanaGdzie to działa
Finansowe systemy centralne
Core banking, rozrachunek papierów wartościowych, faktoring, księgowość funduszy emerytalnych. Warstwa prawdy finansów: księgi analityczne i księga główna pod nimi.
Energetyka i surowce
Systemy rejestrowe, rozliczeniowe i zakupowe dla rynków energii. Sprawdzone na rynku energii elektrycznej — clearing giełdowy, przetargi na moce bilansujące, publikacja na europejskiej platformie przejrzystości — i zaprojektowane tak, by z tą samą dyscypliną unieść gaz, ropę i inne surowce.
Regulowane aktywa cyfrowe
Web3 bez szumu: platformy z licencją MiCA, tokenizacja z prawdziwą księgą za każdym saldem, operacje projektowane z myślą o DORA.
Sektor publiczny i obronność
Tam, gdzie integralność procesu jest istotą misji: zapieczętowane procedury, których żaden operator nie otworzy przed czasem, łańcuchy dowodzenia i uprawnień egzekwowane matematyką, zgodność dowodliwa wobec podmiotów zewnętrznych — bez wydawania danych. Ten rygor istnieje już dziś; tu znajdzie kolejne zastosowanie.
Dowody — po jednym zdaniu każdy
- 01
Platforma core banking zaprojektowana od czystej kartki dla jednej z największych grup bankowych Europy Środkowej — od zarządzania użytkownikami po księgę główną.
- 02
Specyfikacja clearingu i rozliczeń dla krajowej giełdy energii; optymalizacja przetargów na energię bilansującą dla krajowego operatora systemu przesyłowego, z publikacją na europejskiej platformie przejrzystości.
- 03
Silnik umów i kalkulacji dla spółki faktoringowej, wyprowadzony od podstaw — zmienne stopy, zmienne raty, rozwiązywany względem dowolnej niewiadomej.
- 04
Zaprojektowany i zbudowany przez nas system neo-core banking nowej generacji z prowadzeniem rachunków: księga główna online, silnie rozproszony, liniowo skalowalny — przeciętny węzeł na 2 CPU i 4 GB RAM księguje 10–15 tys. transakcji na sekundę i obsługuje 100 000 rachunków klientów. Działa dziś pod pierwszą licencją MiCA jednego z państw członkowskich UE.
- 05
Opublikowane, otwarte badania: NPVDKGRS — nieinteraktywne, publicznie weryfikowalne rozproszone generowanie kluczy nad BLS12-381; wariant postkwantowy zaprojektowany. — NPVDKGRS
- 06
Nasze protokoły w praktyce: Pactena Protocol i Qashmore — prywatna, działająca offline gotówka cyfrowa, w której oszustwo ujawnia się samo. — Pactena Protocol · Qashmore
Nudne — w najlepszym tego słowa znaczeniu.
Systemy krytyczne powinny być nudne: deterministyczne, audytowalne, uzgodnione co do grosza i co do megawatogodziny. Pierwszą dekadę spędziliśmy, doprowadzając do tego klasyczne finanse — prowadzenie rachunków, rozrachunek papierów wartościowych, księgowość funduszy emerytalnych, rynki energii. Ostatnią — dowodząc, że ta sama dyscyplina obowiązuje w nowym świecie: system neo-core banking z księgą główną online, rozproszony i liniowo skalowalny; progowe zarządzanie kluczami, w którym kompletny klucz prywatny nigdy nie istnieje; powiernictwo aktywów cyfrowych, które przeszło kontrolę licencyjną MiCA. Nowa technologia jest tu mile widziana — gdy przejdzie ten sam audyt co stara.
Prawdziwa cyfryzacja jeszcze się nie zaczęła.
To, co dziś uchodzi za cyfryzację, to procesy papierowe rzucone na ekrany — te same obiegówki, to samo czekanie, tyle że ze stroną logowania. Cyfrowe wyspy pozszywane e-mailami. My budujemy procesy cyfrowe z urodzenia: podpis, autoryzacja, przekazanie i archiwum tworzą jeden matematycznie chroniony łańcuch. Czas obsługi spada z dni do sekund, każdy krok zostawia dowód — a dowód działa w obie strony:
Manifest
Dane zostają. Wędruje dowód.
Wrażliwe dane nigdy nie opuszczają swojego właściciela. W drogę rusza dowód — że transakcja się odbyła, termin został dotrzymany, reguły zachowane — weryfikowalny przez każdego, nieujawniający niczego. Systemy audytowalne bez otwierania koperty.
Nasz test na „system krytyczny”
O sposobie budowy rozstrzygają trzy pytania:
- 01
Jeśli stanie — kto to zauważy i jak szybko?
- 02
Jeśli się pomyli — kto zapłaci i ile?
- 03
Jeśli przyjdzie audyt — co pokaże ślad?
Jeżeli te odpowiedzi budzą niepokój, warto porozmawiać.