Pakalpojumi
Trīs spējas, viena disciplīna.
Viss tālāk minētais ir būvēts pēc viena un tā paša testa: ja tā apstājas — kurš pamana; ja tā kļūdās — kurš maksā; ja to auditē — ko rāda pēdas.
01
Kritiski svarīga arhitektūra un piegāde
Sistēmas liktenis izšķiras ilgi pirms pirmās koda rindas. Mēs lēmumus pierakstām — un tad aiznesam tos līdz produkcijai.
- Sistēmu arhitektūra kritiskai darbībai. Daudzlīmeņu darījumu platformas: lietojumu, skaitļošanas, pārskatu un saskarņu līmeņi — un robežas starp tiem. Reģistru un vadības sistēmas, kurās datubāze ir patiesības avots reālās pasaules saistībām — naudai, jaudām, tiesībām.
- Digitāli dzimuši procesi uz kriptogrāfiskiem pamatiem. Ne uz ekrāniem projicētas papīra darbplūsmas: procesi, kas projektēti digitāli no pirmā soļa, kur paraksts, pilnvarojums, pārsūtīšana un arhivēšana veido vienu matemātiski aizsargātu ķēdi. Aprites laiks sarūk no dienām līdz sekundēm, katrs solis atstāj pārbaudāmu pierādījumu, un procesa pareizību var demonstrēt ārējām pusēm — publiski, neizpaužot pamatā esošos datus.
- Analītiskās uzskaites un virsgrāmatas projektēšana. Lietotāju pārvaldība, instruments, konts, produkts, darījums — naudas objektu modelis. Grāmatojumu veidnes, atlikumu un krājumu konteineri, loro/nostro loģika, virsgrāmatas kartējums. Bankām, ieguldījumu pakalpojumu sniedzējiem, pensiju fondiem — un tirgiem, kuros norēķinās megavatstundās, nevis forintos.
- Specifikācijas, kas iztur saskarsmi ar izstrādi. Biznesa un funkcionālās specifikācijas, loģiskie sistēmu plāni, lietošanas gadījumi, saskarņu līgumi. Rakstītas tā, lai pēc tām varētu būvēt — un lai par tām strīdētos, pirms nauda ir iztērēta.
- Audits un padziļinātā izpēte. Esošo sistēmu un piegādātāju darbības un IT padziļinātā izpēte — kas tur patiesībā ir, ko maksā to paturēt un ko maksā no tā aiziet.
- Aprēķinu projektēšana. Anuitātes grafiki ar mainīgām likmēm un termiņiem, dienu skaitīšanas un noapaļošanas režīmi, kas iztur saskaņošanu, sadales algoritmi kotēšanai un norēķiniem.
- Piegādes disciplīna. Kodēšanas standarti, koda pārskatīšana, specifikācijai piesaistīts testu pārklājums, laidienu pārvaldība. Agile tur, kur tas palīdz; rakstiski — vienmēr.
Pierādījums
Faktoringa operācijai mēs izvedām līguma aprēķinu no pirmajiem principiem — rekurenci pār mainīgām mēneša likmēm un maksājumiem, kas atrisināma pēc jebkura viena nezināmā: maksājuma, likmes, tagadnes vērtības vai termiņa. Izklājlapa, ko apstiprināja bizness, ir tā pati matemātika, ko darbina dzinējs.
02
Sadalītie algoritmi un sistēmas
Pareizība jebkurā mērogā ir projektēšanas īpašība, nevis slodzes testa rezultāts.
- Augstas caurlaidspējas darījumu apstrāde. Sešu sigmu līmenī darbinātas platformas virs terabaitu klases datubāzēm; bloķēšana, žurnalēšana un idempotence kā pirmās šķiras iezīmes. Mūsu projektētā un uzbūvētā neo-core banku sistēma iegrāmato 10–15 000 darījumu sekundē uz mezglu un apkalpo 100 000 klientu kontu uz mezglu — uz 2 CPU un 4 GB RAM, nevis datu centra izmēra klastera.
- Divfāžu apstiprināšana bez centrālā pārvaldnieka. Mūsu pašu sadalīto darījumu protokolam nav vajadzīgs centrālais darījumu pārvaldnieka serveris — un tieši tas padara lineāro mērogošanu godīgu: pievienojot mezglu, iegūstat mezgla vērtu caurlaidspēju, un nav koordinatora, ko piesātināt.
- Sadalīti reģistri bez viena patiesības turētāja. Arhitektūras, kurās iestādes uztur savus kriptogrāfiski saķēdētos ierakstus, savstarpēji sasaistītus tā, lai kopums paliktu pārbaudāms, nevienam dalībniekam neturot pilno datu kopu. Ieskaitot mūsu decentralizētās krājumu uzskaites dizainu — peļņa un zaudējumi aprēķināmi bez grāmatošanas caur klientu kontiem.
- Stāvokļu mašīnas naudai. Piedāvājumi, līgumi, pārvedumi, norēķinu cikli — modelēti kā eksplicītas stāvokļu mašīnas, projektētas atkārtotai izpildei, saskaņošanai un auditam.
- Ziņojumvadītas plūsmas. NATS, Kafka, RabbitMQ; plūsmas no datu uzņemšanas līdz publicēšanai, kur iznākums ir tirgus notikums — izsoļu vērtēšana, optimizācija, pārredzamības publicēšana.
- Algoritmi grūtajam 1 %. Sadales un noapaļošanas shēmas, kas paliek konsekventas arī vienlaicīgas piekļuves apstākļos; optimizācijas modeļi jaudu iepirkumam — arī mērķa funkcijas, kas pārāk sarežģītas, lai tās invertētu, un tiek risinātas skaitliski; robežgadījumi, ko visi citi atliek uz vēlāku laiku.
Pierādījums
Balansēšanas enerģijas iepirkuma sistēma, ko projektējām nacionālajam pārvades sistēmas operatoram, uzņem ikdienas izsoļu piedāvājumus, baro optimizācijas dzinēju un publicē rezultātus Eiropas pārredzamības platformā — plūsma, kurā neticams skaitlis nav pārrakstīšanās, tas ir incidents.
03
Lietišķā kriptogrāfija
Piecpadsmit gadi kriptogrāfijas inženierijā — protokoli, ko mēs projektējam, pierādām, publicējam un darbinām produkcijā. Ne teorētiskā kriptogrāfija, kas dzīvo rakstos: konstrukcijas, kas iztur auditus, nes licences un veic norēķinus. ES to no sākuma līdz galam spēj varbūt viena vai divas komandas. Mēs esam viena no tām.
Kāpēc mērķim būvēts pārspēj universālu ZK
Universālas nulles zināšanu sistēmas ir brīnums — un parasti nepareizais rīks. Tās nes līdzi uzticēšanās ceremonijas (trusted setup), smagus pierādīšanas laikus un atkarību, ko nevar nomainīt. Mēs tā vietā projektējam mērķim būvētus protokolus: pierādījumus, kas veidoti tieši tai biznesa īpašībai, kura jāparāda. Rezultāts ir ātrums (zem 100 ms tur, kur universāliem ZK pierādīšanas mehānismiem vajag sekundes), nekāda trusted setup, kas jāskaidro auditoram, un savstarpēji aizvietojami kriptogrāfiskie primitīvi — kad līkne vai shēma noveco, konstrukcija paliek dzīva. Tieši tas kriptogrāfiju pārvērš no izmaksu pozīcijas par biznesa priekšrocību.
- Sliekšņa kriptogrāfija. Sadalīta atslēgu ģenerēšana un pārvaldība, kurā pilnā privātā atslēga nekad neeksistē — nekur un nevienā brīdī. Mūsu publicētā NPVDKGRS shēma (neinteraktīva, publiski verificējama DKG un pārdale virs BLS12-381) šodien darbojas zem MiCA licencētas platformas, un to ir recenzējuši universitāšu kriptogrāfi.
- Kriptogrāfisks pilnvarojums. Mūsu pašu tiesību protokols, būvēts uz NPVDKGRS: piekļuves tiesības kā kriptogrāfiski fakti, nevis datubāzes rindas. Kurš drīkst rīkoties, kurš rīkojās un kad — pierādāmi; deleģēšana, nekad neatdodot atslēgu; tiesības atsaucamas acumirklī. Institucionāli sliekšņa paraksti, kur par lēmumu var noteikt atbildību, bet indivīdi nav pakļaujami spiedienam.
- Sliekšņa komandvadība un kontrole. Divu personu princips, vispārināts: jebkura k-no-n apstiprināšanas shēma, ko nodrošina matemātika, nevis procedūra — zīmogs, kas nekad neeksistē vienā gabalā, lietojams sekundēs, bez HSM un bez uzticēšanās ceremonijas (trusted setup). Parakstīšana notiek ar vienu ziņojumu (neinteraktīvi), tāpēc tā darbojas pār lēniem, degradētiem vai vienvirziena kanāliem; paraksti paliek nemainīga izmēra neatkarīgi no dalībnieku skaita. Kad atslēgas turētājs mainās — pārcelšana, nozaudēšana, aizdomas par kompromitēšanu —, daļas tiek pārdalītas sekundes daļās, organizācijas publiskajam zīmogam paliekot nemainīgam.
- Pierādāma procesu integritāte. Aizzīmogoti iesniegumi, kurus neviens operators nevar atvērt priekšlaicīgi — pierādāmi; saķēdētas, pret viltojumiem jutīgas procedūru pēdas; atbilstība, ko ārējām pusēm demonstrē nulles zināšanu tipa pierādījumi, neatdodot pamatā esošos datus. Būvēts iepirkumiem, izsolēm, klasificēta konteksta uzraudzībai un jebkurai procedūrai, kurā „uzticieties mums” vairs nav pieņemama atbilde.
- Gatavība pēckvantu laikmetam. Kvantdrošu algoritmu darbs un PQC migrācijas projektēšana pretī ES 2030. gada kritiskās infrastruktūras termiņam: kriptogrāfiskās inventarizācijas, hibrīdas pārejas shēmas — un uz režģiem balstīts mūsu pašu sliekšņa shēmas pēckvantu variants — jau izstrādāts un gaida implementāciju.
- Digitālā nauda, kā pienākas. Mēs esam Pactena Protocol autori — privāti, bezsaistē lietojami, tūlītēji maksājumi, kuros dubultā tērēšana matemātiski atmasko krāpnieku — un Qashmore, uz tā būvētais maksājumu risinājums.
- Problēmas mērogam atbilstošas pierādījumu sistēmas. Selektīva atklāšana, saistības (commitments), akumulatori, rezervju pierādījumu konstrukcijas — viegli, mērķim būvēti pierādījumi tur, kur pilns SNARK ir vairāk, nekā problēmai vajag.
- Protokolu pārskatīšana. Otrais viedoklis par kriptogrāfiskiem dizainiem, pirms tie kļūst par saistībām — atslēgu ceremonijas, glabāšanas shēmas, parakstīšanas plūsmas, atkopšanas ceļi.
Pierādījums
Bez uzticēšanās, bet uzraudzīti: mūsu atslēgu ģenerēšanas shēmā neatkarīgas puses izveido un pārdala sliekšņa atslēgu tā, ka katrs solis ir publiski verificējams — un, kad atslēgas turētājs mainās, daļas tiek pārdalītas sekundēs, bez ceremonijas un bez HSM. Īpašība, ko vēlas regulators, piegādāta kā matemātika, nevis kā politika.
Kur tas darbojas
Finanšu pamatsistēmas
Banku pamatsistēmas, vērtspapīru norēķini, faktorings, pensiju fondu un fondu uzskaite. Divi gadu desmiti virsgrāmatu produkcijā.
Enerģētika un izejvielas
Reģistru, norēķinu un iepirkumu sistēmas enerģijas tirgiem — pārbaudītas elektroenerģijas pusē (biržas klīrings, PSO balansēšanas izsoles, publicēšana Eiropas pārredzamības platformā), būvētas tā, lai ar to pašu disciplīnu nestu gāzi, naftu un citas izejvielas.
Regulētie digitālie aktīvi
MiCA licencētu platformu inženierija, tokenizācija ar īstu analītisko uzskaiti aiz tās, DORA prasībās sakņota darbība.
Publiskais sektors un aizsardzība
Kur procesa integritāte ir pati misija. Digitāli dzimusi pārvaldība digitalizēta papīra vietā; komandu un pilnvaru ķēdes, ko nodrošina k-no-n matemātika; aizzīmogotas procedūras ar pret viltojumiem jutīgām pēdām; uzraudzība, ko apmierina pierādījumi, nevis datu atdošana. Iepriekš minētie būvbloki — sliekšņa atslēgu pārvaldība, kriptogrāfisks pilnvarojums, pierādāma procesu integritāte — pārnesami tieši; tā pati disciplīna, kas izturēja finanšu uzraudzības pārbaudi, der procedūrām, kurās likmes ir vēl augstākas. Mēs runājam šīs jomas valodā: suverenitāte, nekādu ārvalstu melno kastu, atklāti un neatkarīgi auditējami algoritmi.
Kā sākas sadarbība
- 01Saruna. Jūs aprakstāt sistēmu; mēs neērtos jautājumus uzdodam agri.
- 02Rakstisks tvērums. Īss, ar cenu, godīgs par nezināmajiem.
- 03Darbs atklātībā. Specifikācijas, lēmumi un progress jums redzami visu laiku.