Usługi
Trzy kompetencje, jedna dyscyplina.
Wszystko poniżej powstaje według tego samego testu: jeśli stanie — kto to zauważy; jeśli się pomyli — kto zapłaci; jeśli przyjdzie audyt — co pokaże ślad.
01
Architektura i wdrożenia systemów krytycznych
O systemie rozstrzyga się na długo przed pierwszą linią kodu. My te decyzje zapisujemy — a potem doprowadzamy je do produkcji.
- Architektura systemów dla operacji krytycznych. Wielowarstwowe platformy transakcyjne: warstwy aplikacyjna, obliczeniowa, raportowa i interfejsowa oraz granice między nimi. Systemy rejestrowe i sterujące, w których baza danych jest źródłem prawdy o zobowiązaniach realnego świata — pieniądzach, mocach, uprawnieniach.
- Procesy cyfrowe z urodzenia, na fundamentach kryptograficznych. Nie papierowe obiegi rzucone na ekrany: procesy projektowane cyfrowo od pierwszego kroku, w których podpis, autoryzacja, przekazanie i archiwizacja tworzą jeden matematycznie chroniony łańcuch. Czas obsługi spada z dni do sekund, każdy krok zostawia weryfikowalny dowód, a poprawność procesu można wykazać podmiotom zewnętrznym — publicznie, bez ujawniania danych źródłowych.
- Projektowanie księgowości analitycznej i księgi głównej. Zarządzanie użytkownikami, instrument, rachunek, produkt, transakcja — model obiektowy pieniądza. Szablony księgowań, kontenery sald i stanów, logika loro/nostro, mapowanie na księgę główną. Dla banków, firm inwestycyjnych, funduszy emerytalnych — i dla rynków, które rozliczają się w megawatogodzinach zamiast w forintach.
- Specyfikacje, które przetrwają zderzenie z realizacją. Specyfikacje biznesowe i funkcjonalne, logiczne projekty systemów, przypadki użycia, kontrakty interfejsów. Pisane tak, by dało się z nich budować — i spierać o nie, zanim pieniądze zostaną wydane.
- Audyt i due diligence. Operacyjne i informatyczne due diligence istniejących systemów i dostawców — co naprawdę tam jest, ile kosztuje utrzymanie, ile kosztuje wyjście.
- Projektowanie kalkulacji. Harmonogramy annuitetowe ze zmiennymi stopami i okresami, konwencje liczenia dni i zaokrągleń, które przetrwają uzgodnienie, algorytmy alokacji dla kwotowań i rozliczeń.
- Dyscyplina wdrożeniowa. Standardy kodowania, code review, pokrycie testami powiązane ze specyfikacją, zarządzanie wydaniami. Agile tam, gdzie pomaga; na piśmie — zawsze.
Dowód w praktyce
Dla spółki faktoringowej wyprowadziliśmy kalkulację umowy od podstaw — rekurencję po zmiennych miesięcznych stopach i ratach, rozwiązywaną względem dowolnej niewiadomej: raty, stopy, wartości bieżącej lub okresu. Arkusz, który zatwierdził biznes, to ta sama matematyka, którą wykonuje silnik.
02
Algorytmy i systemy rozproszone
Poprawność w każdej skali to właściwość projektu, nie wynik testu obciążeniowego.
- Wysokowydajne przetwarzanie transakcji. Platformy prowadzone w reżimie Six Sigma na bazach danych klasy terabajtowej; blokady, journaling i idempotencja traktowane jako funkcje pierwszej kategorii. Zaprojektowany i zbudowany przez nas system neo-core banking księguje 10–15 tys. transakcji na sekundę na węzeł i obsługuje 100 000 rachunków klientów na węzeł — na 2 CPU i 4 GB RAM, a nie na klastrze wielkości centrum danych.
- Two-phase commit bez centralnego koordynatora. Nasz własny protokół transakcji rozproszonych nie potrzebuje centralnego serwera zarządzającego transakcjami — i właśnie to czyni liniowe skalowanie uczciwym: dodany węzeł to przepustowość całego węzła, bez koordynatora, którego można nasycić.
- Rejestry rozproszone bez jednego strażnika prawdy. Architektury, w których instytucje prowadzą własne, kryptograficznie łańcuchowane rejestry, powiązane tak, że całość pozostaje weryfikowalna, choć żaden uczestnik nie posiada pełnego zbioru danych. W tym nasz projekt zdecentralizowanej ewidencji stanów — z wynikiem (P&L) obliczalnym bez księgowania przez rachunki klientów.
- Maszyny stanów dla pieniędzy. Oferty, umowy, przelewy, sesje rozliczeniowe — modelowane jako jawne maszyny stanów, projektowane pod odtwarzanie, uzgadnianie i audyt.
- Potoki sterowane komunikatami. NATS, Kafka, RabbitMQ; przepływy od pobrania danych do publikacji, w których wynikiem jest zdarzenie rynkowe — ocena przetargu, optymalizacja, publikacja przejrzystości.
- Algorytmy dla trudnego 1%. Schematy alokacji i zaokrągleń spójne przy współbieżności; modele optymalizacyjne dla zakupów mocy — w tym funkcje celu zbyt złożone, by je odwrócić, rozwiązywane numerycznie; przypadki brzegowe, które wszyscy inni odkładają na później.
Dowód w praktyce
Zaprojektowany przez nas system zakupu energii bilansującej dla krajowego operatora systemu przesyłowego pobiera dzienne oferty przetargowe, zasila silnik optymalizacyjny i publikuje wyniki na europejskiej platformie przejrzystości — potok, w którym nieprawdopodobna liczba nie jest literówką, lecz incydentem.
03
Kryptografia stosowana
Piętnaście lat inżynierii kryptograficznej — protokoły, które projektujemy, dowodzimy, publikujemy i utrzymujemy w produkcji. Nie kryptografia teoretyczna żyjąca w artykułach: konstrukcje, które przechodzą audyty, dźwigają licencje i rozliczają płatności. W UE od początku do końca robią to może jeden–dwa zespoły. Jesteśmy jednym z nich.
Dlaczego dowody szyte na miarę wygrywają z generycznym ZK
Generyczne systemy wiedzy zerowej to cud techniki — i zwykle niewłaściwe narzędzie. Niosą ze sobą ceremonie trusted setup, długie czasy dowodzenia i zależność, której nie da się wymienić. My projektujemy protokoły dedykowane: dowody skrojone dokładnie pod tę własność biznesową, którą trzeba wykazać. Wynik to szybkość (poniżej 100 ms tam, gdzie generyczne obwody potrzebują sekund), brak trusted setup do tłumaczenia audytorowi i wymienne prymitywy kryptograficzne — gdy krzywa lub schemat się zestarzeje, konstrukcja przetrwa. To właśnie zamienia kryptografię z pozycji kosztowej w przewagę biznesową.
- Kryptografia progowa. Rozproszone generowanie i zarządzanie kluczami, w którym kompletny klucz prywatny nie istnieje nigdy i nigdzie. Nasz opublikowany schemat NPVDKGRS (nieinteraktywne, publicznie weryfikowalne DKG i redystrybucja udziałów nad BLS12-381) pracuje dziś pod platformą z licencją MiCA i przeszedł przegląd kryptografów uniwersyteckich.
- Autoryzacja kryptograficzna. Nasz własny protokół uprawnień zbudowany na NPVDKGRS: prawa dostępu jako fakty kryptograficzne, a nie wiersze w bazie danych. Kto może działać, kto działał i kiedy — dowodliwie; delegowanie bez przekazywania klucza; uprawnienia odwoływalne natychmiast. Instytucjonalne podpisy progowe, w których decyzja jest rozliczalna, a osoby nie są wystawione na naciski.
- Progowe dowodzenie i kontrola. Zasada dwóch osób w uogólnieniu: dowolny schemat zatwierdzeń k-z-n egzekwowany matematyką, a nie procedurą — pieczęć, która nigdy nie istnieje w całości, gotowa do użycia w sekundy, bez HSM i bez zaufanej ceremonii. Podpisywanie jest jednokomunikatowe (nieinteraktywne), działa więc po łączach wolnych, zdegradowanych lub jednokierunkowych; podpis ma stały rozmiar niezależnie od liczby uczestników. Gdy zmienia się posiadacz klucza — przeniesienie, utrata, podejrzenie kompromitacji — udziały są rozdzielane na nowo w ułamkach sekundy, a publiczna pieczęć organizacji pozostaje bez zmian.
- Dowodliwa integralność procesu. Zapieczętowane zgłoszenia, których żaden operator nie otworzy przed czasem — dowodliwie; łańcuchowane ślady proceduralne ujawniające każdą manipulację; zgodność wykazywana podmiotom zewnętrznym dowodami w stylu wiedzy zerowej, bez wydawania danych źródłowych. Budowane dla zamówień publicznych, przetargów, nadzoru w kontekstach niejawnych i każdej procedury, w której „proszę nam zaufać” przestało być akceptowalną odpowiedzią.
- Gotowość postkwantowa. Prace nad algorytmami odpornymi kwantowo i projektowanie migracji PQC wobec unijnego terminu 2030 dla infrastruktury krytycznej: inwentaryzacje kryptograficzne, hybrydowe schematy przejściowe — oraz oparty na kratach postkwantowy wariant naszego własnego schematu progowego, zaprojektowany i oczekujący na implementację.
- Gotówka cyfrowa, zrobiona porządnie. Jesteśmy autorami Pactena Protocol — prywatnych, działających offline, natychmiastowych płatności, w których podwójne wydanie tych samych środków matematycznie ujawnia oszusta — oraz Qashmore, zbudowanego na nim rozwiązania płatniczego.
- Systemy dowodowe dobrane do problemu. Selektywne ujawnianie, zobowiązania kryptograficzne, akumulatory, konstrukcje proof-of-reserves — lekkie, dedykowane dowody tam, gdzie pełny SNARK to więcej, niż problem wymaga.
- Przegląd protokołów. Druga opinia o projektach kryptograficznych, zanim staną się zobowiązaniami — ceremonie kluczy, schematy powiernictwa, przepływy podpisywania, ścieżki odzyskiwania.
Dowód w praktyce
Bez zaufania, ale pod nadzorem: w naszym schemacie generowania kluczy niezależne strony tworzą i redystrybuują klucz progowy, a każdy krok jest publicznie weryfikowalny — gdy zmienia się posiadacz klucza, udziały są rozdzielane na nowo w sekundy, bez ceremonii i bez HSM. Własność, na której zależy regulatorowi, dostarczona jako matematyka, a nie jako polityka wewnętrzna.
Gdzie to działa
Finansowe systemy centralne
Core banking, rozrachunek papierów wartościowych, faktoring, księgowość funduszy emerytalnych i inwestycyjnych. Dwie dekady ksiąg w produkcji.
Energetyka i surowce
Systemy rejestrowe, rozliczeniowe i zakupowe dla rynków energii — sprawdzone na rynku energii elektrycznej (clearing giełdowy, przetargi bilansujące OSP, publikacja na europejskiej platformie przejrzystości), zaprojektowane tak, by z tą samą dyscypliną unieść gaz, ropę i inne surowce.
Regulowane aktywa cyfrowe
Inżynieria platform z licencją MiCA, tokenizacja z prawdziwą księgowością analityczną pod spodem, operacje projektowane z myślą o DORA.
Sektor publiczny i obronność
Tam, gdzie integralność procesu jest istotą misji. Administracja cyfrowa z urodzenia zamiast zdigitalizowanego papieru; łańcuchy dowodzenia i uprawnień egzekwowane matematyką k-z-n; zapieczętowane procedury ze śladami ujawniającymi manipulację; wymogi nadzoru spełniane dowodami, a nie wydawaniem danych. Powyższe elementy — progowe zarządzanie kluczami, autoryzacja kryptograficzna, dowodliwa integralność procesu — przenoszą się wprost; ta sama dyscyplina, która przeszła kontrolę nadzoru finansowego, znajduje zastosowanie także w procedurach o jeszcze wyższej stawce. Mówimy językiem tej domeny: suwerenność, żadnych zagranicznych czarnych skrzynek, algorytmy otwarte i niezależnie audytowalne.
Jak zaczyna się współpraca
- 01Rozmowa. Państwo opisują system, my wcześnie zadajemy niewygodne pytania.
- 02Pisemny zakres. Krótki, wyceniony, uczciwy wobec niewiadomych.
- 03Praca przy otwartych kartach. Specyfikacje, decyzje i postępy widoczne dla Państwa przez cały czas.