セマンティックDAGとは？
セマンティックDAGとは、ハッシュで連結されEd25519で署名されたアクション履歴と融合したセマンティックグラフデータベースです。すべてのリンクが意味を帯び、すべての変更が署名された時間遡行可能なアクションであるストアであり、ただのデータベースでもブロックチェーンでもありません。
意味と歴史をひとつの構造に
DAG（有向非巡回グラフ）とは、決して自身へと戻ってこない有向リンクで結ばれたノードの集合です。セマンティックDAGはその形に2つのものを加えます。第一に、それはセマンティックです。各リンクは匿名のポインタではなく、型付けされ意味を持つ関係（主語・述語・目的語）であり、グラフ自体が、ものが単に繋がっているだけでなく何を意味するかを記録します。
第二に、それは状態だけでなく歴史です。グラフへのあらゆる変更は追記専用のアクションとなり、ハッシュ化され、暗号的に署名され、それ以前のアクションに連結されます。何もその場で上書きされません。グラフの現在の状態は署名済みアクションの総和であり、つまり過去のどの時点でもグラフがどう見えていたかを正確に再構築するため再生できるのです。
これは意図的にブロックチェーンではありません。ブロックも、マイニングも、手数料も、グローバルなトークンもありません。アクションは価値の移転ではなく、セマンティックな主張です。そしてデータベース以上のものです。データベースは今何が真かを教えます。セマンティックDAGは、何が真か、それが何を意味するか、そしてどうしてそうなったかを教えます。すべて証明可能です。
セマンティックDAGはどう組み立てられるか
あらゆる事実はトリプル
データは主語 → 述語 → 目的語という文として保存されるため、グラフの各関係は、人にも機械にも問い合わせできる明示的な意味を帯びます。
あらゆる変更は署名されたアクション
グラフへの書き込みは、ハッシュ化（BLAKE3）され、署名（Ed25519）され、親アクションに連結されたアクションを生み出し、誰が何をいつなぜ書いたかという改ざん検知可能な因果連鎖を築きます。
何も削除されず、置き換えられるだけ
ログは追記専用です。事実の削除もそれ自体が署名されたアクションであるため、完全な監査証跡と、時間を遡る能力とが、設計として保たれます。
意味で問い合わせる
リンクがセマンティックであるため、SPARQLでグラフを問い合わせ、関係を直接たどり、過去のどの瞬間のグラフの状態も再構築できます。
記憶し、意味するひとつの構造
AIシステムとつながったデバイスは、検証できないデータに基づいてますます行動しています。そして従来のストアは悪いトレードオフを強います。データベースは速いが、どうやってここに至ったかを忘れます。一方ブロックチェーンはすべてを覚えていますが、重く、高価で、意味に対して盲目です。セマンティックDAGは、グラフデータベースのように問い合わせでき、台帳のように監査でき、ナレッジグラフのように意味を持つ、ひとつの構造を与えます。ブロックも、手数料も、マイニングもなしに。
構造として検証可能
あらゆるアクションが署名され連結されているため、履歴を密かに書き換えることはできません。何が起きたかを証明できます。
時間遡行
署名済みアクションを再生して、監査、デバッグ、来歴のために、過去のどの瞬間のグラフもそのまま見ることができます。
ただのデータではなく、意味
型付けされたセマンティックリンクにより、人もAIも、不透明な外部キーを推測する代わりに関係について推論できます。
Apiliumがそれをどう体現するか
AIngleは最初のセマンティックDAGです。Rustで書かれた、署名されハッシュで連結されたアクション履歴と融合したネイティブなセマンティックグラフデータベースです。あらゆる書き込みはDagAction（BLAKE3でハッシュ化され、Ed25519で署名され、親に連結される）となり、署名のないアクションはステートマシンのレベルで拒否されます。同じグラフをREST、GraphQL、SPARQLで公開し、時間上のどの時点にも再生できます。AIngleはApiliumの製品を支えています。Akashiの根拠があり署名された知識の下にあるエンジンであり、Mayrosを支える構造の一部でもあります。
AIngleで体験するよく寄せられる質問
セマンティックDAGはブロックチェーンですか？
いいえ。ブロックチェーンはトランザクションをマイニングされたブロックにまとめ、グローバルな合意と、たいていはトークンで守ります。セマンティックDAGにはブロックも、マイニングも、手数料もありません。その項目は意味を持つ主張（主語・述語・目的語）であり、それぞれ個別に署名され、親に連結されます。ブロックチェーンのコストや硬直性なしに、台帳の改ざん検知性を借りています。
グラフデータベースと何が違いますか？
グラフデータベースは関係を保存し、問い合わせを可能にしますが、通常は現在の状態だけを保ちます。値を更新すれば古い値は消えます。セマンティックDAGはあらゆる変更の追記専用の署名済み履歴を保つため、グラフがどうやって現在の状態に至ったかを証明でき、過去のどの瞬間にも再生できます。
「有向非巡回」とはどういう意味ですか？
有向とは、各リンクがあるノードから別のノードへと一方向を指すことです。非巡回とは、それらのリンクが決して出発点へと巡り戻る輪を作らないことです。あわせて、明確な歴史の方向を持つ構造を与えます。アクションは以前のアクションの上に築かれ、決して円環を描いて戻りません。これが証明可能で再生可能なタイムラインを可能にします。
ここでEd25519は何をしていますか？
Ed25519は各アクションに署名する署名方式です。どんな変更もグラフに受け入れられる前に、書き込むノードの鍵で署名されます。署名のない、あるいは無効なアクションは拒否されます。その署名こそが、履歴を「信じてくれ」から「自分で確かめよ」へと変えるのです。