隨著智能合約飛速發展,越來越多的項目基于以太坊發行token,鏈上資產的類別和規模呈指數級增長,“虛擬世界”中的數字資產也點燃了黑客們的“熱情”。
去年7月,多重簽名錢包Parity出現安全漏洞,未知黑客盜取了15萬個ETH。今年1月,日本大型數字貨幣交易平臺Coincheck系統被黑,時價5.3億美元的“新經幣”被盜。就在昨夜,幣安交易系統出現故障,疑似被黑,數字貨幣全盤大跌。
由于智能合約一旦上傳,即公開且不可更改,因此大多“區塊鏈2.0”項目有安全性驗證的需求。CertiK正是看好這一服務機會,致力于應用形式化驗證技術,為智能合約和區塊鏈生態提供安全保護。
EIP-7377草案擬允許EOA通過一次性代碼部署將帳戶永久遷移到智能合約:7月27日消息,開發人員lightclient、Sam Wilson和Ansgar Dietrichs聯合提出EIP-7377: Migration Transaction草案,作為一種新的交易類型,允許EOA在其地址進行一次性代碼部署,從而有效地將帳戶永久遷移到智能合約。[2023/7/27 16:01:58]
為了更好理解“黑客怎么攻擊智能合約”,我們做個比喻:假設二手房買賣中,產權變更的觸發條件是買方的購房款入賬到賣方,黑客要做的就是尋找智能合約上存在的潛在漏洞,通過偽裝等方式來觸發條件。
硅谷銀行和Signature Bank前高管將于5月16日在美參議院銀行委員會作證:金色財經報道,美國參議院銀行委員會宣布,倒閉的硅谷銀行(Silicon Valley Bank)和Signature Bank的前高管將于 5 月 16 日在參議院作證。硅谷銀行前首席執行官 Greg Becker、 Signature Bank 前高管 Scott Shay 和 Eric Howell 將首次公開談論銀行倒閉問題,他們可能會受到兩黨參議員的盤問。委員會主席、俄亥俄州民主黨參議員 Sherrod Brown 和高級會員參議員 Tim Scott表示,你們必須為銀行的垮臺負責。[2023/5/4 14:40:44]
傳統測試方法中,開發者會預想哪些情況下系統會遭攻擊,再針對這些情景測試。這套方法的缺陷在于,黑客往往是從程序員想象之外的路徑“下手”。而CertiK采用了形式化的驗證(formalverification),將智能合約轉化為數學模型,通過邏輯上的推理演算來驗證模型,從而證明智能合約的安全性。因為整個演算過程符合嚴謹縝密的數學邏輯,所以CertiK檢驗過的結果很難被黑客攻克。
分析師:絕大多數歐元和英鎊持有者選擇BTC以應對貨幣貶值:9月29日消息,Messari高級分析師發文表示,在面對貨幣貶值危機時,絕大多數歐元和英鎊持有者選擇購入BTC來保持購買力,這種趨勢在2020年或2021年之前的危機中沒有出現。
此外,以太坊并沒有出現這樣的趨勢,與過去2年相比,ETH近期的交易量相對較弱。[2022/9/29 22:39:26]
CertiK的核心產品是CertiKOS防黑客操作系統。
這個系統共花費千萬美元的科研經費,兩位創始人邵中和顧榮輝用6年多研究安全系統,目前CertiKOS不僅在商業市場中通過驗證,也被應用到軍事防御系統上,并引起了耶魯大學等美國學術界的關注。
由于軍方需求相對復雜,創始團隊于2015年中提出了分層結構理論,即將復雜的合約模塊化,先逐個驗證,再復合證明。
CertiK的商業模式分兩步走:
1)依靠CertiK自身算力的中心化驗證服務。如果客戶本身有強大的硬件設備和系統,可向CertiK提交智能合約和需求,CertiK將合約轉化為數學模型,進行形式化驗證,并生成報告,指明合約中哪一行可能出現漏洞,系統在什么狀態或條件下可能被侵入。CertiK根據合約的復雜程度收取不同的服務費。
2)去中心化的安全驗證生態系統,借助社區參與者的算力,共同生成報告。前文提到的分層結構理論可將復雜任務拆分成小的模塊,CertiK接到客戶需求后,將“任務”和技術工具分發給社區,獎勵提供算力、幫助檢驗小型模塊的貢獻者。交叉驗證機制可以確保社區內無人投機取巧、沒完成任務還“騙取獎勵”。CertiK認為,這種任務分發要比算hash值挖礦更有意義、更低能耗。
市場方面,CertiK目前已與Neo、量子鏈等機構達成戰略合作,同時對市面上的智能合約進行安全性驗證,發現安全漏洞后主動聯系團隊,說明問題,提供解決方案,獲取信任和口碑,逐步積累成功案例,再進行市場宣傳。
據介紹,CertiK已獲耶魯大學,丹華資本,光速中國等機構種子輪融資;計劃在幾個月內發布產品。
CertiK的核心優勢在于團隊。位于硅谷的技術團隊從學術圈出身,去年開始商業化,工程師全部來自Google、Facebook、Freewheel。聯合創始人邵中,普林斯頓大學博士、耶魯大學計算機系系主任/終身教授、中科大名譽院長、清華大學大師講習團成員,20余年安全領域經驗。聯合創始人顧榮輝,清華大學本科、耶魯大學博士、哥倫比亞大學助理教授。
我是郝方舟,關注區塊鏈相關優質項目,加微信nooxika請備注公司+姓名+事由。
PolygonLabs起草并向歐洲議會、歐盟理事會和歐盟委員會的代表發送了一封關于“數據法案”第30條的公開信。目的是澄清第30條的范圍和意圖,以確保它說明了智能合約的運作方式.
1900/1/1 0:00:00穩定幣發行商Tether發文稱,長期以來,黃金一直被視為避險的首選資產,投資者往往在市場動蕩時期涌向這種貴金屬。這是因為黃金長期享有對沖通脹、貨幣貶值和經濟不確定性的聲譽.
1900/1/1 0:00:00人工智能研究公司Anthropic宣布完成4.5億美元C輪融資,SparkCapital領投,Google、SalesforceVC、SoundVentures、ZoomVentures等參投.
1900/1/1 0:00:00作者獲悉,近日,德國物流巨頭DHL與咨詢公司埃森哲合作發布了一份區塊鏈趨勢報告,提及了DHL與埃森哲的區塊鏈合作項目原型。該項目將專注于藥物追蹤領域.
1900/1/1 0:00:00盡管數字貨幣在過去一年中掀起巨大的熱潮,但仍有許多人不那么樂意在網絡上透露自己的身份信息,用于購買數字貨幣.
1900/1/1 0:00:00據彭博社報道,菲律賓證券交易委員會在對投資者的警告中表示,上個月由加密交易平臺GeminiTrustCo.推出的衍生品交易所GeminiFoundation在該國未經授權運營.
1900/1/1 0:00:00