2026-07-20 11:44:18
维塔利克·布特林在 Aztec 上发布匿名留言板演示,并提供链上审核功能
据 The Block 报道,以太坊联合创始人 V 神 于周日(7 月 19 日)在 Aztec 上发布了匿名留言板的可运行演示,将完全私密的发帖与链上审核层相结合。该演示通过 Farcaster 分享,并已在 GitHub 上开源:允许用户在以太坊基础层存入 ETH,在 Layer 2 上匿名发布消息,并在不在公开调用数据中暴露发送方地址的情况下,将资金提取回 Layer 1。发帖会根据存款规模进行限速:0.001 ETH 可使每小时发布一次,而 0.01 ETH 可购买十次发帖。被标记的帖子会从默认动态中隐藏,并对发布者的下一条消息施加时间锁惩罚。该系统还在 70 条 Lean 4 定理上对安全性性质进行了形式化验证,且不存在“零未证”(zero-uncertified)漏洞。