サービス
3つの能力を、ひとつの規律で。
以下のすべては、同じ基準で構築されています。止まったら、誰が気づくか。誤ったら、誰が支払うか。監査されたら、証跡は何を示すか。
01
ミッションクリティカルなアーキテクチャとデリバリー
システムの成否は、最初の1行のコードよりはるか前に決まっています。私たちはその決定を文書に書き起こし — そのままプロダクションまで運びます。
- クリティカルな業務のためのシステムアーキテクチャ。 多層トランザクション・プラットフォーム：アプリケーション層、計算層、レポーティング層、インターフェース層と、その間の境界。データベースが現実世界の債務 — 資金、容量、権利 — の真実の源となる登録・管理システム。
- 暗号を基盤とする、生まれながらにデジタルなプロセス。 紙のワークフローを画面に投影するのではなく、最初のステップからデジタルとして設計されたプロセスです。署名、承認、伝送、保存が、数学的に保護されたひとつの連鎖を成します。処理時間は数日から数秒へ、あらゆるステップが検証可能な証拠を残し、プロセスの正しさは — 基礎データを開示することなく、公開の形で — 外部に対して実証できます。
- 分析会計と総勘定元帳の設計。 ユーザー管理、金融商品、口座、プロダクト、トランザクション — お金のオブジェクトモデル。記帳テンプレート、残高・在高コンテナ、ロロ／ノストロのロジック、GLマッピング。銀行、投資サービス業者、年金基金のために — そして、フォリントではなくメガワット時で決済する市場のために。
- 開発との接触に耐える仕様書。 業務仕様、機能仕様、論理システム設計、ユースケース、インターフェース契約。そのまま実装できるように — そして、資金を投じる前に議論できるように書かれています。
- 監査とデューデリジェンス。 既存システムとベンダーの業務・IT両面のデューデリジェンス — 実際に何があるのか、維持に何がかかるのか、離脱に何がかかるのか。
- 計算ロジックの設計。 変動金利・変動期間のアニュイティ・スケジュール、突合に耐える日数計算と丸めの規程、気配提示と決済のための配分アルゴリズム。
- デリバリーの規律。 コーディング標準、コードレビュー、仕様に紐づくテストカバレッジ、リリース管理。有効な場面ではアジャイルに。文書化は、常に。
実証事例
あるファクタリング事業のために、契約計算を第一原理から導出しました — 変動する月次金利と返済額にわたる漸化式で、返済額、金利、現在価値、期間のいずれの未知数についても解けるもの。業務部門が承認したスプレッドシートと、エンジンが実行する数学は、同じものです。
02
分散アルゴリズムと分散システム
スケール時の正しさは設計上の性質であって、負荷試験の結果ではありません。
- 高スループットのトランザクション処理。 テラバイト級データベース上でシックスシグマ水準の運用を行うプラットフォーム。ロック、ジャーナリング、冪等性を第一級の機能として扱います。当社が設計・構築したネオ・コアバンキングシステムは、ノード1台あたり毎秒10,000〜15,000件のトランザクションを記帳し、ノード1台あたり100,000件の顧客口座を担います — データセンター規模のクラスターではなく、2CPUと4GBのRAMで。
- 中央マネージャーのいない2相コミット。 当社独自の分散トランザクション・プロトコルには、中央のトランザクションマネージャー・サーバーが不要です — 線形スケーリングを名ばかりでないものにするのは、まさにこの点です。ノードを1台追加すれば、ノード1台分のスループットが得られる。飽和するコーディネーターは存在しません。
- 単一の「真実の番人」を持たない分散レジストリ。 各機関が自らの暗号的にチェーン化された記録を保持し、それらが相互にリンクされることで、どの参加者も全データを持つことなく全体の検証可能性が保たれるアーキテクチャ。顧客口座を経由した記帳なしにP&Lを算出できる、当社の分散在高管理設計を含みます。
- お金のためのステートマシン。 オファー、契約、振替、決済処理 — 明示的なステートマシンとしてモデル化し、リプレイ、突合、監査のために設計します。
- メッセージ駆動パイプライン。 NATS、Kafka、RabbitMQ。取り込みから公表までのフロー — 出力そのものが市場イベントとなるもの：入札評価、最適化、透明性公表。
- 困難な1%のためのアルゴリズム。 並行処理下でも整合性を保つ配分・丸めスキーム。容量調達のための最適化モデル — 解析的には逆に解けないほど複雑な目的関数を数値的に解くものを含みます。そして、誰もが後回しにするエッジケース。
実証事例
一国の送電系統運用者のために設計した調整力調達システムは、日次の入札を取り込み、最適化エンジンに供給し、結果を欧州透明性プラットフォームへ公表します — このパイプラインでは、ありえない数字は誤記ではなく、インシデントです。
03
応用暗号
15年にわたる暗号エンジニアリング — 自ら設計し、証明し、公開し、プロダクションで運用するプロトコル。論文の中だけの理論暗号ではありません。監査を通過し、ライセンスを支え、支払いを決済する構成です。EUでこれをエンドツーエンドで担えるグループは、おそらく1つか2つ。私たちはその1つです。
汎用ZKより目的特化型が優れる理由
汎用ゼロ知識システムは驚異的な技術です — そして、たいていの場合は不適切な道具です。トラステッド・セレモニー、重い証明時間、差し替え不能な依存を持ち込みます。私たちは代わりに、目的特化型のプロトコルを設計します。証明すべきビジネス上の性質そのものに合わせて形づくられた証明です。その結果が、速度（汎用回路が数秒かかるところを100ms未満）、監査人に説明すべきトラステッド・セットアップの不在、そして交換可能な暗号プリミティブ — 曲線や方式が古びても、構成は生き残ります。暗号をコスト項目からビジネス上の優位性へ変えるのは、これです。
- 閾値暗号。 完全な秘密鍵が — どこにも、どの瞬間にも — 存在しない分散鍵生成・管理。当社が公開したNPVDKGRS方式（BLS12-381上の非対話型・公開検証可能なDKGと再分散）は、今日MiCAライセンス取得プラットフォームの基盤で稼働しており、大学の暗号研究者によるレビューを受けています。
- 暗号による権限管理。 NPVDKGRSの上に構築した独自の権限プロトコル。アクセス権を、データベースの行ではなく暗号的な事実として扱います。誰が実行できるのか、誰が、いつ実行したのか — 証明可能。鍵を渡すことのない委任。即時に失効できる権利。意思決定に説明責任を持たせながら、個人を圧力にさらさない、機関向けの閾値署名。
- 閾値による指揮統制。 ツーパーソン・ルールの一般化。任意のk-of-n承認スキームを、手続きではなく数学で強制します — 完全な形では決して存在しない封印。数秒で使用でき、HSMもトラステッド・セレモニーも不要です。署名は単一メッセージ（非対話型）のため、低速・劣化・一方向のリンクでも機能し、参加者が何人でも署名サイズは一定。鍵保持者が変わるとき — 配置転換、紛失、危殆化の疑い — シェアはコンマ数秒で再分散され、組織の公開封印（検証鍵）は変わりません。
- 証明可能なプロセス完全性。 どのオペレーターも早期に開封できないことが証明可能な、封印付き提出。チェーン化された、改竄検知可能な手続き証跡。ゼロ知識型の証明によって、基礎データを引き渡すことなく外部に実証されるコンプライアンス。調達、入札、機密文脈での監督 — そして「私たちを信じてください」がもはや通用しない、あらゆる手続きのために。
- ポスト量子への備え。 EUの2030年重要インフラ期限に向けた耐量子アルゴリズムとPQC移行設計。暗号インベントリー、ハイブリッド移行スキーム — そして格子ベースの、当社閾値方式のポスト量子版。設計済みで、実装を待っています。
- デジタルキャッシュを、正しく。 私たちはPactena Protocolを設計しました — プライベートで、オフライン対応で、即時の支払い。二重使用は数学的に不正者自身を明かします — そして、その上に構築された決済ソリューションがQashmoreです。
- 課題の規模に合わせた証明システム。 選択的開示、コミットメント、アキュムレーター、準備金証明の構成 — フルSNARKが過剰な場面のための、軽量で目的特化型の証明。
- プロトコルレビュー。 暗号設計が既成事実になる前のセカンドオピニオン — 鍵セレモニー、カストディスキーム、署名フロー、復旧経路。
実証事例
トラストレス、しかし監督可能。当社の鍵生成方式では、独立した当事者が閾値鍵を生成・再分散し、あらゆるステップが公開検証可能です — 鍵保持者が変わればシェアは数秒で再分散され、セレモニーもHSMも不要。規制当局が求める性質を、ポリシーではなく数学として提供します。
稼働する領域
金融基幹システム
コアバンキング、証券決済、ファクタリング、年金基金・ファンド会計。20年にわたり本番稼働し続ける元帳。
エネルギーとコモディティ
エネルギー市場のための登録・決済・調達システム — 電力分野で実証済み（取引所クリアリング、TSO調整力入札、欧州透明性公表）。ガス、石油、その他のコモディティも同じ規律で扱えるように設計されています。
規制対応デジタル資産
MiCAライセンス取得プラットフォームのエンジニアリング、実体ある分析会計に裏付けられたトークン化、DORAを意識した運用。
公共部門・防衛
プロセスの完全性こそがミッションである領域です。デジタル化された紙ではなく、生まれながらにデジタルな行政。k-of-nの数学で強制される指揮と権限の連鎖。改竄検知可能な証跡を備えた封印付き手続き。データの引き渡しではなく、証明によって満たされる監督。上記の構成要素 — 閾値鍵管理、暗号による権限管理、証明可能なプロセス完全性 — はそのまま適用でき、金融監督当局の審査を通過したのと同じ規律は、より大きなものが懸かる手続きにも通用します。私たちはこの領域の言語を話します。主権、外国製ブラックボックスの排除、公開され独立に監査可能なアルゴリズム。
エンゲージメントの始まり方
- 01まず、対話。 お客様がシステムを説明し、私たちは不都合な問いを早い段階で投げかけます。
- 02次に、文書化されたスコープ。 簡潔で、価格が明示され、未知の部分について正直なもの。
- 03そして、オープンに進める仕事。 仕様、意思決定、進捗を、常にお客様から見える形で。