Trail of Bits

Liquity 經受住了市場真實波動的考驗，其穩定幣機制的穩定性和有效性得到了初步驗證。撰文：李雨軒，Mint Ventures 研究員研報要點LUSD 具有超額抵押穩定幣裏最優秀的機制，雖然上線時間不足 3 個月，但是其機制的有效性已經完全得到驗證，後續發展主要考驗 LUSD…

鏈聞消息，去中心化期貨交易所 Futureswap 公佈路線圖，此前已由網絡安全研究和諮詢公司 Trail of Bits 審計其 V3 版本合約代碼，並於 6 月 2 日前下線 V2 版本，將於 6 月 21 日開啓 V3 測試版，並將於第三季度初上線 V3 版本。V3…

鏈聞消息，網絡安全研究和諮詢公司 Trail of Bits 撰文闡述其概念驗證的靜態分析框架 Solar，這是一個可以爲 Solidity 智能合約提供上下文無關的交互分析框架。Trail of Bits 稱，雖然是一個原型，但 Solar…

鏈聞消息，安全公司 Trail of Bits 在發佈的針對二層擴容網絡 Hermez 的安全評估報告中指出，共發現了共 22 個問題，目前 Hermez 已修復了其中的 13…

鏈聞消息，安全研究機構 Trail of Bits 發佈關於 EIP-2535「鑽石標準」（Diamond Standard）提案的審計研究報告，他們認爲「鑽石標準」作爲智能合約可升級性的實現之一，目前還不值得以目前的形式推薦它。「鑽石標準」是一種智能合約的可升級模式，但是 Trail of…

鏈聞消息，開放式金融平臺 DeFiner （FIN） 已完成兩輪合約審計。負責審計的工程師分別在 Chain Security （現 PwC 瑞士）、Trail of Bits 等多家審計安全公司從業。其中 Trail of bits 的合約審計師爲著名白帽黑客…

鏈聞消息，穩定幣兌換平臺 Curve （CRV）公佈了三份審計報告，審計方分別是 Trail of Bits、Quantstamp 以及 Mix Bytes()。去中心化聚合交易工具 1inch 昨日在推特表示： Curve Finance DAO 和代幣的安全審計報告在哪。Curve…

鏈聞消息，安全研究機構 Trail of Bits 宣佈，正在與約翰霍普金斯大學的 Matthew Green 合作，使用零知識證明（zero-knowledge proofs）技術爲科技公司和安全漏洞研究人員建立一種可信的基礎設施，在新的合作方式之下，雙方在針對漏洞披露（Vulnerability…

鏈聞消息，鏈上期權協議 Hegic 宣佈上線 V1 版本 Hegic 協議，功能包括 ETH 看跌期權、ETH 看漲期權、期權編寫用戶界面、自定義任意行使價設置、將隱含波動率計入的新的定價公式（IV），流動性提供者賣出看跌期權並獲得 DAI 的收益以及賣出看漲並賺取以太坊的收益。此外， V1 版本…

鏈聞消息，安全團隊 Trail of Bits 宣佈將與北亞利桑那大學聯合組織第一屆「國際智能合約分析研討會」（簡稱 WoSCA 2020），與「國際軟件測試與分析研討會」（ISSTA 2020）同地進行，也就是位於美國洛杉磯，時間爲 7 月 18 日至 22 日。Trail of Bits…