Palvelut
Kolme kyvykkyyttä, yksi kuri.
Kaikki alla oleva rakennetaan saman testin mukaan: jos se pysähtyy, kuka huomaa; jos se on väärin, kuka maksaa; jos se auditoidaan, mitä jälki näyttää.
01
Toimintakriittinen arkkitehtuuri ja toimitus
Järjestelmä ratkaistaan kauan ennen ensimmäistä koodiriviä. Me kirjoitamme päätökset muistiin — ja viemme ne tuotantoon asti.
- Järjestelmäarkkitehtuuri kriittiseen toimintaan. Monikerroksiset transaktioalustat: sovellus-, laskenta-, raportointi- ja rajapintakerrokset sekä niiden väliset rajat. Rekisteri- ja ohjausjärjestelmät, joissa tietokanta on reaalimaailman velvoitteiden — rahan, kapasiteetin, oikeuksien — totuudenlähde.
- Syntyjään digitaaliset prosessit, kryptografisella perustalla. Ei näytöille heijastettuja paperityönkulkuja: prosesseja, jotka on suunniteltu digitaalisiksi ensimmäisestä askeleesta alkaen ja joissa allekirjoitus, valtuutus, siirto ja arkistointi muodostavat yhden matemaattisesti suojatun ketjun. Läpimenoaika putoaa päivistä sekunteihin, jokainen askel jättää todennettavan todisteen, ja prosessin oikeellisuus voidaan osoittaa ulkopuolisille — julkisesti, taustalla olevaa dataa paljastamatta.
- Analyyttisen kirjanpidon ja pääkirjan suunnittelu. Käyttäjähallinta, instrumentti, tili, tuote, tapahtuma — rahan oliomalli. Kirjausmallit, saldo- ja varastosäiliöt, loro/nostro-logiikka, pääkirjakohdistus. Pankeille, sijoituspalveluyrityksille, eläkerahastoille — ja markkinoille, joilla selvitetään megawattitunteja forinttien sijaan.
- Määrittelyt, jotka kestävät kosketuksen kehitystyöhön. Liiketoiminnalliset ja toiminnalliset määrittelyt, loogiset järjestelmäsuunnitelmat, käyttötapaukset, rajapintasopimukset. Kirjoitettu niin, että niistä voi rakentaa — ja että niistä voi väitellä ennen kuin raha on käytetty.
- Auditoinnit ja due diligence. Olemassa olevien järjestelmien ja toimittajien operatiivinen ja IT-due diligence — mitä oikeasti on olemassa, mitä sen ylläpitäminen maksaa, mitä siitä irtautuminen maksaa.
- Laskennan suunnittelu. Annuiteettiaikataulut muuttuvilla koroilla ja laina-ajoilla, päivälaskenta- ja pyöristyskäytännöt, jotka kestävät täsmäytyksen, allokointialgoritmit noteeraukseen ja selvitykseen.
- Toimituskuri. Koodausstandardit, koodikatselmoinnit, määrittelyyn sidottu testikattavuus, julkaisunhallinta. Ketterästi siellä, missä siitä on hyötyä — kirjallisesti aina.
Näyttö
Factoring-toiminnalle johdimme sopimuslaskennan perusperiaatteista — rekursio muuttuvien kuukausikorkojen ja maksuerien yli, joka ratkaisee minkä tahansa yhden tuntemattoman: maksuerän, koron, nykyarvon tai laina-ajan. Taulukko, jonka liiketoiminta hyväksyi, on sama matematiikka, jota moottori ajaa.
02
Hajautetut algoritmit ja järjestelmät
Skaalautuva oikeellisuus on suunnitteluominaisuus, ei kuormitustestin tulos.
- Suuren läpäisykyvyn tapahtumankäsittely. Kuuden sigman tasolla operoituja alustoja teratavuluokan tietokantojen päällä; lukitus, journalointi ja idempotenssi ensimmäisen luokan ominaisuuksina. Suunnittelemamme ja rakentamamme neo-peruspankkijärjestelmä kirjaa 10–15 000 tapahtumaa sekunnissa solmua kohden ja palvelee 100 000 asiakastiliä solmua kohden — kahdella suorittimella ja 4 Gt:n muistilla, ei datakeskuksen kokoisella klusterilla.
- Kaksivaiheinen commit ilman keskitettyä hallintaa. Oma hajautettu transaktioprotokollamme ei tarvitse keskitettyä transaktionhallintapalvelinta — ja juuri se tekee lineaarisesta skaalautumisesta rehellistä: lisätkää solmu, saatte solmullisen läpäisykykyä, eikä ole koordinaattoria, joka tukkeutuisi kuorman alla.
- Hajautetut rekisterit ilman yhtä totuudenpitäjää. Arkkitehtuureja, joissa instituutiot ylläpitävät omia kryptografisesti ketjutettuja kirjauksiaan, keskenään linkitettyinä niin, että kokonaisuus pysyy todennettavana ilman, että yksikään osapuoli pitää hallussaan koko aineistoa. Mukana hajautettu varastonhallintasuunnitelmamme — tulos laskettavissa kirjaamatta asiakastilien kautta.
- Tilakoneita rahalle. Tarjoukset, sopimukset, siirrot, selvitysajot — mallinnettuina eksplisiittisinä tilakoneina, suunniteltuina uudelleenajoa, täsmäytystä ja auditointia varten.
- Viestipohjaiset putket. NATS, Kafka, RabbitMQ; virrat vastaanotosta julkaisuun, joissa lopputulos on markkinatapahtuma — tarjouskilpailun arviointi, optimointi, avoimuusjulkaisu.
- Algoritmit sille vaikealle yhdelle prosentille. Allokointi- ja pyöristysmenettelyt, jotka pysyvät johdonmukaisina rinnakkaisuuden alla; optimointimallit kapasiteetin hankintaan — myös kohdefunktiot, jotka ovat liian monimutkaisia käännettäviksi ja jotka ratkaistaan numeerisesti; ne reunatapaukset, joita kaikki muut lykkäävät.
Näyttö
Kansalliselle kantaverkonhaltijalle suunnittelemamme säätösähkön hankintajärjestelmä vastaanottaa päivittäiset tarjoukset, syöttää ne optimointimoottorille ja julkaisee tulokset eurooppalaiselle avoimuusalustalle — putki, jossa epäuskottava luku ei ole kirjoitusvirhe vaan häiriö.
03
Sovellettu kryptografia
Viisitoista vuotta kryptografista insinöörityötä — protokollia, jotka suunnittelemme, todistamme, julkaisemme ja ajamme tuotannossa. Ei papereihin jäävää teoreettista kryptografiaa, vaan konstruktioita, jotka läpäisevät auditoinnit, kantavat toimilupia ja selvittävät maksuja. EU:ssa tätä tekee päästä päähän ehkä yksi tai kaksi ryhmää. Me olemme yksi niistä.
Miksi tarkoitukseen rakennettu voittaa geneerisen ZK:n
Geneeriset nollatietojärjestelmät ovat ihme — ja yleensä väärä työkalu. Ne tuovat mukanaan luotetut seremoniat, raskaat todistusajat ja riippuvuuden, jota ei voi vaihtaa. Me suunnittelemme sen sijaan tarkoitukseen rakennettuja protokollia: todisteita, jotka on muotoiltu täsmälleen sille liiketoimintaominaisuudelle, joka on osoitettava. Tuloksena on nopeus (alle 100 ms siellä, missä geneeriset piirit vievät sekunteja), ei auditoijalle selitettävää luotettua alustusta ja vaihdettavissa olevat kryptografiset primitiivit — kun käyrä tai menetelmä vanhenee, konstruktio säilyy. Juuri se tekee kryptografiasta kustannuserän sijaan liiketoimintaedun.
- Kynnyskryptografia. Hajautettu avaintenmuodostus ja -hallinta, jossa kokonaista yksityistä avainta ei ole olemassa — missään, minään hetkenä. Julkaisemamme NPVDKGRS-menetelmä (ei-interaktiivinen, julkisesti todennettava DKG ja osuuksien uudelleenjako BLS12-381-käyrällä) käy tänään MiCA-toimiluvallisen alustan alla, ja yliopistokryptografit ovat katselmoineet sen.
- Kryptografinen valtuutus. Oma, NPVDKGRS:n päälle rakennettu valtuusprotokollamme: käyttöoikeudet kryptografisina tosiasioina, eivät tietokantariveinä. Kuka saa toimia, kuka toimi ja milloin — todistettavasti; delegointi luovuttamatta koskaan avainta; oikeudet peruttavissa välittömästi. Instituution kynnysallekirjoituksia, joissa päätöksestä jää vastuu mutta yksilöt eivät ole painostettavissa.
- Kynnyspohjainen komento ja valvonta. Kahden henkilön sääntö yleistettynä: mikä tahansa k/n-hyväksyntämalli, jota valvoo matematiikka eikä menettelyohje — sinetti, jota ei koskaan ole olemassa yhtenä kappaleena, käytettävissä sekunneissa, ilman HSM:ää ja ilman luotettua seremoniaa. Allekirjoittaminen on yksiviestistä (ei-interaktiivista), joten se toimii hitaiden, heikentyneiden tai yksisuuntaisten yhteyksien yli; allekirjoitukset pysyvät vakiokokoisina osallistujien määrästä riippumatta. Kun avaimenhaltija vaihtuu — tehtävänvaihto, katoaminen, epäilty vaarantuminen — osuudet jaetaan uudelleen sekunnin murto-osissa, ja organisaation julkinen sinetti pysyy muuttumattomana.
- Todistettava prosessin eheys. Sinetöityjä toimituksia, joita yksikään operaattori ei voi avata ennen aikojaan — todistettavasti; ketjutettuja, peukaloinnin paljastavia menettelyjälkiä; vaatimustenmukaisuus osoitettuna ulkopuolisille nollatietotyyppisin todistein, taustalla olevaa dataa luovuttamatta. Rakennettu hankintoihin, tarjouskilpailuihin, turvaluokiteltujen ympäristöjen valvontaan ja jokaiseen menettelyyn, jossa ”luottakaa meihin” ei enää kelpaa vastaukseksi.
- Jälkikvanttivalmius. Kvanttiturvallista algoritmityötä ja PQC-siirtymäsuunnittelua EU:n kriittisen infrastruktuurin vuoden 2030 määräaikaa silmällä pitäen: kryptografiset inventaariot, hybridisiirtymämallit — ja oman kynnysmenetelmämme hilapohjainen jälkikvanttiversio, suunniteltu ja toteutusta vailla.
- Digitaalinen käteinen, kunnolla tehtynä. Olemme Pactena Protocol -protokollan tekijät — yksityisiä, offline-kykyisiä, välittömiä maksuja, joissa saman rahan käyttäminen kahdesti paljastaa petoksen tekijän matemaattisesti — sekä sen päälle rakennetun Qashmore-maksuratkaisun.
- Ongelman kokoon mitoitetut todistusjärjestelmät. Valikoiva paljastaminen, sitoumukset, akkumulaattorit, varantotodistuskonstruktiot — kevyitä, tarkoitukseen rakennettuja todisteita siellä, missä täysi SNARK on enemmän kuin ongelma vaatii.
- Protokollakatselmoinnit. Toinen mielipide kryptografisista suunnitelmista ennen kuin niistä tulee sitoumuksia — avainseremoniat, säilytysmallit, allekirjoitusvirrat, palautuspolut.
Näyttö
Luottamukseton mutta valvottu: avaintenmuodostusmenetelmässämme riippumattomat osapuolet luovat kynnysavaimen ja jakavat sen osuudet uudelleen niin, että jokainen askel on julkisesti todennettavissa — ja kun avaimenhaltija vaihtuu, osuudet jaetaan uudelleen sekunneissa, ilman seremoniaa ja ilman HSM:ää. Ominaisuus, jonka valvoja haluaa, toimitettuna matematiikkana eikä toimintaohjeena.
Missä järjestelmämme pyörivät
Rahoituksen ydinjärjestelmät
Peruspankkijärjestelmät, arvopaperiselvitys, factoring, eläkerahasto- ja rahastokirjanpito. Kaksi vuosikymmentä reskontria tuotannossa.
Energia ja hyödykkeet
Rekisteri-, selvitys- ja hankintajärjestelmät energiamarkkinoille — koeteltu sähköpuolella (pörssin selvitys, kantaverkonhaltijan säätökapasiteetin tarjouskilpailut, eurooppalainen avoimuusjulkaisu), rakennettu kantamaan kaasu, öljy ja muut hyödykkeet saman kurin alla.
Säännellyt digitaaliset varat
MiCA-toimiluvallisten alustojen insinöörityö, tokenisointi, jonka takana on todellinen analyyttinen kirjanpito, DORA-tietoinen operointi.
Julkinen sektori ja puolustus
Siellä missä prosessin eheys on tehtävän ydin. Syntyjään digitaalista hallintoa digitoidun paperin sijaan; k/n-matematiikan valvomat komento- ja valtuusketjut; sinetöidyt menettelyt peukaloinnin paljastavine jälkineen; valvonta, joka tyydytetään todistein — ei dataa luovuttamalla. Yllä olevat rakennuspalikat — kynnysavainten hallinta, kryptografinen valtuutus, todistettava prosessin eheys — siirtyvät suoraan; sama kuri, joka läpäisi finanssivalvonnan tarkastuksen, pätee menettelyihin, joissa panokset ovat vielä korkeammat. Puhumme tämän alan kieltä: suvereniteetti, ei ulkomaisia mustia laatikoita, avoimet ja riippumattomasti auditoitavat algoritmit.
Näin toimeksianto alkaa
- 01Keskustelu. Te kuvaatte järjestelmän, me kysymme epämukavat kysymykset ajoissa.
- 02Kirjallinen rajaus. Lyhyt, hinnoiteltu, rehellinen tuntemattomien suhteen.
- 03Työ avoimesti. Määrittelyt, päätökset ja edistyminen näkyvissä teille koko ajan.