核心银行，从一张白纸开始
一个从零建设的核心银行平台：用户管理与金融工具模型、产品引擎、账户与余额容器、交易处理，以及承载这一切的总账映射。我们规格化并设计了明细核算核心——资金的每一次流动在此成为一笔记账——并在其上构建了客户端应用及其API。多年期项目，标准由我们制定，从UML到代码评审。
精选案例
二十年，不容有失的系统。
以下描述均不含客户名称。客户的系统是他们的业务；其中的工程，才是我们可以讲述的。行业与规模属实；身份被有意隐去。我们自己的研究与协议则一一具名，因为那是我们的。
金融核心系统
证券后台，二十年生产运行
证券的结算与账户管理：配售分配、订单处理、银行对账单处理、公司行为、托管核算。带估值与损益的头寸及库存管理——包括一项去中心化库存管理设计，无需经客户账户记账即可计算损益。系统在多家机构每日生产运行，十余年间一版接一版地打磨——这类软件，比当年安装它的工作站活得更久。
保理：没人敢碰的那个计算
为合同定价的模块：一个利率可变、分期可变的递推式，可对谈判所需的任何量求解——分期额、利率、贴现或期限。从第一性原理推导，在MATLAB中做原型验证，对照业务方自己的算例核验，并由以定价为业的人签字确认。
养老基金与基金核算
长期储蓄那颗不起眼的心脏：份额登记、明细核算、总账集成、估值与对账。数十年的成员余额，必须精确到最后一福林。
运营尽职调查，中小企业银行业务
对服务中小企业的运营体系做一次结构化的深入检视：流程、系统、缺口，以及修复它们的代价。交付物，是清晰。
模型风险，全球规模
在一个大型工程组织内部，构建“看守那些看守资金的模型”的工具。以Python为核心的全栈工作、规模化敏捷，以及系统重要性机构的审计义务。
分形市场分析
一个研究驱动的平台，将基于分形几何的数学应用于K线数据——结构识别与预测，按产品而非实验笔记本的标准来打造。
能源与大宗商品
电力交易所结算
电力市场资金侧的权威记录系统：头寸、价格、结算批次、担保品。以银行级核算纪律对待兆瓦时——对任何经登记清算的大宗商品，我们抱以同样的严谨。
平衡能量，优化到位
系统级服务采购的IT支撑：每日平衡容量招标数据接入，由基于MATLAB的优化引擎评估——目标函数复杂到无法解析求逆，故采用数值求解——结果发布至运营商系统与欧洲透明度平台。容量转移流程配有合理性校验，因为在这个市场上，一个不合常理的数字不是笔误，而是事故。
受监管数字资产
一个持MiCA牌照的数字资产平台
一套带在线总账的新一代neo核心银行与账户管理系统——高度分布式、线性可扩展，一个2 CPU、4 GB内存的普通节点每秒记账10,000–15,000笔交易、服务100,000个客户账户。其上是数字资产托管，每一笔余额背后都有真实的明细核算，密钥管理采用我们自己公开发表的门限方案。该平台通过了以MiCA牌照为终点的审查——对其监管机构而言是全国首例，并获负责监管的央行公开确认。
忠诚度与电子货币基础设施
数字忠诚度计划与小额电子支付的统一后端基础设施：积分、优惠券、礼品卡与电子货币账户集中一处，并支持交易发起——而不只是余额展示。账户逻辑支持家庭内的关联账户。依照ISO支付标准与卡组织数据安全要求设计。
我们自己的研究与协议
这些是我们自己的——所以它们有名字。
NPVDKGRS — 可验证的密钥仪式
一个基于BLS12-381的非交互式、可公开验证的分布式密钥生成与份额重分配方案：独立各方共同创建一把门限密钥，任何人都能验证每一步，无需交互轮次——而完整私钥从不存在于任何地方。经大学密码学家评审，开源发表，如今运行在一个持MiCA牌照的平台之下。密钥持有人变动时，份额在数秒内重新分配——无仪式、无HSM。基于格的后量子变体已完成设计，待实现。
一个密码学授权协议
权限是密码学事实，而非数据库行：谁有权行事、谁实际行事、何时行事——可向获授权的审查者证明。机构级门限签名让决策可问责，同时使背后的个人免受针对性胁迫。为必须向外部证明流程完整性的程序而设计——密封提交可证明未被提前开启、链式防篡改轨迹、以类零知识证明展示合规而无需交出数据。
一个分布式两阶段事务协议
没有中央事务管理服务器的两阶段提交。去掉协调者，就去掉了瓶颈与单点故障——这正是让线性扩展名副其实的原因：加一个节点，得到一个节点的吞吐量。该协议是我们为账户类工作负载构建交易处理的基石。
Pactena协议与Qashmore——数字现金，做到位
私密、可离线、即时的支付——并具备这样一条性质：把同一笔钱花两次，会在数学上暴露欺诈者。定制的类零知识证明带来低于100 ms的验证速度，无需通用证明电路。Pactena是协议；Qashmore是产品：数字现金，以及更多。