Servizi
Tre competenze, una sola disciplina.
Tutto ciò che segue è costruito sullo stesso test: se si ferma, chi se ne accorge; se sbaglia, chi paga; se viene sottoposto ad audit, cosa mostra la traccia.
01
Architettura e delivery mission-critical
Un sistema si decide molto prima della prima riga di codice. Noi mettiamo le decisioni per iscritto — e poi le portiamo fino in produzione.
- Architettura di sistema per operazioni critiche. Piattaforme transazionali multilivello: livello applicativo, di calcolo, di reporting e di interfaccia, e i confini tra loro. Sistemi di registro e di controllo in cui il database è la fonte di verità di obbligazioni reali — denaro, capacità, diritti.
- Processi nativi digitali, su fondamenta crittografiche. Non flussi cartacei proiettati su schermo: processi progettati digitali dal primo passo, in cui firma, autorizzazione, trasmissione e archiviazione formano un’unica catena protetta matematicamente. I tempi scendono da giorni a secondi, ogni passaggio lascia evidenza verificabile e la correttezza del processo può essere dimostrata a terzi — pubblicamente, senza divulgare i dati sottostanti.
- Contabilità analitica e disegno della contabilità generale. Gestione utenti, strumento, conto, prodotto, transazione — il modello a oggetti del denaro. Schemi di scrittura, contenitori di saldi e giacenze, logica dei conti loro/nostro, mapping verso la contabilità generale. Per banche, imprese di investimento, fondi pensione — e per mercati che regolano in megawattora invece che in fiorini.
- Specifiche che sopravvivono al contatto con lo sviluppo. Specifiche di business e funzionali, disegni logici di sistema, casi d’uso, contratti di interfaccia. Scritti per costruirci sopra, e per discuterne prima che il denaro sia speso.
- Audit e due diligence. Due diligence operativa e informatica di sistemi e fornitori esistenti — che cosa c’è davvero, quanto costa mantenerlo, quanto costa abbandonarlo.
- Progettazione dei calcoli. Piani di ammortamento con tassi e durate variabili, convenzioni di conteggio dei giorni e regimi di arrotondamento che reggono la riconciliazione, algoritmi di allocazione per quotazione e settlement.
- Disciplina di delivery. Standard di codifica, code review, copertura di test legata alla specifica, release management. Agile dove serve, per iscritto sempre.
Prova concreta
Per un operatore di factoring abbiamo derivato il calcolo dei contratti dai principi primi — una ricorrenza su tassi e rate mensili variabili che risolve qualunque incognita: rata, tasso, valore attuale o durata. Il foglio di calcolo approvato dal business è la stessa matematica che il motore esegue.
02
Algoritmi e sistemi distribuiti
La correttezza su larga scala è una proprietà di progetto, non il risultato di un load test.
- Elaborazione transazionale ad alto throughput. Piattaforme operate a livello sei sigma su database dell’ordine dei terabyte; locking, journaling e idempotenza trattati come funzionalità di prima classe. Il sistema neo-core banking che abbiamo progettato e costruito contabilizza 10–15.000 transazioni al secondo per nodo e serve 100.000 conti clienti per nodo — con 2 CPU e 4 GB di RAM, non con un cluster grande come un data center.
- Commit a due fasi senza gestore centrale. Il nostro protocollo di transazioni distribuite non richiede alcun server centrale di gestione delle transazioni — ed è proprio questo a rendere onesta la scalabilità lineare: si aggiunge un nodo, si ottiene il throughput di un nodo, senza un coordinatore da saturare.
- Registri distribuiti senza un custode unico della verità. Architetture in cui ogni istituzione mantiene i propri registri concatenati crittograficamente, collegati tra loro perché l’insieme resti verificabile senza che alcun partecipante detenga l’intero dataset. Compreso il nostro disegno di gestione decentralizzata delle giacenze — con P&L calcolabile senza scritture sui conti dei clienti.
- Macchine a stati per il denaro. Offerte, contratti, trasferimenti, cicli di settlement — modellati come macchine a stati esplicite, progettate per replay, riconciliazione e audit.
- Pipeline a messaggi. NATS, Kafka, RabbitMQ; flussi dall’acquisizione alla pubblicazione, dove l’output è un evento di mercato — valutazione delle gare, ottimizzazione, pubblicazione di trasparenza.
- Algoritmi per l’1% difficile. Schemi di allocazione e arrotondamento che restano coerenti sotto concorrenza; modelli di ottimizzazione per l’approvvigionamento di capacità — comprese funzioni obiettivo troppo complesse da invertire, risolte per via numerica; i casi limite che tutti gli altri rimandano.
Prova concreta
Il sistema di approvvigionamento dell’energia di bilanciamento che abbiamo progettato per un gestore nazionale della rete di trasmissione acquisisce le offerte delle gare giornaliere, alimenta un motore di ottimizzazione e pubblica i risultati sulla piattaforma europea di trasparenza — una pipeline in cui un numero non plausibile non è un refuso, è un incidente.
03
Crittografia applicata
Quindici anni di ingegneria crittografica — protocolli che progettiamo, dimostriamo, pubblichiamo e mandiamo in produzione. Non crittografia teorica che vive negli articoli scientifici: costruzioni che superano gli audit, reggono licenze e regolano pagamenti. Nell’UE i gruppi che lo fanno dall’inizio alla fine sono forse uno o due. Noi siamo uno di quelli.
Perché il su misura batte lo ZK generico
I sistemi zero-knowledge generici sono una meraviglia — e quasi sempre lo strumento sbagliato. Portano con sé cerimonie di trusted setup, tempi di prova pesanti e una dipendenza che non si può sostituire. Noi progettiamo invece protocolli su misura: prove modellate sull’esatta proprietà di business da dimostrare. Il risultato è velocità (sotto i 100 ms dove i circuiti generici impiegano secondi), nessun trusted setup da spiegare a un auditor e primitive crittografiche intercambiabili — quando una curva o uno schema invecchia, la costruzione sopravvive. È questo che trasforma la crittografia da voce di costo in vantaggio di business.
- Crittografia threshold. Generazione e gestione distribuita delle chiavi in cui la chiave privata completa non esiste mai — da nessuna parte, in nessun momento. Il nostro schema pubblicato NPVDKGRS (DKG e resharing non interattivi e verificabili pubblicamente su BLS12-381) è oggi in esercizio sotto una piattaforma con licenza MiCA ed è stato esaminato da crittografi universitari.
- Autorizzazione crittografica. Il nostro protocollo di gestione dei diritti costruito su NPVDKGRS: i diritti di accesso come fatti crittografici, non come righe di database. Chi può agire, chi ha agito e quando — dimostrabile; delega senza mai consegnare una chiave; diritti revocabili all’istante. Firme threshold istituzionali in cui la decisione è tracciabile, ma i singoli non possono essere esposti a pressioni.
- Comando e controllo threshold. La regola dei due uomini, generalizzata: qualunque schema di approvazione k-su-n imposto dalla matematica anziché dalla procedura — un sigillo che non esiste mai intero, utilizzabile in secondi, senza HSM, senza trusted setup e senza cerimonie. La firma è a messaggio singolo (non interattiva), quindi funziona su collegamenti lenti, degradati o unidirezionali; le firme restano di dimensione costante qualunque sia il numero dei partecipanti. Quando un titolare di chiave cambia — riassegnazione, smarrimento, sospetta compromissione — le quote vengono ridistribuite in frazioni di secondo, mentre il sigillo pubblico dell’organizzazione resta invariato.
- Integrità dimostrabile dei processi. Buste sigillate che nessun operatore può aprire in anticipo — in modo dimostrabile; tracce procedurali concatenate, a prova di manomissione; conformità dimostrata a terzi con prove in stile zero-knowledge, senza consegnare i dati sottostanti. Pensata per appalti, gare, vigilanza in contesti classificati e per ogni procedura in cui «fidatevi di noi» non è più una risposta accettabile.
- Preparazione post-quantum. Lavoro su algoritmi quantum-safe e disegno di migrazioni PQC in vista della scadenza UE del 2030 per le infrastrutture critiche: inventari crittografici, schemi di transizione ibridi — e una variante post-quantum su reticoli del nostro schema threshold, già progettata e in attesa di implementazione.
- Contante digitale, fatto come si deve. Siamo gli autori del Pactena Protocol — pagamenti privati, istantanei e utilizzabili offline, in cui la doppia spendita rivela matematicamente il truffatore — e di Qashmore, la soluzione di pagamento costruita su di esso.
- Sistemi di prova commisurati al problema. Selective disclosure, commitment, accumulatori, costruzioni di proof-of-reserves — prove leggere e su misura, dove uno SNARK completo è più di quanto il problema richieda.
- Revisione di protocolli. Un secondo parere sui progetti crittografici prima che diventino impegni vincolanti — cerimonie di chiave, schemi di custodia, flussi di firma, percorsi di recupero.
Prova concreta
Trustless ma vigilato: nel nostro schema di generazione delle chiavi, parti indipendenti creano e ridistribuiscono una chiave threshold con ogni passo verificabile pubblicamente — e quando un titolare cambia, le quote vengono ridistribuite in secondi, senza cerimonie e senza HSM. La proprietà che un regolatore vuole, consegnata come matematica anziché come policy.
Dove gira
Sistemi core finanziari
Core banking, settlement titoli, factoring, contabilità di fondi pensione e di fondi. Due decenni di ledger in produzione.
Energia e commodity
Sistemi di registro, settlement e approvvigionamento per i mercati dell’energia — collaudati sul mercato elettrico (clearing di borsa, gare di bilanciamento per il TSO, pubblicazione sulla piattaforma europea di trasparenza), progettati per gestire gas, petrolio e altre commodity con la stessa disciplina.
Asset digitali regolamentati
Ingegneria di piattaforme con licenza MiCA, tokenizzazione con una vera contabilità analitica alle spalle, operatività attenta a DORA.
Settore pubblico e difesa
Dove l’integrità del processo è la missione. Amministrazione nativa digitale invece di carta digitalizzata; catene di comando e di autorizzazione imposte dalla matematica k-su-n; procedure sigillate con tracce a prova di manomissione; vigilanza soddisfatta da prove, non dalla consegna dei dati. I mattoni descritti sopra — gestione threshold delle chiavi, autorizzazione crittografica, integrità dimostrabile dei processi — si applicano direttamente; la stessa disciplina che ha superato il vaglio della vigilanza finanziaria vale per procedure in cui la posta è ancora più alta. Parliamo la lingua di questo dominio: sovranità, nessuna scatola nera straniera, algoritmi aperti e verificabili in modo indipendente.
Come inizia un incarico
- 01Una conversazione. Lei descrive il sistema, noi facciamo subito le domande scomode.
- 02Un perimetro scritto. Breve, con i prezzi, onesto sulle incognite.
- 03Lavoro alla luce del sole. Specifiche, decisioni e avanzamento visibili a Lei in ogni momento.