由OpenZeppelin孵化的智能合约安全实时监控项目FortaNetwork已开放FORT空投申领。此外，Coinbase也宣布将上线FORT，这算是首发Coinbase的项目了。
智能合约漏洞一直是加密生态系统中最关注的问题之一，当然，这个问题在DeFi行业内也饱受批评。去年，PolyNetwork成为头条新闻，包括今年的OP被盗事件频繁出现，因为在一次自称为「白帽」黑客的智能合约攻击中，该协议有超过6亿美元的资产被盗，这表明加密行业需要围绕智能合约探索更严格的安全实践。
许多智能合约的安全工作重心都放在了「部署前审计」上，依靠经验丰富的安全研究人员在部署前确定智能合约中需要解决的关键漏洞。但不幸的是，这种方法无法准确捕捉到合约部署之后出现的潜在漏洞，这些漏洞可能被恶意行为者发现，继而威胁数百万DeFi用户的资金安全。
而今天首发Coinbase的Forta是由OpenZeppelin孵化的一个全新加密项目，可以帮助开发者在智能合约的实时执行过程中更好地识别漏洞。
新加坡金融管理局官员：Web3的智能合约仍由人类设计，因此必须确保协议层被审查:7月14日消息，在今日举行的“全球Web3生态创新峰会·新加坡”会议上，新加坡金融管理局金融科技官Sopnendu Mohanty表示：“传统上，大部分的治理和信任是以某种方式外包给第三方的，信任是外源的。Web3的未来愿望是转移和分散经济机会，让每个人都参与到经济活动中。信任必须以分布式的方式出现。然而我们的大脑不是为此设计的，所以从监管和政策制定的角度来看，它将变得更加复杂。虽然Web3谈到了智能合约，但它仍然是由人类设计和编写的，因此，必须有一些机制来确保这些协议层被审查。”
Sopnendu Mohanty补充道：“Web1和Web2虽然提供了显著的技术，但它并没有解决好分配问题。Web3将解决财富分配问题。”（DeFi之道）[2022/7/14 2:12:33]
Forta的目标是实时检测DeFi、NFT、治理、桥梁和其他Web3系统上的威胁和异常。通过为用户提供有关其系统安全性和稳定性的及时和有用的信息，他们有机会做出反应并采取行动，防止或最大限度地减少损失和其他异常情况。
TRON网络智能合约触发器数已达926324931:孙宇晨在推特表示，TRON网络智能合约触发器数（smart contract triggers）已达926324931。[2020/7/31]
Forta有两个关键组成部分：
Agent，它是扫描区块链交易是否存在威胁、异常和其他风险的脚本，任何人都可以编写Agent来监控智能合约或交易，随着Agent编写者社区规模不断扩大，能够有效解决不断发展的智能合约生态系统中的潜在漏洞。
Node是运行支持Layer1或Layer2区块链上Agent的服务器。当Agent检测到智能合约出现某些问题时，Node就会会发出一个警报，该警报会存储在IPFS中并记录在Polygon区块链上。
负面信号也有价值——知道检测机器人24/7全天候运行并且不会触发警报。Forta将为每个区块维护每个节点运行的检测机器人的自动记录。
Web3运行时安全解决方案要想成功，就必须是无许可的。公共区块链的创新步伐令人筋疲力尽。每次部署新协议或合同时，都会引入新的风险向量。没有一家拥有集中解决方案的公司可以有效地应对这些不断变化的风险。适当激励利益相关者的分散的基于社区的方法是覆盖风险格局的最有效和最有效的方法。
Bancor发布V2版本智能合约代码，并启动漏洞赏金计划:金色财经报道，去中心化交易协议Bancor发布了Bancor V2版本智能合约的代码，该代码具有多种改进功能，可帮助该协议的用户和流动性提供者。同时Bancor启动了漏洞赏金计划，以激励社区在发布之前发现错误。据此前消息，今年6月Bancor部署的新合约出现了安全漏洞，绝大多数资金被Bancor发起的白帽攻击转移到了安全的地址，但仍造成了超过13.5万美元损失。[2020/7/18]
截至目前，Forta已经部署了超过200个Agent来支持智能合约警报功能，例如出现异常高的gas费用、异常高的交易量、以及出现再入请求。现阶段，不少知名DeFi项目已经与Forta完成集成，旨在更好地监控各种安全、财务、运营和治理风险。此外，Forta社区在Discord上的服务器成员数量已经发展到超过10,000名。
最终，通过实时检测漏洞，Forta可以为智能合约安全提供更完整的解决方案，帮助智能合约成为为最安全、最值得信赖的技术原语，进而实现Web3安全、去中心化愿景。
以太坊智能合约自动执行工具GelatoNetwork上线主网:以太坊智能合约自动执行工具GelatoNetwork上线主网，作为一个经过审核的智能合约协议，它允许开发人员自动执行用户交易，无需运行任何底层服务器基础架构，GelatoNetwork的设计目标是激励一个开放和去中心化化的网络中继器自动化智能合约执行且抗审查。GelatoNetwork是以太坊零编程自动化工具GelatoAlpha版Gelato.finance背后运行功能，今年2月，由Gnosis生态基金和MetaCartel资助的Gelato团队正式公开首个工具GelatoFinance，这是一个无需编程就可以创建基于以太坊的自动化程序的工具，Gelata的目标是帮助用户全天候自动执行基于以太坊平台的任务，用户可通过Gelato创建自己的以太坊机器人，类似于互联网的IFTTT。目前，GelatoFinance功能已被弃用。[2020/7/4]
安全是一项持续努力的方向：
自2015年以太坊推出以来，智能合约已成为Web3技术的核心功能和特征。比特币向我们展示了完全去中心化公共账本是可行的，而以太坊则给我们带来了一种完全去中心化的计算模型——在去信任和透明度方面，至少现阶段而言，还没有其他计算模型能与以太坊相媲美。得益于智能合约，开发人员能够将自定义构建的应用程序部署到区块链上，为数百个用例提供支持，如今，这些用例已发展成为价值数十亿美元的生态系统，而且也成为当今大多数加密项目的核心，并推动了许多其他区块链快速增长，比如Solana、BinanceSmartChain和Polkadot等。
动态 | 智能合同审计公司Quantstamp推出新的区块链安全协议:据The Innovation Enterprise 9月3日消息，Quantstamp已经发布了它的betanet协议，现在可以通过Ethereum net进行实时访问。Quantstamp将为Ethereum用户提供可公开验证的智能合同审计服务。以前，用户必须相信智能合约开发人员事先已采取必要的安全预防措施，并且无法自行验证。Quantstamp betanet协议现在允许用户使用QSP令牌来验证其代码可靠性，从而为他们提供可验证的合同记录，任何人都可以公开访问该记录。[2018/9/3]
与此同时，新技术的出现不可避免地会带来新风险。去年，PolyNetwork成为头条新闻，因为在一次自称为「白帽」黑客的智能合约攻击中，该协议有超过6亿美元的资产被盗。在到今年的OP被盗，尽管黑客将资产全额归还，但这一事件表明加密行业需要围绕智能合约探索更严格的安全实践，同时在技术方面，下一代金融系统也需要更及时的攻击监控功能。智能合约漏洞一直是加密生态系统中最关注的问题之一，以至于「智能合约风险」已成为金融领域的一个术语，旨在描述合约执行中发生的错误和Bug，这些问题往往会带来数字资产风险，也会影响人们的投资决策。
Forta采用了什么解决方案？
值得注意的是，任何人都可以开发Agent并在Forta上运行它。Web3应用程序的高度可塑性和可组合性需要一种基于社区驱动的去中心化安全解决方案，因为没有一个参与者可以识别应用程序中的全部潜在漏洞。目前，已经有超过100名开发人员在Forta上创建并部署了Agent，如果你也有兴趣创建新Agent，不妨可以在此处查看Forta的软件开发包。
此外，Forta还发布了一些其他功能，旨在进一步增强实时安全性，包括：
FortaConnect：这是一个自助服务平台，使开发人员可以更轻松地使用MetaMask而不是命令行来发布和管理Agent。
FortaExplorer：这是一种帮助用户通过Slack通知、电子邮件更新等服务来浏览和订阅FortaAgent的警报工具。
PrivateAgents：该功能是一种带有混淆代码和用于谨慎漏洞监控加密警报功能的Agent，允许开发人员更加谨慎地监控威胁。
Forta项目完成了与智能合约操作平台OpenZeppelinDefender的集成，将使开发人员通过统一的用户界面更轻松地操作和监控智能合约安全。
那么在实践中怎么实行？
举个例子，让我们回到2021年8月黑客对PolyNetwork实施的攻击。
PolyNetwork是一个让用户能在不同的Layer1和Layer2区块链之间传输数字资产的协议，他们通过在发送链上锁定用户资产并在接收链上发行等量新资产来实现这一点。更具体地说，用户可以通过接收链上的一组PolyNetwork钱包访问接收链上已发行的资产。在攻击中，黑客执行了一笔交易，把接收链上PolyNetwork钱包的公钥替换为黑客自己的公钥，这意味着黑客获得了对PolyNetwork钱包的完全控制权，继而可以轻松从用户手中窃取已发行的资产。
使用Forta进行实时监控可以避免这种攻击，或是降低攻击的危害，而且只需通过两种简单的方式即可实现：
当黑客用自己的公钥替换PolyNetwork的公钥时，Agent可能已经检测到管理其钱包的PolyNetwork智能合约状态发生了异常变化。如果PolyNetwork团队有效监测到这种状态变化，那么就可以快速恢复原始公钥，从而完全阻止攻击。
Agent可以检测到接收链上PolyNetwork钱包余额出现较大的异常变化，使团队能够更早地识别攻击并限制损失。
项目投资者：
项目实力是非常顶级的，有着coinbase和a16z的加持加入。
结论
今天Forta已经开始领取了空投，而且如果流动性足够的话，今天Coinbase也将要首发Forta此项目，区块链安全性需要不断增强，只有这样，机构和主流才能更好地接受加密，这点至关重要。2022年的op被黑客盗窃，2021年早些时候对PolyNetwork的攻击、2016年的DAO和2017年的Parity等黑客攻击已经破坏了许多潜在用户对加密和DeFi的信心，如果区块链和智能合约想要成为支撑下一代金融系统的基本技术，那么就必须解决此类事件、并在未来防止此类事件发，只有这样，才能重新赢回人们的信心。Forta还允许任何人跟踪智能合约中的特定行为，要知道，如今智能合约生态系统中的漏洞越来越多，因此采用去中心化解决方案是非常有必要的。最终，Forta将进一步增强智能合约安全性、帮助智能合约成为互联网的基础设施，继而实现Web3去中心化、安全和去信任的伟大愿景。
今天的分享就到这里，后期会给大家带来其他赛道的龙头项目分析。感兴趣的可以点个关注。我也会不定期整理一些前沿咨询和项目点评，欢迎各位志同道合的币圈人一起来探索。
大家看完记得点赞再看转发！所有咨询平台均为蟹老板的进击之路
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。