Szolgáltatások
Három képesség, egy fegyelem.
Minden, ami alább áll, ugyanarra a tesztre épül: ha leáll, ki veszi észre; ha hibázik, ki fizet; ha auditálják, mit mutat a nyomvonal.
01
Küldetéskritikus architektúra és megvalósítás
Egy rendszer sorsa jóval az első kódsor előtt eldől. Mi leírjuk a döntéseket — aztán elvisszük őket az éles üzemig.
- Rendszerarchitektúra kritikus üzemre. Többrétegű tranzakciós platformok: alkalmazási, számítási, riporting- és interfészréteg — és a köztük húzódó határok. Nyilvántartó és irányító rendszerek, amelyekben az adatbázis valós kötelezettségek — pénz, kapacitás, jogosultság — hiteles forrása.
- Születetten digitális folyamatok, kriptográfiai alapokon. Nem képernyőre vetített papír-munkafolyamatok: az első lépéstől digitálisra tervezett folyamatok, amelyekben aláírás, jóváhagyás, továbbítás és archiválás egyetlen, matematikailag védett láncot alkot. Az átfutás napokról másodpercekre csökken, minden lépés ellenőrizhető nyomot hagy, és a folyamat helyessége külső felek előtt is igazolható — nyilvánosan, a mögöttes adatok felfedése nélkül.
- Analitikus könyvelés és főkönyvtervezés. Felhasználókezelés, instrumentum, számla, termék, tranzakció — a pénz objektummodellje. Könyvelési sablonok, egyenleg- és készletkonténerek, loro/nostro logika, főkönyvi leképezés. Bankoknak, befektetési szolgáltatóknak, pénztáraknak — és azoknak a piacoknak, amelyek nem forintban, hanem megawattórában számolnak el.
- Specifikációk, amelyek túlélik a találkozást a fejlesztéssel. Üzleti és funkcionális specifikációk, logikai rendszertervek, használati esetek, interfészszerződések. Azért íródnak, hogy építeni lehessen belőlük — és hogy még a pénz elköltése előtt lehessen vitatkozni rajtuk.
- Audit és átvilágítás. Meglévő rendszerek és szállítók működési és IT-átvilágítása — mi van ott valójában, mibe kerül megtartani, és mibe kerül elhagyni.
- Kalkulációtervezés. Annuitásos ütemezések változó kamattal és futamidővel; kamatnapszámítási és kerekítési rezsimek, amelyek kiállják az egyeztetést; allokációs algoritmusok árképzéshez.
- Szállítási fegyelem. Kódolási szabványok, kódátvizsgálás, a specifikációhoz kötött tesztlefedettség, kiadáskezelés. Agilisen, ahol segít — írásban mindig.
Bizonyíték
Egy faktoringcégnek első elvekből vezettük le a szerződéskalkulációt — változó havi kamatokra és törlesztőrészletekre felírt rekurziót, amely bármely ismeretlenre megoldható: törlesztőrészletre, kamatra, jelenértékre vagy futamidőre. A táblázat, amelyet az üzleti oldal jóváhagyott, ugyanaz a matematika, amelyet a motor futtat.
02
Elosztott algoritmusok és rendszerek
A nagy léptékű helyesség tervezési tulajdonság, nem terheléses teszt eredménye.
- Nagy áteresztőképességű tranzakciófeldolgozás. Hat szigma szinten üzemeltetett platformok terabájtos adatbázisok felett; zárolás, naplózás és idempotencia elsőrangú funkcióként kezelve. Az általunk tervezett és épített neo-core banking rendszer csomópontonként másodpercenként 10–15 000 tranzakciót könyvel, és 100 000 ügyfélszámlát szolgál ki — 2 CPU-n és 4 GB RAM-on, nem egy adatközpontnyi klaszteren.
- Kétfázisú commit központi menedzser nélkül. Saját elosztott tranzakciós protokollunknak nincs szüksége központi tranzakciókezelő szerverre — és pontosan ettől lesz őszinte a lineáris skálázás: új csomópont, egy csomópontnyi többlet-áteresztőképesség, és nincs koordinátor, amely telítődhetne.
- Elosztott nyilvántartások egyetlen központi igazságőrző nélkül. Architektúrák, amelyekben az intézmények saját, kriptográfiailag láncolt nyilvántartásaikat vezetik, egymáshoz úgy kapcsolva, hogy az egész ellenőrizhető maradjon anélkül, hogy bármelyik résztvevő a teljes adathalmazt birtokolná. Ide tartozik decentralizált készletnyilvántartási megoldásunk is — az eredmény ügyfélszámlákon való átkönyvelés nélkül számítható.
- Állapotgépek a pénznek. Ajánlatok, szerződések, átutalások, elszámolási futások — explicit állapotgépként modellezve, visszajátszásra, egyeztetésre és auditra tervezve.
- Üzenetvezérelt feldolgozósorok. NATS, Kafka, RabbitMQ; a beérkezéstől a publikálásig tartó folyamatok, ahol a kimenet piaci esemény — tenderértékelés, optimalizálás, transzparenciapublikáció.
- Algoritmusok a nehéz 1%-ra. Allokációs és kerekítési sémák, amelyek párhuzamos terhelés alatt is konzisztensek maradnak; optimalizálási modellek kapacitásbeszerzéshez — analitikusan invertálhatatlanul bonyolult célfüggvényekkel, numerikusan megoldva; és azok a peremhelyzetek, amelyeket mindenki más elhalaszt.
Bizonyíték
A szabályozási energia beszerzésére egy országos átviteli rendszerirányítónak tervezett rendszerünk naponta fogadja a tenderajánlatokat, optimalizáló motort táplál, és az eredményeket az európai transzparenciaplatformra publikálja — olyan folyamat, amelyben egy életszerűtlen szám nem elütés, hanem incidens.
03
Alkalmazott kriptográfia
Tizenöt év kriptográfiai mérnöki munka — protokollok, amelyeket mi tervezünk, bizonyítunk, publikálunk és üzemeltetünk. Nem papíron élő elméleti kriptográfia: konstrukciók, amelyek auditokon mennek át, engedélyeket hordoznak és fizetéseket számolnak el. Az EU-ban talán egy-két csapat csinálja ezt elejétől a végéig. Mi köztük vagyunk.
Miért jobb a célra tervezett protokoll a generikus ZK-nál
A generikus zero-knowledge rendszerek lenyűgözőek — és többnyire rossz eszközök. Bizalmi ceremóniákat, nehézkes bizonyításgenerálást és lecserélhetetlen függőséget hoznak magukkal. Mi ehelyett célra tervezett protokollokat készítünk: a bizonyítást pontosan arra az üzleti tulajdonságra szabjuk, amelyet igazolni kell. Az eredmény sebesség (100 ms alatt, ahol a generikus áramkörök másodpercekig futnak), nincs trusted setup, amelyet egy auditornak magyarázni kellene, és cserélhetők a kriptográfiai primitívek — ha egy görbe vagy séma elöregszik, a konstrukció túléli. Ez teszi a kriptográfiát költségsorból üzleti előnnyé.
- Küszöbkriptográfia. Elosztott kulcsgenerálás és -kezelés, amelyben a teljes privát kulcs soha nem létezik — sehol, egyetlen pillanatra sem. Publikált NPVDKGRS sémánk (nem interaktív, nyilvánosan ellenőrizhető DKG és újramegosztás BLS12-381 felett) ma egy MiCA-engedélyes platform alatt üzemel, és egyetemi kriptográfusok is átvizsgálták.
- Kriptográfiai jogosultságkezelés. Saját, NPVDKGRS-re épülő jogosultsági protokollunk: a hozzáférési jog kriptográfiai tény, nem adatbázissor. Ki cselekedhet, ki cselekedett és mikor — bizonyíthatóan; delegálás a kulcs átadása nélkül; azonnal visszavonható jogok. Intézményi küszöbaláírások, amelyekben a döntés elszámoltatható, de az egyének nem tehetők nyomásgyakorlás célpontjává.
- Küszöbelvű parancsnoklás és vezérlés. A négy szem elve, általánosítva: bármilyen n-ből k jóváhagyási séma, amelyet nem eljárásrend, hanem matematika kényszerít ki — pecsét, amely soha nem létezik egy darabban, másodpercek alatt használható, HSM és bizalmi ceremónia nélkül. Az aláírás egyetlen üzenetből áll (nem interaktív), így lassú, sérült vagy egyirányú kapcsolaton is működik; a mérete állandó, akárhány fél vett részt benne. Ha egy kulcsbirtokos változik — átvezénylés, elvesztés, feltételezett kompromittálódás —, a részek a másodperc törtrésze alatt újraoszthatók, miközben a szervezet nyilvános pecsétje változatlan marad.
- Bizonyítható folyamatintegritás. Lepecsételt beadványok, amelyeket egyetlen operátor sem nyithat fel idő előtt — bizonyíthatóan; láncolt, manipulációt jelző eljárási nyomvonalak; külső felek előtt zero-knowledge jellegű bizonyításokkal igazolt megfelelés, a mögöttes adatok kiadása nélkül. Közbeszerzésre, tenderezésre, minősített környezetű felügyeletre és minden olyan eljárásra, ahol a „tessék megbízni bennünk” már nem elfogadható válasz.
- Posztkvantum-felkészültség. Kvantumbiztos algoritmusfejlesztés és PQC-migráció tervezése az EU 2030-as, kritikus infrastruktúrákra vonatkozó határidejéhez: kriptográfiai leltárak, hibrid átállási sémák — és saját küszöbsémánk rácsalapú posztkvantum-változata, megtervezve, implementálásra készen.
- Digitális készpénz, rendesen. Mi írtuk a Pactena Protocolt — privát, offline is működő, azonnali fizetés, amelyben a kétszeri költés matematikailag leleplezi a csalót —, és a rá épülő fizetési megoldást, a Qashmore-t.
- A feladathoz méretezett bizonyítási rendszerek. Szelektív felfedés, commitmentek, akkumulátorok, tartalékigazolási (proof-of-reserves) konstrukciók — könnyű, célra szabott bizonyítások ott, ahol egy teljes SNARK több, mint amit a probléma kíván.
- Protokoll-felülvizsgálat. Második vélemény kriptográfiai tervekről, mielőtt kötelezettséggé válnak — kulcsceremóniák, letétkezelési sémák, aláírási folyamatok, helyreállítási utak.
Bizonyíték
Bizalom nélkül, mégis felügyelhetően: kulcsgeneráló sémánkban független felek hoznak létre és osztanak újra egy küszöbkulcsot úgy, hogy minden lépés nyilvánosan ellenőrizhető — és ha egy kulcsbirtokos változik, a részek másodpercek alatt újraoszthatók, ceremónia és HSM nélkül. Az a tulajdonság, amelyet egy felügyelet elvár — matematikaként szállítva, nem szabályzatként.
Ahol mindez üzemel
Pénzügyi alaprendszerek
Core banking, értékpapír-elszámolás, faktoring, pénztári és befektetésialap-könyvelés. Két évtizednyi főkönyv éles üzemben.
Energia és árupiacok
Nyilvántartó, elszámoló és beszerzési rendszerek energiapiacokra — a villamosenergia-oldalon bizonyítva (tőzsdei klíring, TSO-szabályozási tenderek, európai transzparenciapublikáció), és ugyanezzel a fegyelemmel készen a gázra, az olajra és más árukra.
Szabályozott digitális eszközök
MiCA-engedélyes platformépítés, tokenizáció valódi analitikus könyveléssel mögötte, DORA-tudatos üzemeltetés.
Közszféra és védelem
Ahol a folyamat integritása maga a küldetés. Születetten digitális ügyintézés digitalizált papír helyett; n-ből k matematikával kikényszerített parancsnoki és jogosultsági láncok; lepecsételt eljárások manipulációt jelző nyomvonallal; felügyelet, amelyet bizonyítások elégítenek ki, nem az adatok átadása. A fenti építőelemek — küszöb-kulcskezelés, kriptográfiai jogosultságkezelés, bizonyítható folyamatintegritás — közvetlenül átvihetők; ugyanaz a fegyelem, amely kiállta a pénzügyi felügyelet vizsgálatát, alkalmazható ott is, ahol a tét még nagyobb. Beszéljük ennek a területnek a nyelvét: szuverenitás, semmilyen külföldi fekete doboz, nyílt és függetlenül auditálható algoritmusok.
Hogyan indul egy együttműködés
- 01Egy beszélgetéssel. Ön elmondja, mi a rendszer; mi korán feltesszük a kényelmetlen kérdéseket.
- 02Írásos kerettel. Rövid, beárazott, és őszinte abban, amit még nem tudunk.
- 03Nyílt munkával. Specifikációk, döntések, előrehaladás — végig az Ön szeme előtt.