Wybrane realizacje

Dwie dekady systemów, które nie mają prawa zawieść.

Opisane bez nazw klientów. Systemy naszych klientów to ich sprawa; inżynieria to nasza opowieść. Sektory i skala są zgodne z prawdą; tożsamości celowo pominięto. Nasze własne badania i protokoły wymieniamy z nazwy, bo należą do nas.

Finansowe systemy centralne

Core banking od czystej kartki

Sektor
Jedna z największych grup bankowych Europy Środkowej
Rola
Specyfikacja, architektura, kierowanie wdrożeniem rdzenia analitycznego

Platforma core banking budowana od zera: zarządzanie użytkownikami i modele instrumentów, silniki produktowe, kontenery rachunków i sald, przetwarzanie transakcji i mapowanie na księgę główną pod tym wszystkim. Wyspecyfikowaliśmy i zaprojektowaliśmy rdzeń księgowości analitycznej — miejsce, w którym każdy ruch pieniądza staje się księgowaniem — a na nim zbudowaliśmy aplikację klienta i jej API. Program wieloletni, standardy naszego autorstwa, od UML po code review.

user management · instrument · account · transaction · GL

Back-office papierów wartościowych, dwie dekady w produkcji

Sektor
Banki i firmy inwestycyjne
Rola
Rozwój, kierowanie projektowaniem, następnie architektura platformy

Rozrachunek i prowadzenie rachunków papierów wartościowych: alokacje, obsługa zleceń, przetwarzanie wyciągów bankowych, zdarzenia korporacyjne, księgowość powiernicza. Ewidencja pozycji i stanów z wyceną i P&L — w tym projekt zdecentralizowanej ewidencji, w którym P&L jest obliczalny bez księgowania przez rachunki klientów. Systemy w codziennej produkcji w wielu instytucjach, szlifowane wydanie po wydaniu przez ponad dekadę — oprogramowanie, które przeżywa stacje robocze, z których je instalowano.

allocation · settlement · custody · inventory · valuation · P&L

Faktoring: kalkulacja, której nikt nie śmiał dotknąć

Sektor
Spółka faktoringowa
Rola
Projekt silnika umów i kalkulacji w ramach wewnętrznej modernizacji systemów

Moduł, w którym wycenia się umowy: rekurencja o zmiennej stopie i zmiennej racie, rozwiązywana względem tej wielkości, której akurat potrzebują negocjacje — raty, stopy, dyskonta lub okresu. Wyprowadzona od podstaw, prototypowana w MATLAB, zweryfikowana na własnych przykładach liczbowych biznesu i zatwierdzona przez ludzi, którzy wyceniają umowy zawodowo.

P₁ = P₀(1+r₁) − c₁ · annuity · iteration

Fundusze emerytalne i księgowość funduszy

Sektor
Fundusze emerytalne, firmy inwestycyjne
Rola
Projektowanie i rozwój systemów księgi analitycznej i księgi głównej

Mało efektowne serce długoterminowych oszczędności: rejestry jednostek, księgowość analityczna, integracja z księgą główną, wycena i uzgadnianie. Dekady sald członkowskich, które muszą zgadzać się co do ostatniego forinta.

unit register · valuation · GL

Due diligence operacyjne, bankowość MŚP

Sektor
Pion MŚP wiodącego banku komercyjnego
Rola
Due diligence operacyjne i informatyczne

Uporządkowane spojrzenie pod maskę operacji obsługujących MŚP: procesy, systemy, luki i koszt ich naprawy. Produktem końcowym była jasność.

process · systems · findings

Ryzyko modeli w skali globalnej

Sektor
Globalny bank inwestycyjny
Rola
Rozwój oprogramowania do zarządzania ryzykiem modeli

Wewnątrz dużej organizacji inżynierskiej: budowa narzędzi, które pilnują modeli pilnujących pieniędzy. Praca full-stack w stosie technologicznym skoncentrowanym na języku Python, agile w dużej skali, z obowiązkami audytowymi instytucji o znaczeniu systemowym.

model risk · Python · controls

Fraktalna analityka rynków

Sektor
Przedsięwzięcie z zakresu analityki ilościowej
Rola
Projekt i budowa platformy analiz i predykcji

Platforma badawcza stosująca matematykę opartą na geometrii fraktalnej do danych świecowych — wykrywanie struktur i predykcja, zbudowane jako produkt, a nie jako notatnik.

fractal geometry · time series · prediction

Energetyka i surowce

Rozliczenia giełdy energii

Sektor
Krajowa giełda energii elektrycznej
Rola
Specyfikacja i projekt systemu clearingu i rozliczeń

System źródłowy pieniężnej strony rynku energii elektrycznej: pozycje, ceny, sesje rozliczeniowe, zabezpieczenia. Bankowa dyscyplina księgowa zastosowana do megawatogodzin — ten sam rygor, który wnosimy do każdego towaru rozliczanego przez rejestr.

clearing · settlement · collateral

Energia bilansująca, zoptymalizowana

Sektor
Krajowy operator systemu przesyłowego energii elektrycznej
Rola
Logiczny projekt systemu; potok oceny przetargów i optymalizacji

Informatyczne wsparcie zakupu usług systemowych: dzienne przetargi na moce bilansujące pobierane i oceniane przez silnik optymalizacyjny oparty na MATLAB — funkcja celu była zbyt złożona, by odwrócić ją analitycznie, więc jest rozwiązywana numerycznie — z wynikami publikowanymi do systemów operatora i na europejską platformę przejrzystości. Obiegi przekazywania mocy z kontrolami wiarygodności, bo na tym rynku nieprawdopodobna liczba nie jest literówką, lecz incydentem.

tender · MATLAB optimization · ENTSO-E publishing

Regulowane aktywa cyfrowe

Platforma aktywów cyfrowych z licencją MiCA

Sektor
Europejski dostawca usług w zakresie aktywów cyfrowych
Rola
Projekt i budowa platformy oraz systemu rachunków na niej

System neo-core banking nowej generacji z prowadzeniem rachunków i księgą główną online — silnie rozproszony i 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. Na tym: powiernictwo aktywów cyfrowych z prawdziwą księgowością analityczną za każdym saldem oraz progowe zarządzanie kluczami oparte na naszym opublikowanym schemacie. Platforma przeszła kontrolę, która kończy się licencją MiCA — pierwszą w kraju dla jej regulatora, publicznie odnotowaną przez nadzorujący bank centralny.

neo-core · online GL · 10–15k tx/s per node · MiCA · custody

Infrastruktura lojalnościowa i pieniądza elektronicznego

Sektor
Programy lojalnościowe / e-płatności detaliczne (w kontekście unijnego programu badawczego)
Rola
Koncepcja, zakres biznesowy i projekt platformy

Ujednolicona infrastruktura back-endowa dla cyfrowych programów lojalnościowych i drobnych e-płatności: jedno miejsce na punkty, kupony, karty podarunkowe i rachunek pieniądza elektronicznego, z inicjowaniem transakcji — a nie tylko wyświetlaniem salda. Logika rachunków obsługująca rachunki powiązane w ramach gospodarstwa domowego. Projektowana według standardów płatniczych ISO i wymagań bezpieczeństwa danych organizacji kartowych.

loyalty · e-money accounts · ISO

Nasze badania i protokoły

Te są nasze — więc mają nazwy.

NPVDKGRS — weryfikowalne ceremonie kluczy

Sektor
Otwarte badania, stosowane w produkcji
Rola
Projekt i implementacja

Nieinteraktywny, publicznie weryfikowalny schemat rozproszonego generowania i redystrybucji kluczy nad BLS12-381: niezależne strony tworzą klucz progowy, każdy może zweryfikować każdy krok, bez rund interaktywnych — a kompletny klucz prywatny nie istnieje nigdzie. Przejrzany przez kryptografów uniwersyteckich, opublikowany jako open source, pracujący dziś pod platformą z licencją MiCA. Gdy zmienia się posiadacz klucza, udziały są rozdzielane na nowo w sekundy — bez ceremonii, bez HSM. Oparty na kratach wariant postkwantowy jest zaprojektowany i oczekuje na implementację.

BLS12-381 · threshold signatures · DKG · resharing · PQ variant designed

Protokół autoryzacji kryptograficznej

Sektor
Nasz protokół, zbudowany na NPVDKGRS
Rola
Projekt i implementacja

Uprawnienia jako fakty kryptograficzne, a nie wiersze w bazie danych: kto może działać, kto działał i kiedy — dowodliwie wobec uprawnionego kontrolującego. Instytucjonalne podpisy progowe czynią decyzje rozliczalnymi, a zarazem chronią stojące za nimi osoby przed ukierunkowanym naciskiem. Zaprojektowany dla procedur, których integralność trzeba wykazać na zewnątrz — zapieczętowane zgłoszenia dowodliwie nieotwarte, łańcuchowane ślady ujawniające manipulację, zgodność wykazywana dowodami w stylu wiedzy zerowej bez wydawania danych.

entitlements · threshold signing · provable process integrity

Rozproszony protokół transakcji dwufazowych

Sektor
Nasz protokół dla liniowo skalowalnych systemów transakcyjnych
Rola
Projekt i implementacja

Two-phase commit bez centralnego serwera zarządzającego transakcjami. Usunięcie koordynatora usuwa wąskie gardło i pojedynczy punkt awarii — i to właśnie czyni liniowe skalowanie uczciwym: dodany węzeł to przepustowość całego węzła. Protokół stanowi fundament przetwarzania transakcji, które budujemy dla obciążeń związanych z prowadzeniem rachunków.

2PC without coordinator · linear scaling · no SPOF

Pactena Protocol i Qashmore — gotówka cyfrowa, zrobiona porządnie

Sektor
Nasz protokół i zbudowane na nim rozwiązanie płatnicze
Rola
Projekt i implementacja

Prywatne, działające offline, natychmiastowe płatności — z tą własnością, że wydanie tych samych pieniędzy dwa razy matematycznie ujawnia oszusta. Dedykowane dowody w stylu wiedzy zerowej dają weryfikację poniżej 100 ms bez generycznych obwodów dowodowych. Pactena to protokół; Qashmore to produkt: gotówka cyfrowa — i nie tylko.

private · offline-capable · instant · self-revealing fraud

Jeśli Państwa system powinien znaleźć się na tej stronie — albo nie może pojawić się na żadnej — porozmawiajmy.

Porozmawiajmy