Forta Network:获 a16z 2300 万美元融资的去中心化安全监控网络

SinoDAO2022-11-09 17:50

  //  

曾获 a16z 2300 万美元融资的去中心化的 Web3 安全监控方案 Forta Network, 服务超 40 个主要链上协议,监控的用户资产超过 360 亿美元。

2022 年 4 月,Fei Protocol 官方的 Rari Fuse Pool 遭受闪电贷加重入攻击,黑客获利 28380 ETH,价值约 8000 万美元。
2022 年 6 月,Harmony 链和以太坊之间的跨链桥经历了多次恶意攻击。
攻击者控制 MultiSigWallet 的所有者直接调用 confirmTransaction 函数,从 Harmony 的跨链桥上转移大量代币。导致 Harmony 链上价值约 9700 万美元的资产被盗,该笔资金后被转移至 Tornado Cash。
根据 The Verge 最近发布的一项研究指出,仅在 2022 年上半年,总计 2 亿美元以上被黑客盗走,超过了 2021 年全年损失的总和。

1

Web3 应用对监控的及时性要求

远高于 Web2 应用

随着 Web3 经济的蓬勃发展,对实时安全和运营监控的需求呈指数级增长。

在 Web3,投资者和项目方只有具备快速反应能力,并提出解决方案来消除资金损失威胁,才能在长期博弈中生存下来。

安全监控如何发挥作用呢?我们举个简单的例子,假设黑客试图通过发送交易的方式来将合约的 owner 地址改为自己持有的地址。

这是安全监控系统在公共内存池(mempool)中扫描到了这笔交易,并且该交易还没被打包进区块里,此时监控就会自动通过 webhook 来触发用户事先设定好的措施。例如通过 owner 地址发送一个更高的 gas 来阻止黑客的行为。

在 Web2 时代中,一旦发生故障则可以找到中心化服务器去更改,一般不会发生不可挽回的资产损失。
而在 Web3 中,一旦链上发生故障,则无法篡改,网络中的节点达成回滚数据的共识非常难。
上次以太坊因为 DAO 事件被盗直接回滚数据,导致 ETH 和 ETC 的分叉,这种事件几乎不可能再次发生。因此 Web3 应用对监控的及时性要求远远高于 Web2 应用,即在异常发生的极短时间内遏制威胁。

2

未来需要基于去中心化的

Web3 安全监控方案

目前多数监控方案都是基于中心化的系统来建立的,中心化监控系统的弊端在于无法以足够快的速度来覆盖新部署的智能合约。
一旦一个去中心化的开源项目达到一个规模,它的发展势头将过于迅猛,中心化的监控方案在短时间只能够覆盖一小部分。

3

去中心化的 Web3 监控网络

Web3 安全监控的未来是一个去中心化的、社会化分工的系统。

在这里笔者介绍一个去中心化的 Web3 监控网络 Forta Network,能够实时监控影响 Web3 世界的威胁和异常——包括去中心化金融 (DeFi) 市场、NFT、各种跨链桥等。

Forta Network 目前有 40 个主要协议(包括 Maker、Compound、Lido、dYdX 和 Balancer)订阅其服务,其网络上运行的节点总数为 12,000 多个,Forta 监控的用户资产超过 360 亿美元。

Forta Network 的特点是将合约监控模块化、标准化、无代码化,让合约开发者无需耗费大量精力来单独做监控,可以将精力集中在防御措施的部署上。这让 Web3 世界更加安全,保护了大量用户的资产。
接下来,笔者就给大家介绍一下这个机制是怎么实现的。

4

机制中的三个角色:

告警机器人和扫描节点

告警机器人 - 发现异常的“安全摄像头”

告警机器人是一段脚本代码,用于在链上查找智能合约的某些交易特征或状态变化(例如异常检测),作为开发人员可以对其进行编程并指定符合条件的内容进行监控。

例如 forta-bot-sdk 项目为 Forta Network 编写告警机器人的工具包,其中包含了 cli 和 sdk 两个模块。该项目的面向对象主要为 JavaScript/TypeScript 和 Python 开发者。

报警机器人能够检测的 event。例如某合约更换治理的行为、更改合约某项关键设置、调用合约接口的某个方法中有异常的操作行为等。
还可以对链上某个状态进行监控。例如某个代币在价格预言机中的价格变化监控,某个代币异常交易量监控,监控全网所有账户余额大额减少 / 增多。
机器人开发者甚至可以在告警机器人中使用机器学习模型,利用机器学习来预测攻击者行为,在攻击开始前就阻止攻击者。
在 Forta 开发人员的努力下,已经实现了无代码编写告警机器人。用户不需要有任何编程背景,就可以对大多数合约设置监控条件,让普通人就可以轻松完成监控目的。
但是笔者发现告警机器人无法进行参数配置。
诸如“大额”“异常”这些字眼的阈值完全由告警机器人开发者定义,订阅者可配置的地方很少,整体为傻瓜式操作。从这里也能看出去中心化的系统下还是有中心化的因素在。

扫描节点 - 承载报警机器人的分布式节点

扫描节点负责运行告警机器人,并为它们从目标区块链获取数据。扫描节点就跟当下许多一层区块链网络的节点角色一样是分布式的运行,这样能够确保告警机器人的正常工作。

当扫描节点中的告警机器人匹配到数据中的特定条件或事件时,就会向网络中发出警报,该警报将会储存在 IPFS 上,任何人可以通过 Forta Explorer 或者 API 订阅相关警报。

订阅者 - 获取即时的链上安全监控信息

任何人都可以使用 Forta Network 来监控交易活动,并接受指定链上的安全相关事件的警报。

告警的推送方式支持 Email、Slack 消息推送、Discord webhook 推送、 Telegram 机器人推送以及自定义 webhook 推送。

订阅者可以利用自定义 webhook 方式来在告警触发的时候自动对合约进行防御性措施,达到防止损失的目的

5

网络发展增长势头强劲

Forta Network 自 2021 年 9 月上线以来,社区就已经部署了超过 650 个检测机器人,并有 2000 个扫描节点参与到该网络,不间断扫描 7 条链(包括 Layer1 和 Layer2)的 Dapp。

截止到 2022 年 10 月,社区已经部署了超过 1200 个检测机器人,并有超过 9000 个扫描节点参与到该网络,增⻓势头可谓强劲。其中活跃节点和报警机器人数据如下图。

Forta Network 选择使用去中心化的激励监控系统来确保对智能合约监控的高效部署,确保能够在第一时间对智能合约进行完备的监控。
不过,经济激励仅针对于扫描节点,开发者开发报警机器人是得不到经济激励的,目前主要为基金会来提供赏金,这也是经济系统的一个缺点。

6

背后乃为 EVM 生态上最大的

开源代码库提供商 OpenZeppling

Forta Network 目前没有过多透露团队组成,但是从 Forta 的核心代码提交来看,大部分代码提交者都隶属于 OpenZeppelin 组织。

可以理解为 Forta 是 OpenZeppelin 公司中的一个下属团队,从公开信息也可以得知 OpenZeppelin 的 CTO Jonathan Alexander 为 Forta 的联合创始人。

OpenZeppelin 是 EVM 生态上最大的开源代码库提供商。整体的开发质量可以说是相当优秀,是生态的默默付出的贡献者,在安全审计上也有许多经验沉淀,因此 Forta Network 也迎来了顶级投资者的关注。

7

获得 a16z 领投的 2300 万美元融资

于去年 9 月份完成了 2300 万美元的融资,其中 a16z 领投,Coinbase Ventures、True Ventures、OpenZeppelin 和 Blockchain Capital 跟投。

【免责声明】市场有风险,投资需谨慎。本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资,责任自负。

来源链接

相关Wiki

相关标签