Ydelser
Tre kompetencer, én disciplin.
Alt herunder er bygget efter den samme test: hvis det går i stå, hvem opdager det; hvis det regner forkert, hvem betaler; hvis det revideres, hvad viser sporet.
01
Missionskritisk arkitektur & levering
Et system afgøres længe før den første linje kode. Vi skriver beslutningerne ned — og bærer dem hele vejen til produktion.
- Systemarkitektur til kritisk drift. Transaktionsplatforme i flere lag: applikations-, beregnings-, rapporterings- og grænsefladelag — og grænserne imellem dem. Register- og styringssystemer, hvor databasen er kilden til sandhed for forpligtelser i den virkelige verden — penge, kapacitet, rettigheder.
- Født-digitale processer på kryptografisk fundament. Ikke papirgange projiceret op på skærme: processer designet digitalt fra første skridt, hvor signatur, godkendelse, forsendelse og arkivering danner én matematisk beskyttet kæde. Ekspeditionstiden falder fra dage til sekunder, hvert trin efterlader verificerbart bevis, og processens korrekthed kan demonstreres over for udenforstående — offentligt, uden at de underliggende data afsløres.
- Design af analytisk bogføring & hovedbog. Brugerstyring, instrument, konto, produkt, transaktion — pengenes objektmodel. Bogføringsskabeloner, saldo- og beholdningscontainere, loro/nostro-logik, hovedbogsmapning. Til banker, investeringsselskaber, pensionskasser — og til markeder, der afregner i megawatt-timer i stedet for forint.
- Specifikationer, der overlever mødet med udviklingen. Forretningsmæssige og funktionelle specifikationer, logiske systemplaner, use cases, grænsefladekontrakter. Skrevet til at bygge efter — og til at blive diskuteret, før pengene er brugt.
- Audit & due diligence. Driftsmæssig og it-mæssig due diligence af eksisterende systemer og leverandører — hvad der faktisk findes, hvad det koster at beholde, og hvad det koster at forlade.
- Beregningsdesign. Annuitetsplaner med variable renter og løbetider, dagskonventioner og afrundingsregimer, der overlever afstemning, allokeringsalgoritmer til kvotering og afvikling.
- Leverancedisciplin. Kodestandarder, code review, testdækning bundet til specifikationen, releasestyring. Agilt, hvor det hjælper — nedskrevet altid.
Belæg
For en factoringvirksomhed udledte vi aftaleberegningen fra første principper — en rekursion over variable månedlige renter og ydelser, der kan løses for en vilkårlig ubekendt: ydelse, rente, nutidsværdi eller løbetid. Det regneark, forretningen godkendte, er den samme matematik, som motoren kører.
02
Distribuerede algoritmer & systemer
Korrekthed i stor skala er en designegenskab, ikke et resultat af en belastningstest.
- Transaktionsbehandling med høj gennemstrømning. Platforme drevet med six sigma-disciplin over databaser i terabyteklassen; låsning, journalisering og idempotens behandlet som førsteklasses egenskaber. Det neo-kernebanksystem, vi har designet og bygget, bogfører 10–15.000 transaktioner i sekundet pr. node og betjener 100.000 kundekonti pr. node — på 2 CPU'er og 4 GB RAM, ikke en klynge på størrelse med et datacenter.
- Tofaset commit uden den centrale manager. Vores egen distribuerede transaktionsprotokol behøver ingen central transaktionsmanager-server — og netop det gør lineær skalering ærlig: tilføj en node, få en nodes gennemstrømning, ingen koordinator at mætte.
- Distribuerede registre uden ét centralt sandhedspunkt. Arkitekturer, hvor institutioner fører deres egne kryptografisk kædede registre, sammenkoblet så helheden forbliver verificerbar, uden at nogen deltager ligger inde med hele datasættet. Omfatter vores decentrale design til beholdningsstyring — P&L kan beregnes uden at bogføre gennem kundekonti.
- Tilstandsmaskiner for penge. Tilbud, aftaler, overførsler, afviklingskørsler — modelleret som eksplicitte tilstandsmaskiner, designet til replay, afstemning og revision.
- Meddelelsesdrevne pipelines. NATS, Kafka, RabbitMQ; flows fra indlæsning til publicering, hvor outputtet er en markedshændelse — udbudsevaluering, optimering, transparenspublicering.
- Algoritmer til den svære 1 %. Allokerings- og afrundingsskemaer, der forbliver konsistente under samtidighed; optimeringsmodeller til kapacitetsindkøb — herunder målfunktioner, der er for komplekse til at invertere og derfor løses numerisk; de grænsetilfælde, alle andre udskyder.
Belæg
Det system til indkøb af balanceenergi, vi designede for en national transmissionssystemoperatør, indlæser daglige udbudsbud, fodrer en optimeringsmotor og publicerer resultaterne til den europæiske transparensplatform — en pipeline, hvor et usandsynligt tal ikke er en tastefejl, men en hændelse.
03
Anvendt kryptografi
Femten års kryptografisk ingeniørarbejde — protokoller, vi designer, beviser, publicerer og kører i produktion. Ikke teoretisk kryptografi, der lever i artikler: konstruktioner, der består revisioner, bærer licenser og afvikler betalinger. I EU er der måske én eller to grupper, der gør dette fra ende til anden. Vi er en af dem.
Hvorfor formålsbygget slår generisk ZK
Generiske zero-knowledge-systemer er et vidunder — og som regel det forkerte værktøj. De medbringer tillidskrævende ceremonier, tunge bevistider og en afhængighed, man ikke kan udskifte. Vi designer i stedet formålsbyggede protokoller: beviser formet efter præcis den forretningsegenskab, der skal vises. Resultatet er hastighed (under 100 ms, hvor generiske kredsløb tager sekunder), ingen trusted setup at skulle forklare en revisor — og udskiftelige kryptografiske primitiver: når en kurve eller et skema ældes, overlever konstruktionen. Det er det, der forvandler kryptografi fra en omkostningslinje til en forretningsfordel.
- Tærskelkryptografi. Distribueret nøglegenerering og -forvaltning, hvor den komplette private nøgle aldrig eksisterer — noget sted, på noget tidspunkt. Vores publicerede NPVDKGRS-skema (ikke-interaktiv, offentligt verificerbar DKG og gendeling over BLS12-381) kører i dag under en MiCA-licenseret platform og er gennemgået af universitetskryptografer.
- Kryptografisk autorisation. Vores egen rettighedsprotokol bygget på NPVDKGRS: adgangsrettigheder som kryptografiske kendsgerninger, ikke databaserækker. Hvem der må handle, hvem der handlede, og hvornår — bevisligt; delegering uden nogensinde at udlevere en nøgle; rettigheder, der kan tilbagekaldes øjeblikkeligt. Institutionelle tærskelsignaturer, hvor ansvaret for beslutningen kan placeres, uden at enkeltpersoner kan udsættes for pres.
- Tærskelbaseret kommando & kontrol. Topersonersreglen, generaliseret: enhver k-af-n-godkendelsesordning håndhævet af matematik frem for procedure — et segl, der aldrig eksisterer i ét stykke, klar til brug på sekunder, uden HSM og uden tillidskrævende ceremoni. Signering sker i én meddelelse (ikke-interaktivt), så det virker over langsomme, forringede eller envejsforbindelser; signaturerne har konstant størrelse, uanset hvor mange parter der deltog. Når en nøgleholder skifter — omplacering, tab, mistanke om kompromittering — omfordeles andelene på brøkdele af et sekund, mens organisationens offentlige segl forbliver uændret.
- Bevislig procesintegritet. Forseglede indleveringer, som ingen operatør kan åbne før tid — bevisligt; kædede, manipulationsafslørende processpor; efterlevelse demonstreret over for udenforstående med beviser i zero-knowledge-stil, uden at de underliggende data udleveres. Bygget til indkøb, udbud, tilsyn i klassificerede sammenhænge og enhver procedure, hvor »stol på os« ikke længere er et acceptabelt svar.
- Postkvanteparathed. Kvantesikkert algoritmearbejde og design af PQC-migrering frem mod EU's 2030-frist for kritisk infrastruktur: kryptografiske inventarlister, hybride overgangsordninger — og en gitterbaseret postkvantevariant af vores eget tærskelskema — designet og klar til implementering.
- Digitale kontanter, gjort ordentligt. Vi har forfattet Pactena-protokollen — private, øjeblikkelige betalinger, der virker offline, og hvor dobbeltforbrug matematisk afslører svindleren — og Qashmore, betalingsløsningen bygget på den.
- Bevissystemer dimensioneret til problemet. Selektiv afsløring, commitments, akkumulatorer, proof-of-reserves-konstruktioner — lette, formålsbyggede beviser, dér hvor en fuld SNARK er mere, end problemet kræver.
- Protokolgennemgang. Second opinion på kryptografiske designs, før de bliver til forpligtelser — nøgleceremonier, opbevaringsordninger, signeringsflows, gendannelsesveje.
Belæg
Tillidsfrit, men under tilsyn: i vores nøglegenereringsskema skaber og gendeler uafhængige parter en tærskelnøgle, hvor hvert trin er offentligt verificerbart — og når en nøgleholder skifter, omfordeles andelene på sekunder, uden ceremoni og uden HSM. Den egenskab, en tilsynsmyndighed ønsker, leveret som matematik i stedet for forskrifter.
Hvor det kører
Finansielle kernesystemer
Kernebank, værdipapirafvikling, factoring, pensionskasse- og fondsregnskab. To årtiers hovedbøger i produktion.
Energi & råvarer
Register-, afviklings- og indkøbssystemer til energimarkeder — gennemprøvet på elsiden (børsclearing, TSO-balanceringsudbud, europæisk transparenspublicering), bygget til at bære gas, olie og andre råvarer under samme disciplin.
Regulerede digitale aktiver
Udvikling af MiCA-licenserede platforme, tokenisering med reel analytisk bogføring bagved, drift med DORA for øje.
Offentlig sektor & forsvar
Hvor procesintegritet er selve missionen. Født-digital forvaltning i stedet for digitaliseret papir; kommando- og rettighedskæder håndhævet af k-af-n-matematik; forseglede procedurer med manipulationsafslørende spor; tilsyn tilfredsstillet med beviser, ikke med udlevering af data. Byggeklodserne ovenfor — tærskelnøgleforvaltning, kryptografisk autorisation, bevislig procesintegritet — kan overføres direkte; den samme disciplin, der bestod det finansielle tilsyns prøvelse, gælder for procedurer, hvor indsatsen er endnu højere. Vi taler domænets sprog: suverænitet, ingen udenlandske sorte bokse, åbne og uafhængigt reviderbare algoritmer.
Sådan begynder et samarbejde
- 01En samtale. Du beskriver systemet; vi stiller de ubehagelige spørgsmål tidligt.
- 02Et nedskrevet scope. Kort, prissat, ærligt om det ukendte.
- 03Arbejde i det åbne. Specifikationer, beslutninger og fremdrift er synlige for dig hele vejen.