iLocking Kft. — kritinės svarbos sistemų inžinerija
Sistemos, kurios neturi teisės sugesti.
Korektiškumas dideliu mastu.
Čia susitinka trys disciplinos. Verslas — dvidešimt metų bankininkystės, atsiskaitymų ir energijos rinkų viduje — ten išmokome, ko iš tikrųjų vertas procesas. Kriptografija — penkiolika metų protokolų projektavimo — iki pat mūsų pačių sukurtų schemų. Inžinerija — paskirstytosios sistemos, kurios plečiasi tiesiškai ir veikia dešimtmečius. Dauguma įmonių siūlo vieną iš trijų. Kritinės svarbos sistemoms reikia visų — tame pačiame kambaryje, prie to paties stalo.
- 25 m.
- įmonei
- 20 m.
- kuriame kritinę programinę įrangą
- 15 m.
- kriptografinės inžinerijos
- 1-oji
- blokų grandine grįsta pagrindinė bankininkystės platforma, kuria remiasi ES licencijuota elektroninių pinigų įstaiga
- 1-oji
- MiCA licencija ES valstybėje, kurios pamatas — mūsų inžinerija
Ką darome
Kritinės svarbos architektūra ir įgyvendinimas
Nuo tuščio lapo iki produkcinės aplinkos: specifikacijos, pagal kurias bankas gali statyti, architektūros, kurias gali perskaityti reguliuotojas, įgyvendinimas, kuris pasiekia tikslą. Analitinė apskaita, atsiskaitymų varikliai, back-office platformos.
Architektūra ir įgyvendinimas 02Paskirstytieji algoritmai ir sistemos
Konsensusas, replikacija, būsenų mašinos, žinutėmis grįsti konvejeriai. Didelio pralaidumo transakcinės sistemos, suprojektuotos pakartojimui, auditui ir blogai dienai — ne vien demonstracijai.
Paskirstytosios sistemos 03Taikomoji kriptografija
Penkiolika metų šio amato: slenkstiniai parašai, viešai patikrinamas raktų generavimas, kvantams atsparios migracijos keliai, uždaviniui pritaikytos įrodymų sistemos. Įrodoma, peržiūrima, sąmoningai nuobodu — o dalis to paskelbta kaip mūsų pačių protokolai.
Taikomoji kriptografijaKur tai veikia
Pagrindinės finansų sistemos
Pagrindinė bankininkystė, vertybinių popierių atsiskaitymai, faktoringas, pensijų fondų apskaita. Finansų tiesos sluoksnis: analitinės apskaitos knygos ir po jomis — didžioji knyga.
Energetika ir žaliavos
Registrų, atsiskaitymų ir pirkimų sistemos energijos rinkoms. Patikrinta elektros pusėje — biržos tarpuskaita, balansavimo pajėgumų aukcionai, skelbimas Europos skaidrumo platformoje — ir suprojektuota taip, kad ta pačia disciplina aptarnautų dujų, naftos ir kitų žaliavų rinkas.
Reguliuojamas skaitmeninis turtas
Web3 be triukšmo: MiCA licencijuotos platformos, tokenizacija su tikra apskaitos knyga už jos, operacijos, projektuojamos su DORA omenyje.
Viešasis sektorius ir gynyba
Ten, kur proceso vientisumas ir yra misija: užantspauduotos procedūros, kurių joks operatorius negali atverti anksčiau laiko; komandų ir įgaliojimų grandinės, užtikrinamos matematikos; atitiktis, įrodoma išorės šalims — neatiduodant duomenų. Šis griežtumas egzistuoja jau šiandien; čia jis pritaikomas toliau.
Įrodymai — po vieną eilutę
- 01
Pagrindinės bankininkystės platforma, suprojektuota nuo tuščio lapo vienai didžiausių Vidurio Europos bankų grupių — nuo naudotojų valdymo iki didžiosios knygos.
- 02
Tarpuskaitos ir atsiskaitymų specifikacija nacionalinei elektros biržai; balansavimo energijos aukcionų optimizavimas nacionaliniam perdavimo tinklo operatoriui, su skelbimu Europos skaidrumo platformoje.
- 03
Faktoringo veiklos sutarčių ir skaičiavimų variklis, išvestas iš pirmųjų principų — kintamos palūkanos, kintamos įmokos, išsprendžiama bet kurio nežinomojo atžvilgiu.
- 04
Naujos kartos neo-core bankininkystės ir sąskaitų tvarkymo sistema, mūsų suprojektuota ir pastatyta: realiuoju laiku veikianti didžioji knyga, itin paskirstyta, tiesiškai plečiama — vidutinis mazgas su 2 CPU ir 4 GB RAM užregistruoja 10–15 000 operacijų per sekundę ir aptarnauja 100 000 klientų sąskaitų. Šiandien ji veikia po pirmąja ES valstybės narės MiCA licencija.
- 05
Paskelbti atviri tyrimai: NPVDKGRS — neinteraktyvus, viešai patikrinamas paskirstytas raktų generavimas virš BLS12-381; suprojektuotas postkvantinis variantas. — NPVDKGRS
- 06
Mūsų protokolai realiame pasaulyje: Pactena protokolas ir Qashmore — privatūs, be ryšio veikiantys skaitmeniniai grynieji, kuriuose sukčiavimas išduoda pats save. — Pactena Protocol · Qashmore
Nuobodu — geriausia prasme.
Kritinės svarbos sistemos privalo būti nuobodžios: deterministinės, audituojamos, suderintos iki cento ir iki megavatvalandės. Pirmąjį dešimtmetį skyrėme tam, kad tokia taptų klasikinė finansų sritis — sąskaitų tvarkymas, vertybinių popierių atsiskaitymai, pensijų fondų apskaita, elektros rinkos. Pastarąjį — įrodėme, kad ta pati disciplina galioja ir naujajame pasaulyje: neo-core bankininkystės sistema su realiuoju laiku veikiančia didžiąja knyga, paskirstyta ir tiesiškai plečiama; slenkstinis raktų valdymas, kuriame visas privatusis raktas niekada neegzistuoja; skaitmeninio turto saugojimas, atlaikęs MiCA licencijavimo patikrą. Naujos technologijos čia laukiamos — kai išlaiko tą patį auditą kaip ir senosios.
Tikroji skaitmenizacija dar neprasidėjo.
Tai, kas šiandien vadinama skaitmenizacija, tėra popieriniai procesai, perkelti į ekranus — tie patys lydraščiai, tas pats laukimas, tik dabar su prisijungimo langais. Skaitmeninės salos, susiūtos elektroniniais laiškais. Mes vietoj to kuriame gimusius skaitmeninius procesus: parašas, įgaliojimas, perdavimas ir archyvas sudaro vieną matematiškai apsaugotą grandinę. Trukmė krinta nuo dienų iki sekundžių, kiekvienas žingsnis palieka įrodymą — ir tas įrodymas veikia abiem kryptimis:
Manifestas
Duomenys lieka. Keliauja įrodymas.
Jautrūs įrašai niekada nepalieka savo šeimininko. Iškeliauja tik įrodymas — kad operacija įvyko, terminas išlaikytas, taisyklių laikytasi — patikrinamas bet kieno ir neatskleidžiantis nieko. Audituojamos sistemos neatplėšiant voko.
Mūsų „kritinės svarbos“ testas
Kaip statysime, lemia trys klausimai:
- 01
Jei sistema sustos — kas pastebės ir kaip greitai?
- 02
Jei ji suklys — kas mokės ir kiek?
- 03
Jei ateis auditas — ką parodys seka?
Jei atsakymai gąsdina — mums verta pasikalbėti.