Aztec:发布 Aztec Tierra(Alpha V6)
21:01 宣布(@aztecnetwork 推文)。官方博客:修复此前版本已知漏洞(包括 V5 发现的严重问题),证明系统核心组件做了形式化验证;本地设备上客户端证明约 1 秒,比上一版快一倍;以太坊到 Aztec 的消息投递从平均约 2 分钟降到最快约 12 秒;网络有 3,000 多个验证者,没有特权查看密钥和中心化排序器。
Ethereum Research Daily
Devcon 8 在孟买开幕,Vitalik 的开幕演讲把形式化验证、开源硬件、私密通信列为以太坊使命的一部分。隐私方向集中上线:Aztec Tierra(Alpha V6)发布,Privacy Pools v2 在 Devcon 期间推出。Binance 初步报告披露,攻击者控制签名服务后用 EIP-7702 授权建立委托,暂停提现无法让授权失效。ethresear.ch 讨论 nonce 和 nullifier 的存储成本。

21:01 宣布(@aztecnetwork 推文)。官方博客:修复此前版本已知漏洞(包括 V5 发现的严重问题),证明系统核心组件做了形式化验证;本地设备上客户端证明约 1 秒,比上一版快一倍;以太坊到 Aztec 的消息投递从平均约 2 分钟降到最快约 12 秒;网络有 3,000 多个验证者,没有特权查看密钥和中心化排序器。
Aztec:发布 Aztec Tierra(Alpha V6) 21:01 宣布(@aztecnetwork 推文)。官方博客:修复此前版本已知漏洞(包括 V5 发现的严重问题),证明系统核心组件做了形式化验证;本地设备上客户端证明约 1 秒,比上一版快一倍;以太坊到 Aztec 的消息投递从平均约 2 分钟降到最快约 12 秒;网络有 3,000 多个验证者,没有特权查看密钥和中心化排序器。
16:13,本人签证被拒未能到场,由团队讲解。
18:43,配合 Kohaku 工具链;前一天她发布了 kohaku-cli v0.1.0。
22:32,网络本身不持有密钥。
21:33 发布。约 63.4 亿美元资产受影响,约 28.5 亿美元已冻结或拦截。攻击者先控制了内部钱包签名服务,在正常提现流程之外发起交易。之后用签名服务利用 EIP-7702:发出 50 笔签名交易操纵账户 nonce,建立恶意委托授权,让攻击者控制的合约获得热钱包的部分执行权。
04:05,lightclient(7702 作者之一)的回答是“7702 只是已有攻击的加速剂”。
13:05。
04:15 发布(作者 dlebee)。隐私池每次提款写一个 nullifier,Permit2 的 `nonceBitmap` 和 EIP-4337 式二维 nonce 要写重放标记,机器结算每个会话写一个标记。最常见的 `mapping(bytes32 => bool)` 每个标记约 22,100 gas(20,000 来自零到非零写入)。ZK 批处理让计算几乎免费,但这些标记无法压缩。文章比较打包标记位等做法,并问协议能否提供原生原语。
13:13,形式化验证的 OS、开放硅片、自主健康技术、自由言论、私密通信、可信 AI。EF:开放可验证的硬件 17:30。
EF:Vitalik 开幕演讲定调 13:13,形式化验证的 OS、开放硅片、自主健康技术、自由言论、私密通信、可信 AI。EF:开放可验证的硬件 17:30。
以及 EF:人道援助协调网络概念验证 10:20(去中心化身份配私密支付通道)。
EF Blog:为主权而设计,以太坊用于数字公共基础设施,以及 EF:人道援助协调网络概念验证 10:20(去中心化身份配私密支付通道)。
11:30,参赛者在排行榜上竞争找出验证一个区块最多要做多少工作。
01:41,生成的字节码更省 gas,暂不建议生产使用;Foundry v1.9 04:35 内置 Solar。
Paradigm:Solar v0.3,比 solc 快 100 倍以上 01:41,生成的字节码更省 gas,暂不建议生产使用;Foundry v1.9 04:35 内置 Solar。
15:22,“也许 AI 辅助开发走得有点太快”。
23:56。
07:17。
10:35。
13:57,理由是数学超级智能可能先于量子计算机攻破离散对数。
21:04,让 AI 给 geth 加了只保留四个月数据的激进裁剪。
22:46。