Projetos selecionados

Duas décadas de sistemas que não podem falhar.

Descritos sem nomes de clientes. Os sistemas dos nossos clientes são o negócio deles; a engenharia é nossa, e podemos contá-la. Os setores e a escala são exatos; as identidades são deliberadamente omitidas. A nossa própria investigação e os nossos protocolos têm nome, porque são nossos.

Sistemas core financeiros

Core banking, a partir de uma página em branco

Setor
Um dos maiores grupos bancários da Europa Central
Papel
Especificação, arquitetura e liderança de entrega do núcleo analítico

Uma plataforma de core banking de raiz: gestão de utilizadores e modelos de instrumentos, motores de produto, contentores de contas e de saldos, processamento de transações e o mapeamento para o razão geral por baixo de tudo. Especificámos e desenhámos o núcleo de contabilidade analítica — a parte em que cada movimento de dinheiro se torna um lançamento — e construímos por cima a aplicação cliente e a sua API. Um programa plurianual, com normas escritas por nós, do UML à revisão de código.

user management · instrument · account · transaction · GL

Back-office de títulos, duas décadas em produção

Setor
Bancos e intermediários financeiros
Papel
Desenvolvimento, liderança de conceção e, depois, arquitetura de plataforma

Liquidação e gestão de contas de títulos: alocações, tratamento de ordens, processamento de extratos bancários, eventos societários, contabilidade de custódia. Manutenção de posições e de inventário com valorização e P&L — incluindo um desenho de gestão descentralizada de inventário em que o P&L é computável sem lançar através das contas dos clientes. Sistemas em produção diária em várias instituições, refinados versão após versão durante mais de uma década — o tipo de software que sobrevive às estações de trabalho a partir das quais foi instalado.

allocation · settlement · custody · inventory · valuation · P&L

Factoring: o cálculo em que ninguém ousava tocar

Setor
Uma operação de factoring
Papel
Conceção do motor de contratos e de cálculo, no âmbito de uma renovação interna de sistemas

O módulo em que os contratos ganham preço: uma recorrência de taxa variável e prestação variável, resolvida para a grandeza de que a negociação precisar — prestação, taxa, desconto ou prazo. Derivado de primeiros princípios, prototipado em MATLAB, verificado contra os exemplos calculados do próprio negócio e aprovado pelas pessoas que fixam preços de contratos como profissão.

P₁ = P₀(1+r₁) − c₁ · annuity · iteration

Fundos de pensões e contabilidade de fundos

Setor
Fundos de pensões, intermediários financeiros
Papel
Conceção e desenvolvimento de sistemas analíticos e de razão geral

O coração pouco glamoroso da poupança de longo prazo: registos de unidades de participação, contabilidade analítica, integração com o razão geral, valorização e reconciliação. Décadas de saldos de participantes que têm de estar certos até ao último forint.

unit register · valuation · GL

Due diligence operacional, banca de PME

Setor
A divisão de PME de um banco comercial de referência
Papel
Due diligence de operações e de TI

Um olhar estruturado por dentro das operações que servem as PME: processos, sistemas, lacunas, e quanto custaria corrigi-los. O entregável foi clareza.

process · systems · findings

Risco de modelo, à escala global

Setor
Um banco de investimento global
Papel
Desenvolvimento de software de gestão de risco de modelo

Dentro de uma grande organização de engenharia, a construir as ferramentas que vigiam os modelos que vigiam o dinheiro. Trabalho full-stack numa stack centrada em Python, ágil em grande escala, com as obrigações de auditoria de uma instituição sistemicamente importante.

model risk · Python · controls

Análise fractal de mercados

Setor
Uma empresa de análise quantitativa
Papel
Conceção e construção da plataforma de análise e previsão

Uma plataforma orientada pela investigação, que aplica matemática baseada em geometria fractal a dados de velas — deteção de estrutura e previsão, concebida como produto, e não como um notebook de investigação.

fractal geometry · time series · prediction

Energia e matérias-primas

Liquidação de bolsa de eletricidade

Setor
Uma bolsa nacional de eletricidade
Papel
Especificação e conceção do sistema de compensação e liquidação

O sistema de registo do lado do dinheiro de um mercado de eletricidade: posições, preços, ciclos de liquidação, colateral. Disciplina contabilística de nível bancário aplicada a megawatts-hora — o mesmo rigor que trazemos a qualquer matéria-prima que compense através de um registo.

clearing · settlement · collateral

Energia de balanço, otimizada

Setor
O operador nacional da rede de transporte de eletricidade
Papel
Conceção lógica do sistema; pipeline de avaliação e otimização de concursos

Suporte informático à aquisição de serviços de sistema: concursos diários de capacidade de balanço ingeridos e avaliados por um motor de otimização baseado em MATLAB — a função objetivo era demasiado complexa para inverter analiticamente, pelo que é resolvida numericamente — com resultados publicados nos sistemas do operador e na plataforma europeia de transparência. Fluxos de transferência de capacidade com verificações de plausibilidade, porque, neste mercado, um número implausível não é uma gralha, é um incidente.

tender · MATLAB optimization · ENTSO-E publishing

Ativos digitais regulados

Uma plataforma de ativos digitais com licença MiCA

Setor
Um prestador europeu de serviços de ativos digitais
Papel
Conceção e construção da plataforma e do sistema de contas por cima dela

Um sistema neo-core banking e de gestão de contas de nova geração, com razão geral online — altamente distribuído e linearmente escalável, com um nó médio, de 2 CPU e 4 GB de RAM, a contabilizar 10–15 000 transações por segundo e a servir 100 000 contas de clientes. Por cima: custódia de ativos digitais com verdadeira contabilidade analítica por trás de cada saldo, e gestão de chaves de limiar construída sobre o nosso próprio esquema publicado. A plataforma passou o escrutínio que termina numa licença MiCA — uma estreia nacional para o seu regulador, publicamente reconhecida pelo banco central supervisor.

neo-core · online GL · 10–15k tx/s per node · MiCA · custody

Infraestrutura de fidelização e de moeda eletrónica

Setor
Fidelização no retalho / pagamentos eletrónicos (contexto de programa europeu de investigação)
Papel
Conceito, âmbito de negócio e conceção da plataforma

Infraestrutura de back-end unificada para fidelização digital e pequenos pagamentos eletrónicos: um único lugar para pontos, cupões, cartões-oferta e uma conta de moeda eletrónica, com iniciação de transações — não apenas consulta de saldos. Lógica de contas com suporte para contas ligadas dentro de um agregado familiar. Desenhada segundo as normas ISO de pagamentos e as exigências de segurança de dados dos sistemas internacionais de pagamento com cartões.

loyalty · e-money accounts · ISO

Investigação e protocolos próprios

Estes são nossos — por isso têm nome.

NPVDKGRS — cerimónias de chaves verificáveis

Setor
Investigação aberta, aplicada em produção
Papel
Conceção e implementação

Um esquema não interativo e publicamente verificável de geração distribuída e de repartilha de chaves sobre BLS12-381: partes independentes criam uma chave de limiar, qualquer pessoa pode verificar cada passo, sem rondas interativas — e a chave privada completa nunca existe em lado nenhum. Revisto por criptógrafos universitários, publicado em código aberto, a correr hoje sob uma plataforma com licença MiCA. Quando um detentor de chave muda, as partes da chave são redistribuídas em segundos — sem cerimónia, sem HSM. Uma variante pós-quântica baseada em reticulados está desenhada e a aguardar implementação.

BLS12-381 · threshold signatures · DKG · resharing · PQ variant designed

Um protocolo de autorização criptográfica

Setor
Protocolo nosso, construído sobre o NPVDKGRS
Papel
Conceção e implementação

Direitos como factos criptográficos e não como linhas de uma base de dados: quem pode agir, quem agiu, e quando — demonstrável a um examinador autorizado. As assinaturas de limiar institucionais tornam as decisões responsabilizáveis e, ao mesmo tempo, protegem de pressões dirigidas os indivíduos por trás delas. Desenhado para procedimentos em que a integridade do processo tem de ser demonstrada a terceiros — submissões seladas comprovadamente por abrir, rastos encadeados à prova de adulteração, conformidade demonstrada por provas ao estilo do conhecimento zero sem entregar os dados.

entitlements · threshold signing · provable process integrity

Um protocolo distribuído de transações em duas fases

Setor
Protocolo nosso para sistemas de transações linearmente escaláveis
Papel
Conceção e implementação

Two-phase commit sem o servidor central de gestão de transações. Remover o coordenador remove o estrangulamento e o ponto único de falha — e é isso que torna honesta a escalabilidade linear: acrescente um nó, receba o débito de um nó. O protocolo sustenta o processamento de transações que construímos para cargas de gestão de contas.

2PC without coordinator · linear scaling · no SPOF

Protocolo Pactena e Qashmore — dinheiro digital, feito como deve ser

Setor
O nosso protocolo e a solução de pagamentos sobre ele
Papel
Conceção e implementação

Pagamentos privados, instantâneos e capazes de funcionar offline — com a propriedade de que gastar o mesmo dinheiro duas vezes revela matematicamente o fraudador. Provas ao estilo do conhecimento zero, feitas à medida, permitem verificação em menos de 100 ms sem circuitos de prova genéricos. O Pactena é o protocolo; o Qashmore é o produto: dinheiro digital, e mais.

private · offline-capable · instant · self-revealing fraud

Se o seu sistema pertence a esta página — ou nunca pode aparecer em página nenhuma — falemos.

Fale connosco