由OpenZeppelin孵化的智能合约安全实时监控项目FortaNetwork已开放FORT空投申领。此外,Coinbase也宣布将上线FORT,这算是首发Coinbase的项目了。
智能合约漏洞一直是加密生态系统中最关注的问题之一,当然,这个问题在DeFi行业内也饱受批评。去年,PolyNetwork成为头条新闻,包括今年的OP被盗事件频繁出现,因为在一次自称为「白帽」黑客的智能合约攻击中,该协议有超过6亿美元的资产被盗,这表明加密行业需要围绕智能合约探索更严格的安全实践。
许多智能合约的安全工作重心都放在了「部署前审计」上,依靠经验丰富的安全研究人员在部署前确定智能合约中需要解决的关键漏洞。但不幸的是,这种方法无法准确捕捉到合约部署之后出现的潜在漏洞,这些漏洞可能被恶意行为者发现,继而威胁数百万DeFi用户的资金安全。
而今天首发Coinbase的Forta是由OpenZeppelin孵化的一个全新加密项目,可以帮助开发者在智能合约的实时执行过程中更好地识别漏洞。
灰度创建智能合约平台基金,投资Cardano、Solana等代币:金色财经消息,加密货币资产管理公司灰度(Grayscale)正在扩大其投资基金系列,以包括非以太坊智能合约代币。
Grayscale Smart Contract Platform Ex-Ethereum Fund(简称GSCPxE)允许投资者选择投资一些最大的智能合约网络和以太坊侧链。
该基金由Cardano(ADA)、Solana(SOL)、Avalanche(AVAX)、Polkadot(DOT)、Polygon(MATIC)、Algorand(ALGO)和Stellar(XLM)组成。Cardano和Solana各占该基金的24%以上,Avalanche和Polkadot各占超过16%。约10%的资金分配给Polygon,Algorand和Stellar各占超过4%。(Decrypt)[2022/3/22 14:11:47]
Forta的目标是实时检测DeFi、NFT、治理、桥梁和其他Web3系统上的威胁和异常。通过为用户提供有关其系统安全性和稳定性的及时和有用的信息,他们有机会做出反应并采取行动,防止或最大限度地减少损失和其他异常情况。
ZT交易所已经支持BitTorrent(BTT)智能合约置换及代币增量:据最新消息,ZT交易所已经支持BitTorrent(BTT)智能合约置换及代币增量。所有ZT用户持有的BTT旧代币将按照 1 BTT(旧代币)= 1,000 BTT(新代币)的兑换比例发放BTT新代币。
BitTorrent Chain 是异构链跨链互操作扩容协议,采用 POS(Proof of Stake)共识机制 ,通过侧链进行智能合约的扩展。首发支持 Ethereum 、TRON 、BSC 公链跨链,未来将逐步支持更多公链。[2022/1/18 8:57:33]
Forta有两个关键组成部分:
Agent,它是扫描区块链交易是否存在威胁、异常和其他风险的脚本,任何人都可以编写Agent来监控智能合约或交易,随着Agent编写者社区规模不断扩大,能够有效解决不断发展的智能合约生态系统中的潜在漏洞。
Node是运行支持Layer1或Layer2区块链上Agent的服务器。当Agent检测到智能合约出现某些问题时,Node就会会发出一个警报,该警报会存储在IPFS中并记录在Polygon区块链上。
动态 | 世界经济论坛2020年预测:公共部门将越来越多使用智能合约:世界经济论坛日前宣布对区块链领域的预测称,2019年见证了从大肆宣传到质量的转变,而在2020年,“区块链有机会产生社会影响。”该非政府组织表示,未来区块链项目必须建立更多的合作伙伴关系才能成功,公共部门将越来越多地使用智能合约。(Fxstreet)[2020/1/7]
负面信号也有价值——知道检测机器人24/7全天候运行并且不会触发警报。Forta将为每个区块维护每个节点运行的检测机器人的自动记录。
Web3运行时安全解决方案要想成功,就必须是无许可的。公共区块链的创新步伐令人筋疲力尽。每次部署新协议或合同时,都会引入新的风险向量。没有一家拥有集中解决方案的公司可以有效地应对这些不断变化的风险。适当激励利益相关者的分散的基于社区的方法是覆盖风险格局的最有效和最有效的方法。
截至目前,Forta已经部署了超过200个Agent来支持智能合约警报功能,例如出现异常高的gas费用、异常高的交易量、以及出现再入请求。现阶段,不少知名DeFi项目已经与Forta完成集成,旨在更好地监控各种安全、财务、运营和治理风险。此外,Forta社区在Discord上的服务器成员数量已经发展到超过10,000名。
动态 | 以太坊总供应的1%被锁定在MakerDAO智能合约中:据CCN消息,MKR.tools创建者Mike McDonald昨日发推文警示,根据以太坊区块链,大约有一百万以太坊,或者说以太坊总供应的近1%现在已经被锁定在了MakerDAO智能合约中。[2018/11/15]
最终,通过实时检测漏洞,Forta可以为智能合约安全提供更完整的解决方案,帮助智能合约成为为最安全、最值得信赖的技术原语,进而实现Web3安全、去中心化愿景。
安全是一项持续努力的方向:
自2015年以太坊推出以来,智能合约已成为Web3技术的核心功能和特征。比特币向我们展示了完全去中心化公共账本是可行的,而以太坊则给我们带来了一种完全去中心化的计算模型——在去信任和透明度方面,至少现阶段而言,还没有其他计算模型能与以太坊相媲美。得益于智能合约,开发人员能够将自定义构建的应用程序部署到区块链上,为数百个用例提供支持,如今,这些用例已发展成为价值数十亿美元的生态系统,而且也成为当今大多数加密项目的核心,并推动了许多其他区块链快速增长,比如Solana、BinanceSmartChain和Polkadot等。
独家 | 区块链项目10%-20%的智能合约业务存在逻辑漏洞:多家交易所为了保护各平台投资者及自身的资产安全,委托独立第三方智能合约审计机构降维安全实验室对所有即将在交易所上线的项目方智能合约进行安全审计。在审计过的数百份智能合约中,降维安全实验室(Johnwick.io)发现超过70%的智能合约代码优质、业务逻辑严谨,但也有极少数项目方合约代码存在严重的业务逻辑风险,上线后可能会给交易平台及投资者造成巨大的资产损失。主要问题表现为合约Owner(合约所有者、创始团队)权限设置过大,可以无限增发代币,更为严重的是溢出可以随意增加和销毁任意地址的代币,甚至包含交易所自身的钱包地址。在这种情况下如果Owner自身作恶或者被盗取账号,在上线交易拉高币价后进行大量增发再砸盘至价格归0,可在短期内获得巨大收益,而蒙受巨大损失的只有交易所及广大投资者。降维安全实验室作为合约审计的受委托方,在审计合约时以最大程度的保护广大区块链投资者及交易平台的资产为唯一目标,对合约有极高的要求所以可能会出现审计不通过的情况,对于没有经过严格评估过的合约资产,可能在未来的某段时间内爆发资产风险,希望广大用户注意。[2018/7/12]
与此同时,新技术的出现不可避免地会带来新风险。去年,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去中心化、安全和去信任的伟大愿景。
今天的分享就到这里,后期会给大家带来其他赛道的龙头项目分析。感兴趣的可以点个关注。我也会不定期整理一些前沿咨询和项目点评,欢迎各位志同道合的币圈人一起来探索。
大家看完记得点赞再看转发!所有咨询平台均为蟹老板的进击之路
标签:FORFORTORTPOLInnitForTheTECHAmpleforth Governance TokenDashSportspolkawallet钱包可以离线吗
元宇宙将以创新但不可预测的方式改变人们的日常生活和企业的沟通运作方式。随着技术的普及和完善,它的颠覆性潜力会对社会产生重大影响.
1900/1/1 0:00:00原文作者:慢雾安全团队2022年6月16日,MetaMask官方公布白帽子发现的一个被称为demonicvulnerability的安全问题,漏洞影响的版本<10.11.3.
1900/1/1 0:00:00亲爱的BitMart用户:BitMart将支持EuroCoin(EUROC)生态发展,将上线EUROC/USDT,EUROC/USDC,BMX/EUROC,BTC/EUROC.
1900/1/1 0:00:00DearValuedUsers,CandyDropislaunchingFOTAonJune16,2022.Registrationperiod:?FOTA:11:00(UTC)June16.
1900/1/1 0:00:00DearValuedUsers,HuobiEarnwilllaunchahigh-yieldcarnivalevent.Duringtheeventperiod.
1900/1/1 0:00:00他所市商即我所市商!每成功介紹一家市商團隊進入KuCoin做市即可最高獲得5,000USDT現金獎勵.
1900/1/1 0:00:00