Paslaugos
Trys kompetencijos, viena disciplina.
Viskas, kas žemiau, statoma pagal tą patį testą: jei sustos — kas pastebės; jei suklys — kas mokės; jei ateis auditas — ką parodys seka.
01
Kritinės svarbos architektūra ir įgyvendinimas
Sistemos likimas nulemiamas gerokai anksčiau nei pirmoji kodo eilutė. Mes sprendimus užrašome — ir nunešame juos iki produkcinės aplinkos.
- Sistemų architektūra kritinei veiklai. Daugiapakopės transakcinės platformos: taikomųjų programų, skaičiavimų, ataskaitų ir sąsajų pakopos bei ribos tarp jų. Registrų ir valdymo sistemos, kuriose duomenų bazė yra tiesos šaltinis realaus pasaulio įsipareigojimams — pinigams, pajėgumams, teisėms.
- Gimę skaitmeniniai procesai ant kriptografinių pamatų. Ne popierinės darbo eigos, perkeltos į ekranus, o nuo pirmo žingsnio skaitmeniniais suprojektuoti procesai, kuriuose parašas, įgaliojimas, perdavimas ir archyvavimas sudaro vieną matematiškai apsaugotą grandinę. Trukmė krinta nuo dienų iki sekundžių, kiekvienas žingsnis palieka patikrinamą įrodymą, o proceso korektiškumą galima pademonstruoti išorės šalims — viešai, neatskleidžiant pačių duomenų.
- Analitinės apskaitos ir didžiosios knygos projektavimas. Naudotojų valdymas, finansinė priemonė, sąskaita, produktas, operacija — pinigų objektų modelis. Registravimo šablonai, likučių ir atsargų konteineriai, loro/nostro logika, didžiosios knygos atvaizdavimas. Bankams, investicinių paslaugų teikėjams, pensijų fondams — ir rinkoms, kurios atsiskaito megavatvalandėmis, o ne forintais.
- Specifikacijos, išgyvenančios susidūrimą su kūrimu. Verslo ir funkcinės specifikacijos, loginiai sistemų planai, naudojimo atvejai, sąsajų kontraktai. Rašomos taip, kad iš jų būtų galima statyti — ir dėl jų ginčytis dar prieš išleidžiant pinigus.
- Auditas ir išsamusis patikrinimas. Veikiančių sistemų ir tiekėjų veiklos bei IT išsamusis patikrinimas — kas ten iš tikrųjų yra, kiek kainuoja išlaikyti ir kiek kainuoja išeiti.
- Skaičiavimų projektavimas. Anuiteto grafikai su kintamomis palūkanomis ir terminais, dienų skaičiavimo ir apvalinimo režimai, išgyvenantys suderinimą, paskirstymo algoritmai kotiravimui ir atsiskaitymams.
- Įgyvendinimo disciplina. Kodavimo standartai, kodo peržiūra, su specifikacija susieta testų aprėptis, laidų valdymas. Agile ten, kur padeda; raštu — visada.
Įrodymas
Faktoringo veiklai sutarties skaičiavimą išvedėme iš pirmųjų principų — rekurentinį sąryšį su kintamomis mėnesio palūkanomis ir įmokomis, išsprendžiamą bet kurio vieno nežinomojo atžvilgiu: įmokos, palūkanų, dabartinės vertės ar termino. Skaičiuoklė, kurią patvirtino verslas, — ta pati matematika, kurią vykdo variklis.
02
Paskirstytieji algoritmai ir sistemos
Korektiškumas dideliu mastu — projektavimo savybė, o ne apkrovos testo rezultatas.
- Didelio pralaidumo operacijų apdorojimas. Šešių sigmų lygiu eksploatuojamos platformos virš terabaitų klasės duomenų bazių; užrakinimas, žurnalavimas ir idempotentiškumas — pirmos klasės savybės. Mūsų suprojektuota ir pastatyta neo-core bankininkystės sistema užregistruoja 10–15 000 operacijų per sekundę viename mazge ir aptarnauja 100 000 klientų sąskaitų viename mazge — su 2 CPU ir 4 GB RAM, o ne duomenų centro dydžio klasteriu.
- Dvifazis patvirtinimas be centrinio koordinatoriaus. Mūsų pačių paskirstytųjų transakcijų protokolui nereikia centrinio transakcijų valdymo serverio — būtent tai tiesinį plėtimą daro sąžiningą: pridėjus mazgą, gaunamas viso mazgo pralaidumas, ir nėra koordinatoriaus, kurį būtų galima prisotinti.
- Paskirstyti registrai be vienintelio tiesos saugotojo. Architektūros, kuriose institucijos tvarko savo pačių kriptografine grandine susietus įrašus, sujungtus taip, kad visuma lieka patikrinama, nors nė vienas dalyvis nelaiko viso duomenų rinkinio. Įskaitant mūsų decentralizuoto atsargų tvarkymo dizainą — pelnas ir nuostolis apskaičiuojamas be registravimo per klientų sąskaitas.
- Būsenų mašinos pinigams. Pasiūlymai, sutartys, pervedimai, atsiskaitymų ciklai — modeliuojami kaip eksplicitinės būsenų mašinos, suprojektuotos pakartojimui, suderinimui ir auditui.
- Žinutėmis grįsti konvejeriai. NATS, Kafka, RabbitMQ; srautai nuo duomenų priėmimo iki publikavimo, kur išvestis — rinkos įvykis: aukciono vertinimas, optimizavimas, skaidrumo skelbimas.
- Algoritmai sudėtingajam 1 %. Paskirstymo ir apvalinimo schemos, išliekančios nuosekliomis esant lygiagretumui; pajėgumų pirkimo optimizavimo modeliai — įskaitant tikslo funkcijas, per sudėtingas apversti analitiškai, todėl sprendžiamas skaitiškai; kraštiniai atvejai, kuriuos visi kiti atideda.
Įrodymas
Balansavimo energijos pirkimo sistema, kurią suprojektavome nacionaliniam perdavimo sistemos operatoriui, priima kasdienius aukciono pasiūlymus, teikia duomenis optimizavimo varikliui ir skelbia rezultatus Europos skaidrumo platformoje — konvejeris, kuriame neįtikėtinas skaičius yra ne korektūros klaida, o incidentas.
03
Taikomoji kriptografija
Penkiolika metų kriptografinės inžinerijos — protokolai, kuriuos projektuojame, įrodome, publikuojame ir eksploatuojame produkcinėje aplinkoje. Ne teorinė kriptografija, gyvenanti straipsniuose, o konstrukcijos, kurios išlaiko auditus, tampa licencijų pagrindu ir vykdo mokėjimų atsiskaitymus. ES komandų, darančių tai nuo pradžios iki galo, yra gal viena ar dvi. Mes — viena iš jų.
Kodėl tikslinis sprendimas pranoksta bendrinį ZK
Bendrinės nulinio žinojimo sistemos — technikos stebuklas ir dažniausiai netinkamas įrankis. Jos atsineša patikimąsias ceremonijas, ilgus įrodymų generavimo laikus ir priklausomybę, kurios neįmanoma pakeisti. Mes vietoj to projektuojame tikslinius protokolus: įrodymus, priderintus prie tikslios verslo savybės, kurią reikia parodyti. Rezultatas — greitis (mažiau nei 100 ms ten, kur bendrinėms grandinėms reikia sekundžių), jokios patikimosios sąrankos (trusted setup), kurią reikėtų aiškinti auditoriui, ir pakeičiami kriptografiniai primityvai — kai kreivė ar schema pasensta, konstrukcija išlieka. Būtent tai kriptografiją iš sąnaudų eilutės paverčia verslo pranašumu.
- Slenkstinė kriptografija. Paskirstytas raktų generavimas ir valdymas, kuriame visas privatusis raktas niekada neegzistuoja — niekur ir nė akimirkai. Mūsų paskelbta NPVDKGRS schema (neinteraktyvus, viešai patikrinamas DKG ir dalių perskirstymas virš BLS12-381) šiandien veikia po MiCA licencijuota platforma ir yra peržiūrėta universitetų kriptografų.
- Kriptografinis įgaliojimų valdymas. Mūsų pačių teisių protokolas, pastatytas ant NPVDKGRS: prieigos teisės kaip kriptografiniai faktai, o ne duomenų bazės eilutės. Kas gali veikti, kas veikė ir kada — įrodoma; delegavimas niekada neperduodant rakto; teisės atšaukiamos akimirksniu. Institucinės slenkstinės parašų schemos, kuriose sprendimas atskaitingas, o asmenys neišstatomi spaudimui.
- Slenkstinis vadovavimas ir valdymas. Dviejų asmenų taisyklė, apibendrinta: bet kokia k-iš-n patvirtinimo schema, užtikrinama matematikos, o ne procedūros — antspaudas, kuris niekada neegzistuoja vientisas, panaudojamas per sekundes, be HSM ir be patikimosios ceremonijos. Pasirašymas — vienos žinutės (neinteraktyvus), tad veikia per lėtus, pažeistus ar vienkrypčius ryšio kanalus; parašai lieka pastovaus dydžio, kad ir kiek šalių dalyvavo. Pasikeitus rakto turėtojui — perkėlimas, praradimas, įtariamas kompromitavimas — dalys perskirstomos per sekundės dalis, o organizacijos viešasis antspaudas lieka nepakitęs.
- Įrodomas proceso vientisumas. Užantspauduoti pateikimai, kurių joks operatorius negali atverti anksčiau laiko — įrodomai; kriptografine grandine susietos, klastojimą išduodančios procedūrų sekos; atitiktis, išorės šalims demonstruojama nulinio žinojimo tipo įrodymais, neatiduodant pačių duomenų. Sukurta viešiesiems pirkimams, konkursams, įslaptinto konteksto priežiūrai ir bet kuriai procedūrai, kur „pasitikėkite mumis“ nebėra priimtinas atsakymas.
- Postkvantinė parengtis. Kvantams atsparių algoritmų darbai ir PQC migracijos projektavimas pagal ES 2030 m. kritinės infrastruktūros terminą: kriptografinės inventorizacijos, hibridinės pereinamosios schemos — ir gardelėmis grįstas postkvantinis mūsų pačių slenkstinės schemos variantas, suprojektuotas ir laukiantis įgyvendinimo.
- Skaitmeniniai grynieji — padaryti dorai. Esame Pactena protokolo autoriai — privatūs, be ryšio veikiantys, momentiniai mokėjimai, kuriuose dvigubas tų pačių pinigų išleidimas matematiškai išduoda sukčių — ir ant jo pastatyto mokėjimo sprendimo Qashmore kūrėjai.
- Įrodymų sistemos pagal uždavinio dydį. Atrankinis atskleidimas, įsipareigojimai, akumuliatoriai, rezervų įrodymo konstrukcijos — lengvi, tiksliniai įrodymai ten, kur visavertis SNARK yra daugiau, nei uždaviniui reikia.
- Protokolų peržiūra. Antroji nuomonė apie kriptografinius dizainus, kol jie netapo įsipareigojimais — raktų ceremonijos, saugojimo schemos, pasirašymo eigos, atkūrimo keliai.
Įrodymas
Pasitikėjimo nereikalaujanti, bet prižiūrima: mūsų raktų generavimo schemoje nepriklausomos šalys sukuria ir perskirsto slenkstinį raktą taip, kad kiekvienas žingsnis viešai patikrinamas, — o pasikeitus rakto turėtojui dalys perskirstomos per sekundes, be ceremonijos ir be HSM. Savybė, kurios nori reguliuotojas, pateikta kaip matematika, o ne kaip politika.
Kur tai veikia
Pagrindinės finansų sistemos
Pagrindinė bankininkystė, vertybinių popierių atsiskaitymai, faktoringas, pensijų fondų ir fondų apskaita. Du dešimtmečiai apskaitos knygų produkcinėje aplinkoje.
Energetika ir žaliavos
Registrų, atsiskaitymų ir pirkimų sistemos energijos rinkoms — patikrintos elektros pusėje (biržos tarpuskaita, perdavimo operatoriaus balansavimo aukcionai, skelbimas Europos skaidrumo platformoje), suprojektuotos taip, kad ta pačia disciplina aptarnautų dujų, naftos ir kitų žaliavų rinkas.
Reguliuojamas skaitmeninis turtas
MiCA licencijuotų platformų inžinerija, tokenizacija su tikra analitine apskaita už jos, operacijos, projektuojamos su DORA omenyje.
Viešasis sektorius ir gynyba
Ten, kur proceso vientisumas ir yra misija. Gimusi skaitmeninė administracija vietoj skaitmenizuoto popieriaus; komandų ir įgaliojimų grandinės, užtikrinamos k-iš-n matematikos; užantspauduotos procedūros su klastojimą išduodančiais pėdsakais; priežiūra, patenkinama įrodymais, o ne duomenų atidavimu. Aukščiau išvardyti statybiniai blokai — slenkstinis raktų valdymas, kriptografinis įgaliojimų valdymas, įrodomas proceso vientisumas — perkeliami tiesiogiai; ta pati disciplina, išlaikiusi finansų priežiūros patikrą, galioja ir procedūroms, kuriose statymai dar didesni. Kalbame šios srities kalba: suverenumas, jokių užsienietiškų juodųjų dėžių, atviri ir nepriklausomai audituojami algoritmai.
Kaip prasideda bendradarbiavimas
- 01Pokalbis. Jūs aprašote sistemą; mes nepatogius klausimus užduodame anksti.
- 02Rašytinė apimtis. Trumpa, įkainota, sąžininga dėl nežinomųjų.
- 03Darbas atvirai. Specifikacijos, sprendimai ir pažanga jums matomi visą laiką.