定向审查
一个具体问题、一个组件、一个版本。用于在不展开整个产品的情况下核查某一关键点。
- 定向代码审查
- 定向测试场景
- 技术说明与建议
适合快速交付的团队
03 / 钱包审计
一个钱包可以设计优雅、运行迅捷,即使经过全面审计,也可能因一次不透明的授权、一个可预测的随机数生成器、一次不受控的无线电发射或供应链中的植入模块而损失资金。我们审计完整的链条:从芯片到事故之后的恢复。
审计范围
八个分析面,依照每个产品与每种风险等级加以调整。
随机源、派生、BIP-32/39 路径、账户与恢复短语的管理。
安全元件(secure element)、软件保险库、离线备份、秘密共享与元数据暴露。
解码、EIP-712、盲签名、模拟、相似地址与金额的可读性。
无限授权(allowances)、会话密钥(session keys)、抽象账户模块、受委托签名者与持久权限。
代码库、可复现构建、分发渠道、浏览器扩展与更新环节被入侵。
恢复流程、社交恢复(social recovery)、业务连续性计划与部分失陷的场景。
熵、固件 RNG、种子生成、签名 nonce 与派生。统计测试与复现。
LTE/eSIM、蓝牙、电磁发射、信标台与授时信号接收、实体检查,以及供应链植入模块的排查。
绝对原则:我们不需要任何私钥、任何恢复短语,也不需要访问资金。无线电分析为被动方式,仅在自有设备或书面授权下进行:不拦截第三方通信,不干扰信号。若某项测试确有必要,将由贵方团队在贵方环境中、在贵方控制之下执行。
任务形式
每一次介入都以范围界定后出具的任务委托书与报价为依据。审计任务将在向法国省级行政机构(préfecture)完成申报后开放。
一个具体问题、一个组件、一个版本。用于在不展开整个产品的情况下核查某一关键点。
适合快速交付的团队
从威胁模型到最终报告,包括代码、签名流程与用户体验的审查。
适合即将交付使用的钱包
先设计,再编码。我们检验密钥托管、恢复与委托方面的设计选择。
适合新产品与资金管理部门
软件审查看不见的两类表面:随机性的质量,以及设备发射的内容。
适合硬件钱包及其集成方
流程
审计不是一份 PDF。它是一个可对质、有记录、可追踪的过程。
目标、范围、版本、约束与期待。我们拒绝自己无法覆盖的范围。
任务委托书、交付物、时间表、介入规则与保密条件。
代码审查、测试、动态分析,以及与产品和安全团队的访谈。
报告、严重等级、证据、按优先级排序的建议,以及汇报会议。
修复验证、与开发方的沟通,以及必要时的协调披露。
执行摘要、范围、方法与分析的局限。
CVSS v4.0 评分、场景、证据与利用条件。
供贵方团队核验每一项发现的步骤与材料。
分级的建议,附带工作量与剩余风险。
范围界定申请
一次 30 分钟的交流,往往足以厘清范围、优先风险以及一项任务是否合适。此阶段不构成任何承诺。
更愿意直接写信?
contact@frblockchain.icu
本表单不会向任何服务器发送数据:它会在您的邮件客户端中打开一封预填好的邮件,供您在发送前复核。
常见问题
价格取决于范围、组件数量、版本以及所要求的证据等级。我们会在范围界定之后报价,绝不会在此之前。收费标准与业务模式将在完成申报后明确。
会。任务委托书约定沟通内容、材料与报告的保密性。关键发现可在信息禁运(embargo)安排下与相关方共享。除法律义务外,任何发布均须书面同意。
我们会通过专用渠道立即通知您,必要时在提交报告之前。我们提出应急方案、协助修复并协调披露。在用户能够获得保护之前,不会进行任何发布。
对公开软件的研究可以在严格的法律与伦理框架内进行。但正式审计——包括接触代码、团队与测试环境——需要开发方授权。我们绝不绕过任何保护措施。
申请将逐案评估。我们优先考虑暴露风险较高的人群(记者、活动人士、创业者、小型机构)以及风险较高的情形。我们从不承诺追回已丢失或被盗的资金。
可以,前提是设备属于您,或您持有所有者的书面授权。我们不拦截第三方通信、不干扰信号,也不在未获同意的情况下测试设备。所有发现都将复现、记录并以协调方式披露。
方法结合屏蔽腔内的被动监听、电磁探头、SDR 接收机以及与参考设备的对比。只有在复现并分析固件之后,信号才会被采信。我们会区分真实泄露与测量伪影。