布特林推出实验性匿名留言板，探索链上隐私与问责平衡

核心提要：以太坊联合创始人维塔利克·布特林发布基于Aztec网络的实验性匿名留言板，结合押金机制与AI审核，尝试在保护用户身份的同时实现内容治理。项目虽通过70项形式化验证，仍存在访问与浏览器兼容性问题。

布特林推实验性匿名平台：以太坊驱动的隐私通信新尝试

以太坊联合创始人维塔利克·布特林近日上线一款基于Aztec协议的实验性匿名信息板，该系统融合了零知识证明、可退还押金及自动化内容审查功能，旨在构建兼具隐私性与责任约束的数字言论空间。

去中心化匿名发帖机制实现全流程隐私保护

用户通过以太坊主网存入ETH作为押金，在不暴露钱包地址的前提下于二层网络发布消息，完成操作后可将资金原路返还。整个流程中，公共调用数据无法关联原始发帖者身份，确保信息发布的匿名属性。

智能审核体系引入人工与AI双轨监管

部署合约时设定的审核员账户具备标记违规内容的权限，可将帖子设为“不道德”状态并从默认流中隐藏，同时延长作者下次发帖前的冷却期。此外，本地运行的大语言模型会实时比对新帖内容与预设链上规则，一旦发现偏离即通过命令行界面触发标记。

形式化验证保障核心逻辑安全，但尚处早期测试阶段

该项目代码库已通过Lean 4框架完成70项形式化验证，覆盖速率控制、押金安全、隐私保护及审核筛选等关键模块，未发现已知漏洞。然而，官方文档明确指出当前仍存在访问控制未完善和浏览器交互流程未经充分测试等问题，整体处于原型验证阶段。

布特林早在2022年便提出类似构想，将其视为实现“氛围编码”式自由表达的重要路径。此次演示将理论付诸实践，但仍未解决主观规则判定带来的争议，其长期有效性仍有待观察。