買以太坊 買以太坊
Ctrl+D 買以太坊
ads

ORT:智能合約安全實時監控項目 —Forta 首發Coinbase_Forest Knight

Author:

Time:1900/1/1 0:00:00

由OpenZeppelin孵化的智能合約安全實時監控項目FortaNetwork已開放FORT空投申領。此外,Coinbase也宣布將上線FORT,這算是首發Coinbase的項目了。

智能合約漏洞一直是加密生態系統中最關注的問題之一,當然,這個問題在DeFi行業內也飽受批評。去年,PolyNetwork成為頭條新聞,包括今年的OP被盜事件頻繁出現,因為在一次自稱為「白帽」黑客的智能合約攻擊中,該協議有超過6億美元的資產被盜,這表明加密行業需要圍繞智能合約探索更嚴格的安全實踐。

許多智能合約的安全工作重心都放在了「部署前審計」上,依靠經驗豐富的安全研究人員在部署前確定智能合約中需要解決的關鍵漏洞。但不幸的是,這種方法無法準確捕捉到合約部署之后出現的潛在漏洞,這些漏洞可能被惡意行為者發現,繼而威脅數百萬DeFi用戶的資金安全。

而今天首發Coinbase的Forta是由OpenZeppelin孵化的一個全新加密項目,可以幫助開發者在智能合約的實時執行過程中更好地識別漏洞。

Trustless Market開發團隊將Uniswap的智能合約部署到比特幣網絡上:5月11日消息,一群開發人員已將Uniswap的智能合約部署到比特幣網絡上,以利用BRC-20代幣的興起并開發去中心化金融 (DeFi) 生態系統。該協議稱為Trustless Market,日交易量已達50萬美元,吸引了2000多名用戶,并讓流動性提供者從網絡上進行的所有swap交易中獲得2%的傭金。[2023/5/11 14:57:31]

Forta的目標是實時檢測DeFi、NFT、治理、橋梁和其他Web3系統上的威脅和異常。通過為用戶提供有關其系統安全性和穩定性的及時和有用的信息,他們有機會做出反應并采取行動,防止或最大限度地減少損失和其他異常情況。

Forta有兩個關鍵組成部分:

Agent,它是掃描區塊鏈交易是否存在威脅、異常和其他風險的腳本,任何人都可以編寫Agent來監控智能合約或交易,隨著Agent編寫者社區規模不斷擴大,能夠有效解決不斷發展的智能合約生態系統中的潛在漏洞。

Coinbase Wallet推出交易模擬功能,可了解智能合約代碼如何處理加密資產:金色財經報道,據 Coinbase Wallet 社交媒體賬戶透露,Coinbase Wallet 已推出交易模擬功能,通過自動模擬兼容 EMV 網絡上授權交易時將執行的代碼,用戶可以了解哪些資產將離開自己的錢包,以及收回相關資產的近似估值。Coinbase 表示,該功能的主要目的是讓用戶清楚地了解區塊鏈應用程序或智能合約將如何處理他們的加密資產。[2022/11/21 7:52:42]

Node是運行支持Layer1或Layer2區塊鏈上Agent的服務器。當Agent檢測到智能合約出現某些問題時,Node就會會發出一個警報,該警報會存儲在IPFS中并記錄在Polygon區塊鏈上。

負面信號也有價值——知道檢測機器人24/7全天候運行并且不會觸發警報。Forta將為每個區塊維護每個節點運行的檢測機器人的自動記錄。

Web3運行時安全解決方案要想成功,就必須是無許可的。公共區塊鏈的創新步伐令人筋疲力盡。每次部署新協議或合同時,都會引入新的風險向量。沒有一家擁有集中解決方案的公司可以有效地應對這些不斷變化的風險。適當激勵利益相關者的分散的基于社區的方法是覆蓋風險格局的最有效和最有效的方法。

公鏈Metabit與跨鏈智能合約平臺CLV達成戰略合作:7月30日消息,據官方消息,公鏈Metabit與跨鏈智能合約平臺CLV(前Clover Finance)達成戰略合作。Metabit是集成去中心化算法、智能合約、DeFi、NFT等區塊鏈技術,面向元宇宙場景的高性能商業應用公鏈。

此前報道,Metabit宣布完成200萬美元種子輪融資,Golden Bridge Capital和Eagle Capital領投,MCA、DG Capital、Tiger Venture參投。[2022/7/30 2:48:14]

截至目前,Forta已經部署了超過200個Agent來支持智能合約警報功能,例如出現異常高的gas費用、異常高的交易量、以及出現再入請求。現階段,不少知名DeFi項目已經與Forta完成集成,旨在更好地監控各種安全、財務、運營和治理風險。此外,Forta社區在Discord上的服務器成員數量已經發展到超過10,000名。

最終,通過實時檢測漏洞,Forta可以為智能合約安全提供更完整的解決方案,幫助智能合約成為為最安全、最值得信賴的技術原語,進而實現Web3安全、去中心化愿景。

BadgerDAO關于“升級智能合約”的提案BIP 76已開啟投票:12月11日消息,BadgerDAO表示,其論壇已上線關于“升級智能合約”的提案BIP 76。該提案旨在覆蓋重要的智能合約升級,以拯救用戶資金,改進暫停功能,并通過黑名單提供額外的保障。本提案不包括擬議拯救資金功能的執行和解除暫停。這些功能將通過未來的BIP解決。基于社區反饋,為了加快智能合約的重新激活,該提案將直接轉向48小時快照投票。

提案稱,Badger致力于在安全的情況下重新啟動智能合約。考慮到時間鎖的因素,一旦最終BIP決定執行擬議的拯救資金和解除暫停,在進行這些升級之前等待標準時間框架將增加至少3天的延遲。因此,該提案將智能合約升級與拯救行動的執行和解除暫停分開,以便執行決策可以遵循Badger的治理流程,同時還確保生成的治理決策能夠迅速制定。[2021/12/11 7:32:26]

安全是一項持續努力的方向:

自2015年以太坊推出以來,智能合約已成為Web3技術的核心功能和特征。比特幣向我們展示了完全去中心化公共賬本是可行的,而以太坊則給我們帶來了一種完全去中心化的計算模型——在去信任和透明度方面,至少現階段而言,還沒有其他計算模型能與以太坊相媲美。得益于智能合約,開發人員能夠將自定義構建的應用程序部署到區塊鏈上,為數百個用例提供支持,如今,這些用例已發展成為價值數十億美元的生態系統,而且也成為當今大多數加密項目的核心,并推動了許多其他區塊鏈快速增長,比如Solana、BinanceSmartChain和Polkadot等。

PayPal首席執行官:PayPal正關注DeFi和智能合約:金色財經報道,PayPal首席執行官Dan Schulman在第二季度財報電話會議上發表的評論表明,該公司正在加速關注加密貨幣技術。Schulman表示:“我們仍然對加密貨幣的勢頭感到非常滿意”。根據Schulman的說法,PayPal的加密野心并不僅限于上述方面,PayPal正在清楚地考慮下一代金融體系的樣子以及如何幫助塑造它。在強調了該公司與監管機構的對話以及可能為央行數字貨幣提供基礎設施的長期目標后,Schulman指出了潛在的技術應用,特別強調了智能合約和去中心化金融(DeFi)生態系統。Schulman在電話會議中說:“想象一下不必寄送刺激性支票,而是將它們直接發送到一個數字錢包中,您可以立即收到它,而不必去支票兌現地點進行兌換,并為兌換繳納費用。我們如何更有效地使用智能合約?我們如何將資產數字化并向以前可能無法訪問的消費者開放?此外還有一些有趣的DeFi應用。因此,我們真的很努力。”[2021/7/30 1:23:39]

與此同時,新技術的出現不可避免地會帶來新風險。去年,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去中心化、安全和去信任的偉大愿景。

今天的分享就到這里,后期會給大家帶來其他賽道的龍頭項目分析。感興趣的可以點個關注。我也會不定期整理一些前沿咨詢和項目點評,歡迎各位志同道合的幣圈人一起來探索。

大家看完記得點贊再看轉發!所有咨詢平臺均為蟹老板的進擊之路

Tags:FORTFORORTENTFortKnoxForest KnightSPORT價格MENT

比特幣交易所
WEB:WePiggy — DeFi 底層資產借貸市場協議_digg幣價格

WePiggy是什么? WePiggy是一個開源,非托管的加密資產借貸市場協議。在WePiggy的市場上,用戶可存入特定的加密資產賺取利息,也可以支付一定的利息借取某種加密資產.

1900/1/1 0:00:00
UNA:比特幣跌穿1.8背后:有幣圈用戶50萬元學費,退出時僅剩55_比特幣一天跌去4000美元

晚上做夢做到自己抄底做多,直接被嚇出了一身冷汗,然后想起來自己已經不玩了,覺得又失落又慶幸。”6月19日,比特幣的暴跌行情下,一名幣圈用戶打趣道.

1900/1/1 0:00:00
BAL:ZT創新板即將上線ORE_GlobalGive

親愛的ZT用戶: ZT創新板即將上線ORE,並開啟ORE/USDT交易對。具體上線時間如下: 充值:已開啟; 交易:2022年6月17日18:00(UTC8);BABYEVERDOG DAO報名.

1900/1/1 0:00:00
MOS:鏈游新星MosaicFantasy如何穿越GameFi周期?_SAI

如同春播秋收的自然規律,歷經多輪牛熊的幣圈也遵循著“熊市播種,牛市收獲”的定律。回望本輪牛市的熱門板塊,幾乎都歷經熊市的洗禮:DeFi在2019年嶄露頭角,沉寂一年后才在2020年夏天收獲狂暴牛.

1900/1/1 0:00:00
LINK:Web3如何修復當前社交媒體系統?_WEBFOUR

毋庸置疑,如果給出一套激勵措施,大多數人都會以相當理性的方式行事。重點是知道一個人的動機是什么,知道哪些變化會以一種可預測的方式推動行動。但往往,大眾的選擇會產生意想不到的結果.

1900/1/1 0:00:00
OIN:Hotcoin關於開放SOL/USDC、ADA/USDC交易的公告_dotc幣在哪個平臺能買

尊敬的用戶:Hotcoin將於(GMT8)2022年6月17日18:00開放SOL/USDC交易業務,將於(GMT8)2022年6月17日19:00開放ADA/USDC交易業務.

1900/1/1 0:00:00
ads