我们的做法
安全就是功能。
链上代码永久且公开,一个漏洞就是一条头条新闻。我们按最坏情况设计:经过威胁建模的合约、详尽测试、外部审计,以及不会把密钥交给任何人的升级路径。然后围绕它们构建索引器、仪表盘和托管系统。
- 01实现之前先做威胁建模并确定不变量
- 02兼顾 Gas 成本、升级安全的合约设计
- 03外部审计与持续模糊测试
- 04规范的托管与密钥管理
能力
我们能构建什么。
智能合约开发
兼顾 Gas 成本、升级安全的合约,基于威胁模型设计,并依据不变量测试。
钱包与托管
冷金库由签名人法定人数和白名单地址把关,密钥永不离开设备。
资产代币化
股权结构表上链,转让策略、锁定期和持有人上限均由合约强制执行。
许可链与公有链
公有链或私有许可网络,同样遵循基于威胁建模的合约规范。
跨链桥
带健康监控的经证明跨链桥转账,跨链结算,直至 IBAN 到账。
索引器与子图
链下索引器将合约事件转化为可查询的数据,供您的应用和仪表盘使用。
安全审计与模糊测试
外部审查、持续模糊测试和公开测试网,之后才会有真实资产流转。
合规仪表盘
每一次策略检查、放行或拦截的转账以及锁定期,一屏尽览。
实地应用
再看四个工作中的界面。
真实产品界面,使用演示数据。
我们如何工作
从规格到链上结算。
- 01
建模
我们梳理资产、参与方和不变量,以及每一项可能招致的攻击。
- 02
构建
合约与链下服务小步快跑、持续迭代,并依据不变量测试。
- 03
审计
外部审查、模糊测试和公开测试网,之后才会有真实资产流转。
- 04
运维
监控、事件应急手册和值得信赖的托管——移交给您,或与您共同运营。
成果
项目带来的回报。
来自我们从试点推进到生产的代币化资产平台。
4 周
从试点到投产
0
严重审计发现
100%
不变量测试覆盖率
24/7
受监控的账本