原文
Designing Infrastructure Where Exploits Destroy Themselves — Dede-Qorqud (2026-07-02)
図1: BeTrueCoreの多層アーキテクチャ防御スタックに対する敵対的攻撃ベクターの概念的マッピング。各層に展開される特定のコンポーネント（ZK-ナリファイア、MACI、AIセンチネル、Celestia DA）を詳述。
ほとんどの集合的意思決定プロトコルは、暗号レベルではなく、人間レベルで失敗します。従来のガバナンスメカニズムは、シビル攻撃、協調的なブロック投票、巧妙な投票買収の犠牲になることが常です。既存のプライバシーソリューションはトランザクションの機密性を保護しますが、人間のシグナルが形成され操作される構造的環境にはほとんど対処していません。
本研究の中心的な主張は、真の主権とプライバシーは、プラットフォームのコアアーキテクチャの構造的環境と運用メカニズム、つまりアーキテクチャ自体に組み込まれるべきであるというものです。
BeTrueCoreは、集合的判断に対する攻撃が依存する条件を取り除くために設計されたモジュラーシステムです。反応的な管理障壁を展開するのではなく、最小共謀防止インフラ (MACI (Minimum Anti-Collusion Infrastructure) v1.2)、ゼロ知識証明（Circomを介したZK-SNARKs (ゼロ知識簡潔非対話型知識証明)）、およびVWU (Vote Weight Unit)と称される譲渡不能な非線形レピュテーションメカニズムを組み合わせた、多層で隔離された保護スタックを利用しています。
このアーキテクチャは、3つの重要なエンジニアリング課題に対処します。
1. 投票買収市場の転覆
セッション中の中間選択の可変性と継続的なMACI駆動の鍵ローテーションを活用することで、BeTrueCoreは受領証不要性 (receipt-freeness) を保証します。参加者は、外部の購入者に対して任意の中間アクションをコンプライアンスの証拠として提示できますが、購入者は最終的なタイムロックされた選択を数学的に検証することはできません。商品が検証不可能であり、内部通貨 (VWU (Vote Weight Unit)) が厳密に譲渡不能であるため、このトランザクションには経済的主体が欠如しています。
2. 規模に基づくシビル攻撃ベクターの軽減
保護は非連続な層に分散されています。大量の合成IDは、L0行動生体認証 (behavioral biometrics) とキーストロークダイナミクス (keystroke dynamics) を介してフィルタリングされ、二重投票を防ぐためにユニークなL1 ZK-ナリファイアチェーンにバインドされ、長期間にわたる同期活動を検出するためにL5読み取り専用AIセンチネル層によって監視されます。コミュニティを成功裏にシミュレートするためには、攻撃者は実際にコミュニティを構築する必要があります。
3. インフラ層の分散化
単一の捕捉点を避けるため、MACIコーディネーターは結果と同時に数学的に検証可能な状態遷移ZK証明を公開する必要があります。侵害されたコーディネーターは、データ整合性 (data integrity) ではなく、システム可用性 (system availability) にのみ影響を与えることができます。さらに、AIエージェント層は厳密に読み取り専用モードで動作するため、インフラの侵害は観測権限を与えるだけで、実行権限 (execution power) は一切与えません。
防御スタックの運用上の適用: 7ステップの日常的意思決定サイクル
Web3-ISMフレームワークの理論的な回復力を文脈化するために、その日常的な運用プリミティブを検証します。これは、各参加者を24時間セッションあたり最大7つの離散的な暗号アクションに制限し、バックエンドから完全に隔離され、個人のVWU (Vote Weight Unit)を明らかにすることなく実行されます。
決定的に、このアーキテクチャは極端な非同期の柔軟性 (asynchronous flexibility) とアンチファーミング制約 (anti-farming constraints) を強制します。
Ø スクリーンタイム効率 (Screentime Efficiency): ユーザーはアクティブな日に1〜7回のアクションを実行でき、セッションウィンドウ内での総インタラクション時間は60分未満で済みます。
Ø 可変参加頻度（機会損失メトリック (Missed Opportunity Metric)）: 高い日次保持率は機械的に義務付けられていません。参加者は週に1回、または月に1回という低い頻度でセッションをアクティブにすることができます。厳密な心理的快適性 (psychological comfort) を維持するため、このアーキテクチャは、蓄積されたポイント、ランク、バッジが休眠 (dormancy) のために差し引かれたりペナルティを受けたりしないことを保証します。代わりに、非アクティブ期間は厳密に*逃された暗号機会 (missed cryptographic opportunities)*として記録されます。ユーザーの履歴ステータス (historical status) は完全に保持されますが、不在期間中は相対的な動的投票軌跡 (relative dynamic voting trajectory) (VWU (Vote Weight Unit)) が平坦になり、大量のオフラインアカウントが継続的な認知的貢献 (cognitive contribution) なしに受動的にガバナンスアルファ (governance alpha) を買い占めるのを防ぎます。
セッションがアクティブな場合、7ステップのサイクルは次のように展開されます。
- プロンプト生成 (Prompt Generation)（アクション1）: ユーザーはセッションテーゼ (session thesis) を要約する単一のテキストプロンプトを入力します。これは、自動AIインジェクション (automated AI injection) を阻止するために、L0キーストロークダイナミクスフィルタリングとL5意味的異常クラスタリング (semantic anomaly clustering) に即座にかけられます。
- パターン形成 (Pattern Formulation)（アクション2～4）: ユーザーは、他の参加者のプロンプトのランダム化されたプールからトップ3を指名するために、3つのバイナリ選択 (binary selections) を実行します。これらのアクションは継続的なMACI鍵ローテーションによって完全に隠蔽 (fully obscured) され、受領証不要性 (receipt-freeness) を達成します。
- 出力選択 (Output Selection)（アクション5～7）: ユーザーは、前回のセッションのトップ3プールから導出された実用的なジレンマ (practical dilemmas) に対して3つのバイナリ投票を行い、シグナルを状態遷移証明にコミットします。
その結果、協調的な乗っ取り (coordinated capture) を試みる攻撃者は、高スループットスクリプト実行 (high-throughput script execution) や大量受動アカウントの買い占め (mass passive account hoarding) に頼ることはできません。システム状態をシフトさせるためには、敵対的インフラは、非常に不規則で流動的な間隔 (highly irregular, fluid intervals) で、異なる人間の認知的関与ベクトル (distinct human cognitive engagement vectors) を真にシミュレートする必要があり、攻撃コストを設備投資 (capital expenditure) から計算的および認知的不能性 (computational and cognitive impossibility) へと転換させます。
技術的な議論とフィードバック
現在、ロードマップのフェーズ2にあり、回路統合 (circuit integration)、MACI最適化 (MACI optimization)、およびEVM テストネットでのMVPローンチ (MVP launch) の準備に注力しています。堅牢な共謀防止インフラに関心のあるイーサリアム研究エンジニア、ZK暗号学者、Solidity開発者からのフィードバックを歓迎します。
特に：
- より強力な攻撃者モデル（例：すべての中間選択 (intermediate choices) をリアルタイムで観測できる攻撃者）の下でも、受領証不要性 (receipt-freeness) の議論は成立しますか？
- MACI (Minimum Anti-Collusion Infrastructure) v1.2はナリファイア層に適したプリミティブですか、それともより新しい構成でより適したものがありますか？
- セッションレベルのSTARK証明の適切な集約戦略 (aggregation strategy) は何ですか — セッションごとのバッチ (per-session batch)、日ごとのバッチ (per-day batch)、またはローリング (rolling) ですか？
検証とオープンソース
- 完全な論文 (Zenodoプレプリント (Zenodo Preprint)): The Notary Under Attack: An Adversarial Model for Cryptographic Collective Intelligence. https://doi.org/10.5281/zenodo.21111544
- 検証: BeTrueCore MSのマスタードキュメント (Master Document) はOpenTimestampsを介してSHA-256でハッシュ化されています。
- リポジトリ: https://github.com/Dede-Qorqud/BeTrueCore
1投稿 - 1参加者