GM!建造者
本期 Hashingbit 介紹了以太坊第 2 層 Taiko 的發佈、Uniswap Labs 和 Across 的新跨鏈標準、Solana 上 PayPal USD 的引入以及 Fantom 與 Google Cloud 的合作。它還介紹了 AggLayer 的 ZK 安全性改進和 Atoma 在 Sui 上的 AI 工具。此外,它還包括用於智能合約審計和 Solidity 開發人員的開發人員工具,並重點介紹了 QuillAudit 的 AI 代理如何檢測 $NORMIE 代幣中的漏洞。
EtherScope:核心發展
以太坊 Layer 2 Taiko 在主線上線
eip4337的問題
較低的以太坊 Gas 費用使供應量在一個月內增加了 50k ETH
Suave 提案:為機密運算請求實施 EIP-712
第 1 層和第 1 層
Vitalik 比較 L2 和以太坊分片願景
即將推出的功能:Starknet 應用程式遞歸 (SNAR)
介紹 AggLayer 的悲觀證明:跨鏈互通性的 ZK 安全性
卡卡羅特·塞波利亞簡介
StarkWare 推出 ZKThreads:用於 dApp 的規範 ZK 分片框架
所有核心開發人員執行呼叫#188Writeup
透過混合執行統一虛擬機
Zeth 為 Optimism 的 OP 堆疊帶來有效性證明
生態工業區
EIP-7716:反相關證明懲罰
ERC-7683:跨鏈意圖
ERC
ERC-TBA:確定性AA錢包
ERC-x:智慧型帳戶的可讀鍵入簽名
ERC-7715:請求錢包的權限
EcoExpansions:超越以太坊🚀
索拉納
LayerZero 已在 Solana 上線!
Solana 驗證者投票決定停止燃燒一半的優先費,現在將保留其中的 100%。
PayPal USD (PYUSD) 已在 Solana 上線!
幻影
Opera 網路升級:Sonic 節點可實現 10,000 TPS 和 1 秒最終確定
Fantom 與 Google Cloud 合作推動下一代 dApp 開發並推出驗證器
多邊形
介紹 AggLayer 的悲觀證明:跨鏈互通性的 ZK 安全性
Polygon Labs 正在使用 Succinct 的 zkVM SP1 來建構他們的旗艦互通協定 AggLayer。
快點
Atoma 為 Sui 建構者提供人工智慧
Sui Overflow:Sui 首屆全球虛擬黑客馬拉松
AgoraDollar 穩定幣 AUSD 上線 Sui,增強網路流動性和效率
DevToolkit:重點與創新🛠️
Solidity v0.8.26:需要自訂錯誤(僅透過 IR),Yul 最佳化器改進了預設序列,JSON 輸出格式略有變化
Clap:用於 PlonKish 證明系統的 Rust eDSL,帶有語意保留最佳化編譯器
阿茲特克的批次合約
Remix v0.49:RemixAI 改進和 TOML 語法突出顯示
Kontrol(形式驗證)添加了對本機 Foundry 作弊代碼斷言的支持
Snekmate(Vyper):為 ERC20/721/1155 和數學合約添加 Halmos 符號測試
Ape-AWS:使用 AWS Key Management Service 和 IAM 存取的 Ape 插件
Viem 新增了支援以太坊的 EIP4361 登錄
EVM Diff:將所有鏈比較表加入現有的並排比較中
micro-eth-signer v0.9:從存檔節點 SSZ 取得帳戶歷史記錄和代幣餘額,共 900 行
Vacp2p Stealth-address-kit v0.1:源自 ERC5564、Rust 和 C 綁定
探索知識的深度:研究論文、部落格和推文🔖
推特
Chainlink 如何推動 12 個代幣化大趨勢的範例
Farcaster 與 Lens 協議:深入探討 🧵
釋放 Stylus 的力量:Arbitrum 和 EVM 的遊戲規則改變者
坎昆之後的下一個硬分叉,Pectra 的一些最新想法
比特幣 L2 格局
DEX 聚合器實際上是如何運作的?
高 FDV 本身並不是壞事。
零知識與樂觀匯總
為尋求資助的建築商提供建議
模組化論文捲土重來
文章
EigenLayer 的重新抵押如何增強 DeFi 的安全性和獎勵
使用零知識證明 (ZKP) 的區塊鏈安全投票
ENS L2 簡介
原子虛擬機 (#AVM) 白皮書
理解 Zk 協處理器的兩部分方法
Github 儲存庫
GitHub Actions 的可重複使用工作流程
Merkle Multiproof(Solidity):為 OpenZeppelin MerkleProof 庫產生輸入以進行模糊測試
調查報告
解決分散式優化的雙功能區塊鏈框架
論區塊鏈生態系統的公平性問題
物聯網協作存取控制—區塊鏈方法
不祥之兆:分析銘文的繁榮及其對 EVM 相容區塊鏈的影響
工具
Recon 簡介:不變測試變得簡單**。
EVM Diff 新增了跨鏈比較。
Eth95.exe - 智能合約的即時 UI。
GoAlert - 開源待命調度、自動升級和通知,讓您永遠不會錯過重要警報。
觀看🎥
Web3 安全觀察🛡️
文章
Web3 安全初學者指南:避免假錢包和私鑰/助記詞洩漏的指南
如何識別及預防地址中毒攻擊
調查報告
DataSafe:透過 PUF 浮水印和區塊鏈追蹤進行版權保護
重新衡量以太坊中最大可提取價值的套利和三明治攻擊
去中心化虛擬研究環境:支援點對點可信任資料共享和協作
推特
反對 FIT21 的論點
零知識證明用例
惡意聚合 Chrome 擴充功能
調查 $CAT meme 團隊昨晚與 GCR 的 X.com 黑客攻擊有關
介紹 Trident - 用 Anchor 寫的 Solana 程式的模糊測試框架
工具
安全聯盟 - 演習範本 - 海豹部隊混沌小組用來與協議團隊協調演習的工具。
Simbolik:運行時驗證的 Solidity 偵錯器 VS Code 外掛程式。
介紹 Shadow-Reth
隆重推出 Open-Binius!
駭客與詐騙🚨
普通的
損失 ~ $881K
Base 網路上的 NORMIE memecoin 被利用,導致 224.98 ETH(約 881,686 美元)損失。
我們的 QuillShield AI 代理程式僅一秒鐘就偵測到了相同的漏洞。
由於智能合約漏洞而被利用,允許未經授權鑄造代幣。
攻擊者使用 Sushi Router 的 2 ETH 兌換 171,955 個 NORMIE 代幣,然後透過兌換 500 萬個 NORMIE 代幣來匹配代幣部署者的餘額。
存在漏洞的_get_premarket_user函數透過匹配團隊錢包餘額將攻擊者的地址加入上市前用戶清單。
閃電借出 11,333,141 個 NORMIE 代幣,其中 9,066,513 個代幣兌換成 65.97 ETH,以操縱代幣供應。
剩餘代幣用於 Uniswap V2 貨幣對和撇幣功能以提取資產。
_transfer 和 swapAndLiquify 函數中的邏輯缺陷允許繞過檢查並鑄造額外的代幣。
代幣供應量膨脹至 6,500 億個 NORMIE 代幣;攻擊者獲利 224.98 ETH(約 881,686 美元)。
剝削者操縱合約權限,使用閃電貸榨乾合約,免費購買代幣,然後出售。
元龍
損失約 18 萬美元
超過 4000 個 NFT 在 2024 年 5 月 28 日的 MetaDragon 黑客攻擊中遭到洩露,扣除 META 基金和營銷費用後,社區成員損失了約 2400 個 NFT。
NFT合約仍然不安全;建議使用者不要鑄造新的 NFT。
社區成員、投資者和流動性提供者遭受了重大損失。
MetaDragon 計劃以「10,000 META + 0.15 BNB」的比例補償每個 NFT。
總補償金額約 2,400 萬 META 和 360 BNB。
補償過程將逐步開始,並提供最新進展。
一些合作夥伴和主要持有者表示願意推遲索賠,優先賠償其他成員,對此MetaDragon團隊深表讚賞。
社區焦點
QuillAudits 於 2024 年達成共識