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 年达成共识