原文
TRION: A Multi-Plane Behavioral Truth Oracle with Dual-Strand Cryptographic Identity and a Sixth Altruistic Plane — TRION-Protocol (2026-05-17)
TRION: デュアルストランド暗号IDと第6の利他的プレーンを持つ多層行動真実オラクル
概要
TRIONは、価格フィードオラクルでは防御できない種類のオラクル障害、すなわち読み取られる価格の操作ではなくトランザクションの背後にあるエンティティの操作に対処する行動真実オラクルである。TRIONは、物理エントロピー、精神予測一貫性、精神バリデータコンセンサス、意識的人間アノテーション、原型パターンマッチングという5つの独立したプレーンにわたる行動の一貫性を測定し、単一の検証済みシグナル T(t) ∈ [0, ∞) またはファーストクラス出力 SILENCE を生成する。我々は、これまでのいかなるオラクルまたは暗号システムにも存在しないと我々が知る3つの構成を導入する。
(1) 証明済みのXORアンチセンス不変条件を持つデュアルストランド行動ハッシュ
(2) 指数関数的に時間加重された行動資本プリミティブとしての複利行動モート
(3) 検証可能で経済的に意味のあるオンチェーンプロトコル出力としてのSILENCE。我々はまた、利他的な行動貢献を測定する第6の行動プレーンであるラムダ（λ）プレーン — ラブプロトコル — を提示する。すべての構成は37のチェーンで稼働中である。我々は完全な数式、現在のスタブ状態の正直な開示、そしてコミュニティへの未解決の質問を提示する。
1. 価格フィードでは解決できないオラクル問題
既存のオラクル設計（Chainlink、Pyth、UMA）は、「時刻tにおけるアセットXの価格は何か？」という1つの質問に答える。それらは、経済的ステーキングと集約を通じて、データソースの操作、シビルレポーターセット、フラッシュローンTWAP攻撃から防御する。
しかし、「このトランザクションを要求またはトリガーしているエンティティは正直に振る舞っているか？」という質問には答えられないし、答えることもできない。
Mango Marketsのエクスプロイト（2022年10月）を考えてみよう。攻撃者はデータソースを操作しなかった。彼らはポジションを構築し、協調的なスポット価格変動を通じて担保価値を膨らませた — これは価格オラクルの視点からは完全に合法的に見える行動だった。このパターンを観測する行動オラクルは、以下を検知しただろう。
- f1 ボリュームエントロピー: 協調されたウォレットからの突然の集中（低エントロピー）
- f9 MEV（最大抽出可能価値）露出エントロピー: 同期されたサンドイッチポジショニング
- 操作フィンガープリント: COORDINATED_PUMPパターン、sync_buy_ratio > 0.60 → MF = 0.85
- 行動の一貫性 C(t) が閾値 Θ(t) を下回る → SILENCE
ExecutionGateコントラクトは STATUS_COLLAPSE (3) を受け取り → 担保が引き出される前にハードリバート。
これがTRIONが対処する問題領域である。この投稿の残りの部分では、正式な構成について記述する。
2. デュアルストランド行動ハッシュ
2.1 動機
標準的な暗号ハッシュはシングルストランドである。1つの入力が1つの出力を生成する。改ざん検出には外部参照が必要となる。生物学的DNAは相補鎖を使用するが、これはシングルストランドの破損がサイレントに伝播する可能性があるためである — 相補鎖は信頼できる第三者なしでの検証を可能にする。
我々はこれを行動アイデンティティに適用する。
2.2 構成
標準的な93バイトペイロード (ホワイトペーパー L0.1 §3.1):
payload = entity_id(32) || event_type(1) || magnitude_norm(8)
|| context(8) || timestamp(8) || chain_id(4) || block_hash(32)
デュアルストランド:
sense = SHA3-256(payload || 0x00)
antisense = SHA3-256(payload || 0xFF) ⊕ NOT(sense)
不変条件 (証明済み):
sense ⊕ antisense = NOT(SHA3-256(payload || 0xFF))
証明: H = SHA3-256(payload || 0xFF) とする。すると antisense = H ⊕ NOT(sense) となる。したがって sense ⊕ antisense = sense ⊕ H ⊕ NOT(sense) = H ⊕ (sense ⊕ NOT(sense)) = H ⊕ 0xFF…FF = NOT(H)。∎
ペイロードへのいかなるシングルビット改ざんも、1 − 2⁻²⁵⁶ の確率でこの不変条件を破る。
2.3 マグニチュード正規化
M_norm = log10(USD_value + 1) / log10(max_observed_90d + 1)
Log10正規化は、スケール不変性のために線形比率よりも選択される。100ドルのトランザクションと1億ドルのトランザクションは、行動的意義において10⁶倍離れているわけではない — その意義の差は対数的である。90日間移動最大値は、市場の極端な状況での暴走正規化を防ぐ。
2.4 イベントタイプ分類
20の標準的なイベントタイプが1バイトでエンコードされる。
| バイト | タイプ | バイト | タイプ |
|---|---|---|---|
| 0 | TRANSFER | 10 | BRIDGE |
| 1 | SWAP | 11 | DEPLOY |
| 2 | LIQUIDITY | 12 | UPGRADE |
| 3 | BORROW | 13 | REPAY |
| 4 | LIQUIDATE | 14 | MINT |
| 5 | GOVERNANCE | 15 | BURN |
| 6 | PROPOSAL | 16 | FLASH_LOAN |
| 7 | STAKE | 17 | ORACLE_UPDATE |
| 8 | UNSTAKE | 18 | MEV_CAPTURE |
| 9 | AIRDROP | 19 | CLAIM |
| 現在のステータス: 全37チェーンがトランザクションごとのデュアルストランドBHを生成。ARB_SEPOLIAでの単一セッションから1,854以上のBHが保存済み。13のRustクレートがすべてクリーンにコンパイルされ、標準的なBHを生成。 |
3. 5プレーン一貫性アーキテクチャ
3.1 マスター方程式
C(t) = α·Φ_adj(t) + β·M_adj(t) + γ·Σ(t) + δ·K(t) + ε·A(t)
デフォルトの重み: α=0.25, β=0.30, γ=0.25, δ=0.10, ε=0.10
7つの資産クラスの重みプロファイルが、これらをランタイムで調整する。ガバナンストークンでは、ガバナンス行動評価において人間アノテーションの品質がエントロピーパターンよりも genuinely 重要であるため、δは0.25に上昇する。
3.2 動的閾値
Θ(t) = Θ_min + (Θ_max − Θ_min) × V(t)
Θ_min = 0.55, Θ_max = 0.92
V(t)は正規化された移動市場ボラティリティである。市場危機の間、V(t) → 1.0 となり、C(t) > 0.92 の基準が引き上げられる — DeFi実行が許可される前にほぼ最大の行動の一貫性が要求される。これは、DeFiにおける現在の危機対応の仕組みとは逆である。DeFiでは、流動性が低いとエクスプロイトが容易になるが、ここではより困難になる。
3.3 プレーン Φ — 物理（シャノンエントロピー、9特徴量）
Φ(t) = H(f1, f2, …, f9) ここで H は正規化されたシャノンエントロピー
H(X) = −Σ p(x) log₂ p(x)
インデックス化されたすべてのブロックにわたる9つの特徴量:
- f1: ボリュームエントロピー
- f2: 取引相手多様性エントロピー
- f3: 時間間隔エントロピー
- f4: ガス使用量エントロピー
- f5: メソッドセレクタエントロピー
- f6: 価値集中エントロピー
- f7: ネットワークエントロピー（エンティティが触れるチェーン）
- f8: 流動性プール相互作用エントロピー
- f9: MEV（最大抽出可能価値）露出エントロピー
高エントロピー = オーガニックで多様な、操作耐性のある行動。
低エントロピー = 繰り返されるパターン、集中したソース — ウォッシュトレード、シビル攻撃、協調的なポンプの特徴。
ステータス: ライブ。 全9特徴量が、Rustインデクサーによって全37チェーンでブロックごとにリアルタイムで計算される。
3.4 プレーン M — 精神（観測者効果補正）
M_adj(t) = M(t) × (1 − 0.30 × OE_factor) when OE_factor > 0.40
OE_factor = correlation(signal_{t-1}, Δbehavior_t)
観測者効果: エンティティが自身のオラクルスコアを知っている場合、真の行動ではなくスコアのために最適化する。精神プレーンは、公開されたシグナルとそれに続く行動変化との相関を通じてこれを検出する。OE_factor > 0.40 の場合、シグナルは最大30%減衰される。
Manifestation Gap Monitorは、MG = |M_published − M_realized| の20ポイント移動履歴を追跡する。
ステータス: 部分的。 数式構造は正しい。OE_factorは現在、実際のシグナルと行動の相関追跡ではなく、決定論的なエンティティハッシュシード値を使用している。これは現在のシステムに対する単一変数改善として最も影響が大きい。
3.5 プレーン Σ — 精神（多様性加重BFTコンセンサス）
Σ(t) = Σ_j[s_j · d_j · 1(|v_j − M̄| ≤ δ(t))] / Σ_j[s_j · d_j]
ここで s_j = ステーキング重み、d_j = 多様性重み（地理的、クライアント多様性、独立性）、δ(t) = 適応的偏差許容度。これは多様性加重ビザンチンフォールトトレランスである。40%のステーキングが、その40%が低い多様性重み（例: すべてのバリデータが同じクライアントソフトウェア、同じ地理にいる）を持つ場合、Σ → 1.0 を強制することはできない。
正直な開示: スタブ。 Σ = 0.25 がハードコードされている。これはC(t)の25%が定数であることを意味する。数式は実装されており、正しい。バリデータネットワークは稼働していない。これはホワイトペーパーと現在のデプロイメントとの間の最大のギャップである。
3.6 プレーン K — 意識（コミット・リビール人間アノテーション）
K(t) = Σ_j[stake_j · round_j · annotation_j] / Σ_j[stake_j]
レビューごとに5人のアノテーター。5人中3人の多数決。匿名12ヶ月任期。リビール前のハッシュコミットメントは群集行動を防ぐ。不正なアノテーションに対するステーキングスラッシング。
正直な開示: スタブ。 K = 0.10 がハードコードされている。メカニズムは完成している。アノテーターもステーキングコントラクトも存在しない。デフォルトの重みでは、これはC(t)に0.01貢献する — 無視できる固定値である。
3.7 プレーン A — ANIMA（k-NN原型パターンマッチング）
A(t) = cosine_similarity(BEO_entity, nearest_archetype) × (1 − 0.30 × reflexivity)
FAISS FlatL2インデックス、128次元。64ベクトル以上が蓄積されるとK平均法から64の原型が生成される。KLダイバージェンスによる異常検出: KL > 0.15 → TRAJECTORY_WARN、KL > 0.35 → MANIPULATION_ALERT → Genesis Lock。
反射性減衰: A_adj = A × (1 − 0.30 × reflexivity_score) は、オラクルが自己実現的予測になるのを防ぐ。
ステータス: 部分的。 FAISSはポート8000で稼働中。Rustインデクサーがブロックを処理するにつれて、インデックスはリアルタイムで成長する。アカシック深度が10,000ベクトルを超えるまでブートストラップ0.10を返す。
4. 真実シグナル
4.1 ジェネシス信頼度
conf_genesis(t) = 1 − e^(−λ · D(t))
ここで D(t) はアカシック深度（このエンティティのすべてのBHレコードの加重合計）、λは原型マッチング収束率である。
λ = Σ_k sim(G, A_k) · λ_k / Σ_k sim(G, A_k)
動きの速いエンティティ（初期活動が高く、高回転原型にマッチする）は、より大きなλを持ち、より速く収束する。ガバナンストークンはより小さなλを持つ — その行動の真実が確立されるにはより時間がかかり、そうあるべきである。
4.2 真実シグナル
T(t) = [C(t) ≥ Θ(t)] · C(t) · e^(M_moat)
アイバーソンブラケット [C(t) ≥ Θ(t)] は、行動の一貫性が閾値を下回る場合にファーストクラス出力 SILENCE を生成する。T(t) = 0 は失敗ではない — その時点では行動の真実を確立できないという検証可能な主張である。
4.3 複利行動モート
M_moat = D · Q · R · X · F · N
| 要因 | 意味 |
|---|---|
| D | データ深度（アカシックレコード数） |
| Q | 品質スコア（Kプレーンアノテーション品質） |
| R | 反射性抵抗（ANIMAプレーン） |
| X | クロスチェーンカバレッジ（インデックス化されたチェーン） |
| F | 反証可能性（独立したデータソース） |
| N | ネットワーク効果減衰（時間ベース） |
| 乗算は意図的かつ重要である。いずれかの要因がゼロになると、モートは完全に崩壊する。1つのチェーンで3年間の履歴を持つが、クロスチェーンカバレッジがゼロ（X ≈ 0）のエンティティはモートを持たない — なぜなら、高度な攻撃者が単一チェーンの履歴を偽装できるからである。クロスチェーンの行動多様性が必要である。 | |
| 真実シグナルにおける e^(M_moat) は、行動資本が複利で増加することを意味する。エンティティがより長く、より正直に、より多くのチェーンにわたって行動するほど、そのシグナルを操作またはなりすますことは指数関数的に困難になる。 |
5. リビングセキュリティシステム
SEC(t) = LSS(t) · PQC(t) · CC(t)
ゲノムキーはすべての行動イベントで進化する。
GK(t) = Hash_DNA(GK(t−1) || BE(t) || TM(t) || CV(t))
盗まれたスナップショットは、正確に1エポックの間だけ有効である。1つの行動サイクル内で、キーはすでにスナップショットを超えて進化している。
ブートストラップ減衰（D ≈ 50,000 で完全に稼働）:
bootstrap_weight(t) = e^(−λ_boot · D(t)) ここで λ_boot = 0.0001
8つのDNA模倣セキュリティコンポーネント:
- GK進化 — 盗まれたスナップショットは即座に古くなる
- 相補鎖 — XOR改ざん証拠（センス ⊕ アンチセンス不変条件）
- 免疫システム — 自然免疫 + 適応免疫 + 記憶（永続的な記憶、決して減衰しない）
- エピジェネティック層 — EL_state = f(threat_level, validator_health, network_entropy); 4つの状態: NORMAL/ELEVATED/DEFENSIVE/LOCKDOWN
- 遺伝的組換え — すべてのセキュリティパラメータが24時間間隔で行動履歴から再導出される
- 暗号ノイズ — デコイシーケンス; ノイズパターン自体が認証
- ミトコンドリアコア — 独立したプロトコル整合性DNA; 第二認証層
- CRISPR防御 — 25以上の既知のDeFi攻撃シグネチャ（Harvest、Beanstalk、Mango、Jimbos、Euler、Curve、Ronin、Wormhole）; 適応学習
エピジェネティック状態遷移:
NORMAL → ELEVATED (threat_level > 0.30)
ELEVATED → DEFENSIVE (threat_level > 0.60)
DEFENSIVE → LOCKDOWN (threat_level > 0.85)
ステータス: 全8コンポーネントがPythonとRustで稼働中。デュアルストランドXOR不変条件、改ざん検出、GK進化、SEC(t)計算を含む10のRust単体テストが合格。
6. ラブプロトコル — ラムダ（λ）プレーン
「TRIONの免疫システムは悪いものから保護する。ラブプロトコルは良いものを明らかにする。」
最初の5つのプレーンは、エントロピー、予測、コンセンサス、アノテーション、パターンを通じて行動の真実を測定する。それらは「このエンティティは正直か？」という問いに答える。ラブプロトコルは別の問いに答える。「このエンティティはネットワークにとって良いか？」
6.1 構成
L(t) = w_PG·PG(t) + w_CS·CS(t) + w_AL·AL(t) + w_TP·TP(t) + w_RC·RC(t)
| コンポーネント | 重み | 意味 |
|---|---|---|
| PG(t) | 0.35 | 公共財スコア: 公共に展開された価値 vs 抽出された価値 |
| CS(t) | 0.25 | 危機安定性: 市場ストレス時に維持された流動性 |
| AL(t) | 0.18 | 利他的流動性: 不利な比率での提供 |
| TP(t) | 0.12 | 時間的忍耐: 長期保有 vs 抽出行動 |
| RC(t) | 0.10 | 相互作用の一貫性: 他者に与えたエンティティに与えること |
6.2 ラブインデックス
LV(t) = L(t) · e^(−MF(t)) · TrustChain(t) · Longevity(t)
操作スコア MF(t) は負の指数関数として現れる。MFが高いと、見かけの利他主義に関わらずLV(t)はゼロに近づく。操作を通じて利他的に見せかけながらラブスコアを偽装することはできない。数式が構造的にそれを防ぐ。
自己破壊特性 — MF > 0.75（敵対的エンティティ）の場合:
LV(t) → LV(t) × 0.02 （ほぼゼロへの崩壊）
ラブプロトコルは敵対的エンティティに対して自らを殺す。これはルールではなく — 数式から創発する特性である。
TrustChain(t): 相互作用するエンティティもLVで高いスコアを獲得する。利他主義は取引相手グラフを通じて伝播する。
長寿性:
Longevity(t) = 1 − e^(−0.00001 · D(t))
短期的な利他的バースト（エアードロップファーミングでよく見られる）は急速に減衰する。時間をかけた一貫した貢献が複利で増加する。
6.3 グレード
| LV(t) 範囲 | グレード |
|---|---|
| ≥ 0.70 | 模範的 (EXEMPLARY) |
| ≥ 0.50 | 信頼できる (TRUSTED) |
| ≥ 0.30 | 構築中 (BUILDING) |
| ≥ 0.10 | 萌芽的 (NASCENT) |
| < 0.10 | 敵対的崩壊 (HOSTILE_COLLAPSE) |
6.4 意義
ラブプロトコルは、反社会的行動を罰するだけでなく、親社会的行動を検出し、報酬を与えるように設計された最初のオラクルプレーンである。DeFiでは、合理的な行動は現在、抽出を好む。ラムダプレーンは、利他的貢献に対する明確な経済シグナル — 測定可能、検証可能、複利で増加する — を生み出す。高いLV(t)スコアを持つエンティティは、そのシグナルを統合するプロトコルによって、優遇レート、低い担保要件、またはガバナンス重みを提供される可能性がある。
ステータス: /api/v1/love/<entity_id> で稼働中。すべてのコンポーネントはオンチェーンの行動データから計算される。
7. リビングインデックス
LI = T(t) · e^M · SEC(t) · BC(t) · EP(t) · BRT(t)
LI_norm = 1 − e^(−LI_raw)
| コンポーネント | 意味 |
|---|---|
| T(t) | 真実シグナル |
| e^M | モート増幅 |
| SEC(t) | リビングセキュリティスコア |
| BC(t) | 生物学的資本（バリデータステーキング深度） |
| EP(t) | エネルギー参加（クロスチェーンの広がり） |
| BRT(t) | 生物学的リズム時間（概日リズムの同期） |
| グレード: APEX (≥0.85)、PRIME (≥0.70)、ACTIVE (≥0.50)、BOOTSTRAP (<0.30) | |
| 全プレーンが稼働し、M_moatが0.8〜1.2に達する完全な成熟時には、e^M_moat ≈ 2.2〜3.3 となり、正規化前にT(t)値が1.0を大幅に超えることが可能となる。これは理論上の上限がない行動資本である。 |
8. クロスチェーン行動連続性 (BTCP)
BTCP_score = [0.25·NL + 0.20·gas_norm + 0.20·finality_conf
- 0.15·CC_coherence + 0.20·BEO_continuity] × (1 − MF_score)
複数のチェーンからのデュアルストランドBHのバンドルは、自己証明型行動クレデンシャルを形成する。任意のチェーン上の任意の受信プロトコルは、発信元チェーンにクエリすることなくクレデンシャルを検証できる — なぜなら、センス/アンチセンス不変条件が各BHに自己完結しているからである。
これは、信頼がポータブルであることを意味する。エンティティのEthereum上の行動履歴は、ソラナ、コスモス、またはアプトスに暗号証明バンドルとして転送される — 主張としてではなく、第三者によって割り当てられた評判スコアとしてではなく、自己検証型行動証明のセットとして。
9. 現在の制限に関する正直な開示
| 主張 | ステータス | 現実 |
|---|---|---|
| シグマバリデータコンセンサス | スタブ | Σ = 0.25 がハードコードされている。バリデータネットワークは存在しない。 |
| K人間アノテーション | スタブ | K = 0.10 がハードコードされている。アノテーターもステーキングコントラクトも存在しない。 |
| PQC (Kyber/Dilithium) | スタブ | シミュレーション。liboqsはインストールされていない。SHA3デュアルストランドは実在する。 |
| OE_factorの実測 | 部分的 | エンティティハッシュシードによる決定論的値であり、実際の相関ではない。 |
| ANIMA原型 | 部分的 | 10,000ベクトルに達するまでブートストラップ0.10。リアルタイムで成長中。 |
| リオーグ処理 | 欠落 | Rust EVMインデクサーにオーファンブロック検出機能がない。 |
| コルモゴロフ境界 | 推測 | 正式には証明されていない。 |
| この投稿のその他すべて — デュアルストランドBH、5プレーンアーキテクチャ、複利モート、SILENCE出力、ラブプロトコル、CRISPR防御、リビングセキュリティ — は、現在37チェーンで稼働中のライブコードである。 |
10. コミュニティへの公開質問
Q1. コルモゴロフ複雑性境界は、行動深度が増加するにつれてP(LSSを破る)が単調減少すると主張している。これは正式に証明できるか？既知の困難な問題からの還元は可能か？
Q2. シグマが意味のあるビザンチンフォールトトレランスを提供するために、最小限の実行可能な多様性加重バリデータ数はいくつか？最適な地理的およびクライアント多様性分布は何か？
Q3. デュアルストランドBHは93バイトの行動証明を生成する。2⁻²⁵⁶の改ざん耐性を維持しつつ、より少ないバイト数でXORアンチセンス不変条件を保持する、より効率的な構成は存在するか？
Q4. ラブプロトコルのTrustChainコンポーネントは、取引相手グラフを通じて利他主義を伝播する。これは、エンティティが偽の利他的相互作用を作成してLV(t)を人為的に膨らませるシビル利他主義攻撃に対して脆弱か？
Q5. ファーストクラス出力としてのSILENCEは、DeFiプロトコルがExecutionGateを統合することを要求する。大幅なプロトコル再構築を必要としない最小限の実行可能な統合は何か？
Q6. 複利モート M_moat = D·Q·R·X·F·N は乗算的である。忍耐強くリソース豊富な攻撃者に対して、十分に深いモートに対してナッシュ均衡が存在しないことを証明する正式なゲーム理論モデルは存在するか？
11. 実装詳細
言語の内訳（ホワイトペーパー L11 — 必要な7言語すべてが稼働中）:
- Rust — L0コア、13クレート、BHパイプライン全体
- Python — AI/ML、オラクルAPI（131エンドポイント）
- TypeScript — SDK、リレイヤー
- Haskell — 形式的証明
- C++ — シグナル処理
- Go — ネットワーク健全性モニター（全37チェーンにわたる同時健全性チェック）
- Julia — エントロピー検証（シャノンエントロピー、マグニチュード正規化、コルモゴロフ境界）
ライブインフラストラクチャ: - 37チェーンがインデックス化済み（メインネット35 + テストネット2）
- 128次元FAISS行動インテリジェンスエンジン
- 0G GalileoテストネットにデプロイされたExecutionGate
- すべてのブロック、全37チェーンでのトランザクションごとのデュアルストランドBH
ストレステスト結果（各1,000イテレーション）: - BH計算: 平均0.023ms（目標 <10ms — 仕様より434倍高速）
- 1,000回のGK進化: 衝突ゼロ
- 100の同時スレッド × 100 BH: 破損ゼロ
- 10,000 BH衝突チェック: 衝突ゼロ
- 全8 CRISPR攻撃シグネチャ: 各検出 <10ms
- 50の同時LSS計算: エラーゼロ
主要APIエンドポイント: GET /api/v1/signal/<entity_id>— 全プレーン値を含む完全なT(t)シグナルGET /api/v1/bh/<entity_id>— 不変条件検証付きデュアルストランドBHPOST /api/v1/bh— 任意の行動イベントからBHを計算GET /api/v1/love/<entity_id>— 全5コンポーネントを含むラブプロトコルLV(t)GET /api/v1/living_index/<entity_id>— LIグレードと内訳GET /api/v1/immune/<entity_id>— 全8リビングセキュリティコンポーネントGET /api/v1/bh/stats— 全チェーンにわたるグローバルBHレジャー統計GET /api/v1/bh/ledger/<entity_id>— 完全なトランザクションごとのBH履歴
12. 結論
TRIONは、オラクル問題の行動層 — 価格フィードの上、人間の意図の下に存在する層 — に対処する。デュアルストランド行動ハッシュ、複利モート、多層一貫性、プロトコル出力としてのSILENCE、そしてラブプロトコルの利他主義測定は、この分野では新しいと我々が信じる構成である。
シグマバリデータネットワーク、Kアノテーション層、そして形式的なコルモゴロフ証明という3つの重要な未解決問題は、我々が協力を求めてこのフォーラムに持ち込むものである。
我々は自身のコードベースの内部監査を公開し、48の質問に対して24がライブ、14が部分的、6がスタブ、3が推測、3が欠落という評価を与えた。このレベルの正直さこそが、この種のインフラストラクチャがこのコミュニティで信頼を得る唯一の方法だと我々は考える。
厳格な批判を歓迎する。
この投稿で参照されているすべてのコードと数式は、デプロイされたプロトコルで稼働中である。デュアルストランドBHのXOR不変条件は上記で正式に証明されている。Rustクレート、完全なAPIドキュメント、および内部監査レポートはリクエストに応じて利用可能である。
1件の投稿 - 1人の参加者