白帽极客 · 密码学研究员 · 底层协议架构师

核心技术与研究团队

我们是一群战斗在区块链开发第一线与攻防对抗前沿的工程师。团队深谙智能合约虚拟机的底层运行机制,以严苛的形式化数学验证与白帽实战推演守护 Web3 资产。

Alex "Cipher" Chen

首席安全架构师 / 联合创始人

前知名白帽攻防实验室核心成员,专注 EVM 底层逆向与智能合约攻防对抗。精通重入攻击深度防御、闪电贷瞬时套利攻防推演及大规模去中心化借贷/DEX 协议经济模型加固。

EVM Internals Solidity DeFi Exploit Defense Foundry / Forge

Dr. Marcus Vance

形式化验证与密码学专家

理论计算机科学博士,专注于程序自动化分析与状态机模型检验。精通 Certora 规则规范编写与数学状态机论证,深耕 zk-SNARKs 零知识证明电路审计及 MPC 门限签名密钥管理方案。

Certora Prover Formal Methods zk-SNARKs MPC / TSS

Kimi Lin

底层公链与跨链协议负责人

资深分布式系统架构师,精通 Rust 与 Go 语言。主导过多条高性能公链节点及 Layer2 Rollup 扩容网关研发,精通 Solana SVM (Anchor) 内存安全与跨链轻客户端通信桥梁。

Rust Solana / SVM Rollup L2 Cosmos SDK

Elena Rostova

智能合约渗透测试与新生态研究员

知名 Bug Bounty 平台常驻白帽,多次挖掘并协助修复主流公链与头部 DeFi 协议高危漏洞。专长于新兴 Move 语言生态(Sui / Aptos)、Vyper 及复杂代币经济模型边界压力测试。

Move (Sui/Aptos) Vyper Fuzzing / Echidna Mythril

David Zhang

企业级联盟链与合规存证总监

曾主导多家头部金融机构与大型国企的区块链溯源存证落地实施。精通 FISCO BCOS、Hyperledger Fabric 调优,深度适配国家密码管理局 SM2 / SM3 / SM4 国密算法与信创基础设施。

FISCO BCOS Hyperledger Fabric 国密算法 SM2/3/4 司法合规存证

Sophie Yang

Web3 全栈与钱包工程负责人

专注去中心化应用(DApp)极速响应与全栈交互安全。主导设计多款支持 EIP-712 结构化签名验证、MPC 门限分片托管及硬件钱包集成的机构级 Web3 前端基础设施。

viem / wagmi TypeScript EIP-712 MPC Integration

技术极客守则与交付准绳

区块链的世界不可逆,代码一旦部署即全网运行。我们恪守三大工程信条:

01. 形式化逻辑至上

拒绝低效试错与侥幸心理。对关键资金调度与数学计算函数,必须通过形式化状态机数学模型建立无溢出证明。

02. 双人交叉无干扰盲审

任何一份审计报告交付前,必须经过两组独立研究员各自背靠背独立人工逆向,杜绝个人思维盲区导致的漏洞逃逸。

03. 负责任的代码闭环

指出漏洞绝非终点。我们为项目方提供具体的重构代码修复建议,并免费进行二次复审验证,确保消缺闭环。