Ethereumの共同創業者であるVitalik Buterin氏は、AztecのSundayで匿名メッセージ掲示板の動くデモを公開しました。彼はFarcasterでこのプロジェクトを共有し、2022年のブログ記事で彼が示した「モデレーション付きのanonビルボード」の“vibe-coded”（雰囲気重視の）おもちゃ版だと説明しました。このデモは、Aztecのレイヤー2ネットワーク上で、完全にプライベートな投稿とオンチェーンのモデレーション層を組み合わせて実装されています。コードは、Buterin氏のvbuterinアカウントのGitHub上で公開されています。このプロジェクトは、匿名投稿とプログラマブルな検閲ルールを組み合わせることで、分散型コミュニケーション・システムにおけるプライバシーとコンテンツ・モデレーションの課題に取り組みます。
Aztec Layer 2における技術アーキテクチャ
メッセージ掲示板はAztec上に構築されています。リポジトリによると、ユーザーはEthereumのベースレイヤーにETHを預け、レイヤー2上で匿名でメッセージを投稿し、その後ETHをレイヤー1へ引き出します。投稿には公開コールデータ内に送信者アドレスが含まれず、元の預け入れへのリンクもありません。
Buterin氏はFarcasterでのフォローアップキャストで、Aztecはレイヤー2の成熟度スケールにおける最も分散型の段階である「ステージ2」に到達していたと述べました。
LLMデーモン付きオンチェーン・モデレーションシステム
設計では、デプロイ時に設定される検閲（censor）ロールを付与し、「不道徳（immoral）」として投稿にフラグを立てられるようにしています。フラグが立てられた投稿はデフォルトのフィードから隠され、投稿者の次のメッセージにタイムロックのペナルティが課されます。
ローカルのLLMデーモンが掲示板を監視し、ドキュメントに従って、各投稿をオンチェーンのモデレーション・ポリシーと照合して評価し、それに違反するものをフラグ付けします。ポリシー自体はオンチェーンに保存され、アプリ、CLI、デーモンから読み取れるようになっています。
レート制限と形式検証
投稿はクールダウンによってレート制限され、預け入れが増えるほど縮まります。リポジトリによると、0.001 ETHで1時間に1投稿が可能で、0.01 ETHでは1時間に10投稿が可能です。
システムの一部には形式検証が含まれています。ドキュメントによれば、レート制限、検閲スクリーニング、プライバシー、預け入れの安全性をカバーするセキュリティ特性は、Lean 4で70の定理として証明されており、未検証のギャップはゼロです。
開発状況と未解決項目
リポジトリには、この作業は早期かつ不完全だと記載されており、未解決項目にはアクセス制御の修正や未テストのブラウザフローが含まれています。Buterin氏はキャストの中で、このデモはすでに「とても興味深い、難題に対する非自明なこと」をできると述べました。
FAQ
Vitalik Buterin氏の匿名メッセージ掲示板デモは何をするのですか？
このデモでは、EthereumのベースレイヤーにETHを預けた後、Aztec Layer 2上でユーザーがメッセージを匿名で投稿できるようにします。投稿には公開コールデータ内に送信者アドレスが含まれず、ローカルLLMデーモンを使ってルール違反のコンテンツにフラグを立てるオンチェーン・モデレーションシステムが含まれます。
モデレーションシステムはButerin氏のメッセージ掲示板でどのように機能しますか？
デプロイ時に設定される検閲ロールが、投稿を「不道徳」としてフラグ付けできます。ローカルのLLMデーモンが、各投稿をオンチェーンのモデレーション・ポリシーに照らして評価し、違反をフラグ付けします。フラグが立てられた投稿はデフォルトのフィードから隠され、投稿者の次のメッセージにタイムロックのペナルティが課されます。
このプロジェクトの現在の開発状況はどうなっていますか？
リポジトリには、この作業は早期で不完全だと記載されています。未解決項目にはアクセス制御の修正や未テストのブラウザフローが含まれています。このシステムには、レート制限、検閲スクリーニング、プライバシー、預け入れの安全性に関するセキュリティ特性をカバーする70の定理によるLean 4での形式検証が含まれています。
