智能合约安全审计咨询
Ostendo 是一家新的区块链安全审计与咨询实践，延续 Decidable，由 Rikard Hjort 领导。官网定位很明确：为“重要的区块链系统”提供形式化严谨性，重点服务智能合约审计、协议评审、形式化方法和高信号安全建议。目前公司处于“Open quietly”状态，网站说明案例、完整流程和更多材料仍在准备中。
其防护类型不是传统网络边界防护或 SOC 产品，而是面向 Web3 代码与协议设计的专家服务。智能合约审计覆盖 Solidity、Rust 及相邻代码库，关注正确性、可利用性、协议不变量和修复验证。协议与架构评审面向桥、借贷系统、自定义执行环境和协议升级。形式化方法部分包括不变量、可执行规范、属性设计和定向形式化验证，适合在数学保证能显著降低风险的场景使用。典型范围还包括核心协议逻辑、升级路径、桥与消息假设、记账/舍入问题、Wasm 与非 EVM 执行环境。
Ostendo 更像小型资深顾问团队，而非标准化安全平台。正文未提及 SaaS、本地部署、控制台、告警、报表门户或 CI/CD 集成能力。其工作方式强调 hands-on、invariants-first、engineering-heavy，即先理解系统必须保证什么，再围绕这些保证审查代码和架构。对复杂协议有价值，但对希望采购自动化扫描、持续监控或合规仪表盘的团队并不匹配。
官网未披露定价、付款方式、交付周期、SLA 或合规认证。可用性描述为“Selective, by direct inquiry”，意味着需要直接邮件沟通，且不一定接案。优点是可能获得资深人员深度参与；缺点是预算、排期和交付边界在初期不透明。
优势在于聚焦区块链高风险系统，强调不变量、架构假设和形式化验证，创始人公开背景也显示其在 Runtime Verification、Cantina/Spearbit、Devcon 和 GitHub 相关方向有经验。短板是公司页面仍非常早期，缺少公开案例、审计报告样本、方法论细节和支持体系说明。更适合 DeFi、桥、协议升级、非 EVM 执行环境等复杂项目；不适合只需要低成本快速 checklist 审计或标准企业安全合规采购的团队。
正文未提供中国网络访问、支付或本地支持信息，因此中国访问判断为未知。国内团队若无法顺畅沟通或支付，可同时评估其他区块链安全审计与形式化验证服务商，并结合链类型、语言栈、交付窗口和是否需要中文沟通来选择。
本测评基于公开资料整理,不构成购买建议,请以 ostendo.org 官网实际信息为准。
专注区块链形式化审计，Web3团队可关注。
评分明细(分布与用户短评)接入中。当前展示 TG4G 综合评分,数据源自公开测评与用户反馈。