主要実績

失敗が許されないシステムの、20年。

顧客名は記載していません。お客様のシステムはお客様の事業であり、私たちが語れるのはエンジニアリングです。セクターと規模は正確に、身元は意図的に伏せています。自社の研究とプロトコルには名前を付けています — 私たちのものだからです。

金融基幹システム

コアバンキングを、白紙から

セクター
中欧最大級の銀行グループ
役割
仕様策定、アーキテクチャ、分析コアのデリバリーリード

グリーンフィールドのコアバンキング・プラットフォーム:ユーザー管理と金融商品モデル、プロダクトエンジン、口座・残高コンテナ、トランザクション処理、そしてそのすべての下にある総勘定元帳マッピング。あらゆる資金移動が記帳となる部分 — 分析会計コア — を仕様化・設計し、その上にクライアントアプリケーションとAPIを構築しました。複数年に及ぶプログラム。標準は当社が策定 — UMLからコードレビューまで。

user management · instrument · account · transaction · GL

証券バックオフィス、本番稼働20年

セクター
銀行および投資サービス業者
役割
開発、設計リード、その後プラットフォーム・アーキテクチャ

証券の決済と口座管理:配分、注文処理、銀行明細処理、コーポレートアクション、カストディ会計。評価とP&Lを備えたポジション・在高管理 — 顧客口座を経由した記帳なしにP&Lを算出できる分散在高管理設計を含みます。複数の機関で日々本番稼働し、10年以上にわたりリリースを重ねて磨かれてきたシステム — インストール元のワークステーションより長生きする類のソフトウェアです。

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

ファクタリング:誰も触れようとしなかった計算

セクター
あるファクタリング事業者
役割
社内システム刷新における契約・計算エンジンの設計

契約の価格を決めるモジュールです。変動金利・変動返済額の漸化式を、交渉が必要とする任意の量 — 返済額、金利、割引、期間 — について解くもの。第一原理から導出し、MATLABでプロトタイプを作成し、業務部門自身の計算例と照合検証したうえで、契約の値付けを生業とする人々の承認を得ました。

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

年金基金とファンド会計

セクター
年金基金、投資サービス業者
役割
分析元帳・総勘定元帳システムの設計と開発

長期貯蓄の、華やかさとは無縁の心臓部:ユニット登録簿、分析会計、総勘定元帳連携、評価と突合。最後の1フォリントまで正しくなければならない、数十年分の加入者残高。

unit register · valuation · GL

業務デューデリジェンス、SMEバンキング

セクター
大手商業銀行のSME部門
役割
業務・ITデューデリジェンス

SME向け業務の内側を構造的に検分する仕事:プロセス、システム、ギャップ、そして是正に要するコスト。成果物は、明晰さでした。

process · systems · findings

モデルリスク、グローバルスケール

セクター
グローバル投資銀行
役割
モデルリスク管理ソフトウェアの開発

大規模なエンジニアリング組織の内側で、「お金を見張るモデル」を見張るツールを構築。Python中心のスタックでのフルスタック開発、スケールするアジャイル、そしてシステム上重要な機関としての監査義務。

model risk · Python · controls

フラクタル市場分析

セクター
クオンツ分析ベンチャー
役割
分析・予測プラットフォームの設計と構築

フラクタル幾何学に基づく数学をローソク足データに適用する、研究駆動型のプラットフォーム — 構造検出と予測を、ノートブックではなくプロダクトとしてエンジニアリングしました。

fractal geometry · time series · prediction

エネルギーとコモディティ

電力取引所の決済

セクター
一国の電力取引所
役割
クリアリング・決済システムの仕様策定と設計

電力市場の資金面を記録するシステム・オブ・レコード:ポジション、価格、決済処理、担保。銀行水準の会計規律をメガワット時に適用 — 登録簿を通じて清算されるあらゆるコモディティに持ち込むのと、同じ厳密さです。

clearing · settlement · collateral

調整力を、最適化する

セクター
一国の送電系統運用者
役割
論理システム設計、入札評価・最適化パイプライン

系統レベルのサービス調達を支えるITシステム:日次の調整力入札を取り込み、MATLABベースの最適化エンジンで評価し — 目的関数は解析的には逆に解けないほど複雑なため、数値的に解きます — 結果を運用者のシステムと欧州透明性プラットフォームへ公表します。妥当性チェックを備えた容量移転ワークフロー。この市場では、ありえない数字は誤記ではなく、インシデントだからです。

tender · MATLAB optimization · ENTSO-E publishing

規制対応デジタル資産

MiCAライセンス取得デジタル資産プラットフォーム

セクター
欧州のデジタル資産サービスプロバイダー
役割
プラットフォームと、その上の口座システムの設計・構築

オンライン総勘定元帳を備えた新世代のネオ・コアバンキング/口座管理システム — 高度に分散し、線形にスケールし、2CPU・4GB RAMの平均的なノード1台が毎秒10,000〜15,000件のトランザクションを記帳し、100,000件の顧客口座を担います。その上に載るのは、あらゆる残高に実体ある分析会計が裏付くデジタル資産カストディと、当社の公開方式に基づく閾値鍵管理。プラットフォームはMiCAライセンスに至る審査を通過しました — その規制当局にとっての国内第1号として、監督する中央銀行が公に認めたものです。

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

ロイヤルティ・電子マネーインフラ

セクター
小売ロイヤルティ/電子決済(EU研究プログラムの文脈)
役割
コンセプト、業務スコープ、プラットフォーム設計

デジタルロイヤルティと少額電子決済のための統合バックエンドインフラ:ポイント、クーポン、ギフトカード、電子マネー口座をひとつの場所に — 残高表示だけでなく、取引の起動(イニシエーション)まで。世帯内のリンク口座に対応する口座ロジック。ISO決済標準とカードスキームのデータセキュリティ要件に照らして設計しました。

loyalty · e-money accounts · ISO

自社の研究とプロトコル

これらは私たちのものです — だから、名前があります。

NPVDKGRS — 検証可能な鍵セレモニー

セクター
オープンリサーチ、プロダクションで適用
役割
設計と実装

BLS12-381上の非対話型・公開検証可能な分散鍵生成・再分散方式:独立した当事者が閾値鍵を生成し、誰もがあらゆるステップを検証でき、対話型ラウンドは不要 — そして、完全な秘密鍵はどこにも存在しません。大学の暗号研究者によるレビューを受け、オープンソースとして公開され、今日MiCAライセンス取得プラットフォームの基盤で稼働しています。鍵保持者が変わればシェアは数秒で再分散 — セレモニーなし、HSMなし。格子ベースのポスト量子版は設計済みで、実装を待っています。

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

暗号による権限管理プロトコル

セクター
NPVDKGRSの上に構築した当社プロトコル
役割
設計と実装

権限を、データベースの行ではなく暗号的な事実として:誰が実行できるのか、誰が、いつ実行したのか — 権限ある検査者に対して証明可能です。機関向けの閾値署名は、意思決定に説明責任を持たせながら、その背後にいる個人を標的型の圧力から守ります。プロセスの完全性を外部に実証しなければならない手続きのための設計 — 未開封であることが証明可能な封印付き提出、チェーン化された改竄検知証跡、データを引き渡すことのないゼロ知識型証明によるコンプライアンスの実証。

entitlements · threshold signing · provable process integrity

分散2相トランザクション・プロトコル

セクター
線形にスケールするトランザクションシステムのための当社プロトコル
役割
設計と実装

中央のトランザクションマネージャー・サーバーを持たない2相コミット。コーディネーターを取り除けば、ボトルネックと単一障害点も消えます — 線形スケーリングを名ばかりでないものにするのは、まさにこの点です。ノードを1台足せば、ノード1台分のスループット。このプロトコルが、当社が構築する口座管理ワークロード向けトランザクション処理を支えています。

2PC without coordinator · linear scaling · no SPOF

Pactena ProtocolとQashmore — デジタルキャッシュを、正しく

セクター
当社プロトコルと、その上の決済ソリューション
役割
設計と実装

プライベートで、オフライン対応で、即時の支払い — そして、同じお金を二度使えば数学的に不正者自身が明かされるという性質。目的特化型のゼロ知識型証明により、汎用証明回路なしで100ms未満の検証を実現します。Pactenaがプロトコル、Qashmoreがプロダクト:デジタルキャッシュ、そしてその先へ。

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

あなたのシステムがこのページに載るべきものなら — あるいは、誰のページにも決して載ってはならないものなら — お話ししましょう。

ご相談はこちら