皆さん、Anomaをフォローしているフレンの皆さん、この度のAnoma Dayライブ会議の内容は非常に充実していました。技術の基盤からアプリケーションの実装、そして将来の計画まで、明確に話し合われました。私は核心情報を整理しました。全ネットで最も完全な核心内容の要約です。皆さんの疑問を解決する手助けになればと思います。

一、コア技術：リソースとクロスシステムインタラクションを管理する

この部分は主に「リソースをどのように安全に流通させるか」「異なるシステム（例えば異なるチェーン）がどのようにスムーズにコミュニケーションを取るか」という問題を解決することを目的としており、すべて基盤となるハードスキルに関するものです。

1. リソースに「IDカード」を与える + 「管理人」を探す（コントローラータグとコントローラー V2）
簡単に言うと、各リソース（例えばデジタル資産やデータ）に「タグ」（Controller Tag）を付けることです。これは記録のある身分証明書のようなもので、どこから来て、どこに行き、重複使用されていないか（例えば二重消費）を記録し、その状態が正しいかどうかを確認します。

このラベルには「関係チェーン」（DAG構造）が隠れており、経由した「管理者」（異なるシステム/チェーンのコントローラー）を記録します。もしリソースが管理者を変えた場合、ラベルはそれに応じて更新され、さらに「証明」（attestation）を通じて不要な情報を削除し、ラベルを軽くできます。

管理者（コントローラー）には「一時停止」機能があります：一旦停止すると、状態を変更することはできず、リソースは自動的にバックアップ管理者に切り替わり、変更できない一連の記録が生成され、より安全になります。

「緊急スイッチ」も設定可能：特定の機関が一時停止を承認するのみで、他の状態を無断で変更できないようにする、適切な「迅速だが敏感」なシステムに「堅実な監視者」を組み合わせる。

また、リソースの履歴が連続しているか、再利用されていないかを検証することができますが、その前提として関連記録を取得できる必要があります。もし取得できなければ、信頼に頼るしかありません。

2. 大量の「証明」をスリム化する（証明の集約）
取引には、しばしば一連のコンプライアンスや論理に関連する証明（例えば「このお金の出所は合法です」）があります。これらの証明は大きく、検証が難しいため、「集約」して、簡単にする必要があります。

二つの方法：

1）バッチ集約：すべての証明を一度に検証し、総証明を生成することで、スペースを節約し、検証を迅速化しますが、特定の仮想マシン（ckvm）がサポートできるかどうかが問題です。

2）順序集約：一つずつ検証し、以前の結果を記憶する。"続行"をサポートしないckvmに適しているが、検証回数と証明数は同じなので、少し遅い。

将来的には、より柔軟な集約方法（例えば、PCD集約）を試し、専用のアクセラレーターを加えたいと思っています。また、集約後の証明が重要な情報（例えば、検証ロジックのキー）を漏らさないようにしたいです。

3. Anoma の Ethereum のようなチェーン上の "インターフェース"（EVM プロトコルアダプター）
これは Anoma の「リソース管理マシン」がイーサリアム（EVM チェーン）上で実装されており、リソースの作成と消費を専門に扱い、決済関連の事のみを処理します。

専用の証明システム（Risc0）とコミットメントスキーム（Peterson）を使用し、Ethereum上の他のコントラクトからデータを取得することもできます。

最近最適化しました：データを4つのカテゴリ（リソース、発見、外部、アプリ）に分け、処理がよりスムーズになりました；可変サイズのマークルツリーを使用し、リソースを自由に操作でき、ガス（オンチェーン手数料）を節約することもできます。

バージョン管理において、「緊急停止ボタン」と「アップグレード委員会」の追加を検討しています。これにより、バグが発生した際に迅速に対応でき、小規模な更新も容易になります。

二、開発ツール：開発者が少ない手間で済むように

チームは多くのツールを作成しました。これは、開発者がアプリを搭載する際に、何度も同じことを繰り返さず、便利で労力を省けるようにするためです。

1. Anoma SDK(開発者キット)
核心は二つのことです：

Rustで「リソースルール」を書く：例えば「カウンターは1しか加算できず、減算できない」と規定する。

Elixirで「ビジネスロジック」を書く：例えば「カウンターを作るにはどうするか」「加算操作をトリガーするにはどうするか」。

その他の雑用（例えば、Anoma のフォーマットをイーサリアムが認識できるフォーマットに変換することや、取引をイーサリアムに提出すること）、SDK が全て包み込んでいるので、自分で心配する必要はありません。

2. AVM（複雑をシンプルにする仮想マシン）
開発者は、底層の複雑な概念（例えば「リソースロジック」「ヌル器」）に直接対面する必要はなく、馴染みのある「クラス、メソッド、関数」を使えばよい。
例えば、カウンターを作りたい場合、「カウンタークラス」を定義し、「どのように作成するか」「どのように1を加えるか」を記述すると、AVMが自動的に必要なルールを生成します。現在の0.1バージョンは使用可能で、将来の0.2バージョンではネストされたオブジェクトや1回のトランザクションで複数の操作を呼び出すこともサポートされ、より便利になります。

3. ローカルドメイン(Anoma Dataの「Trusted Steward」)
軽量オペレーティングシステムのように、Anomaに関連するデータとアプリケーションを管理し、複雑なコンセンサス状態を自分で維持する必要はなく、Anomaの「管理者」（コントローラー）から直接データを取得し、好きなように計算できる。

SCRI APIがあります：ステータスを確認し、アプリを見つけるのは、コンピュータのファイルパスを確認するのと同じくらい簡単です。

イベントフィルターがあります：無関係な情報を事前に除外し、処理の負担を軽減します。
アプリケーションの登録、取引の構築、キー管理ができ、複数の「管理者」とやり取りすることもできるため、分散型アプリケーションに適しています。

三、エコロジーとアプリケーション：取引からクロスシステム統合へ

基盤技術だけでは不十分で、具体的に使えるものが必要です。チームはエコシステムを構築し、アプリケーションを開発しています。

1. Orda Network:資産の流通をより心配なくする
目標は、ステーブルコイン、暗号通貨、法定通貨をすべて統合し、開発者が「一度接続すれば、どこでも使える」ようにすることです。ユーザーはどのチェーンや資産を選ぶか気にせず、直接「100枚のものを交換したい」と言えばいいのです。

「意図」と「ソルバー」による協力：ユーザーは「何が欲しい」と言い（意図）、有利な機関（ソルバー、例えばコンプライアンスを持ち、手数料が低いもの）が競争して実行し、最適なルートを提示します。

伝統的な「価格階層」（例えば、銀行と個人投資家の手数料が異なる）を打破し、すべての人がほぼ同じ良い手数料を得られるようにしたい。また、「検証可能な部分」と「信頼に基づく部分」（どれが確認でき、どれがルールを理解するしかないか）をバランスさせたい。

2.アノマズデックス(ハイパーカウ):より公正な取引
Speedxアルゴリズムに基づいており、核心は「均衡価格」を見つけることです——同じブロック内のすべての指値注文はこの価格で取引され、ブロック内でのアービトラージや先行取引を避け、すべての人にとってより公平になります。

アルゴリズムは「勾配の流れ」のように供給と需要の均衡点を見つけます。ある条件下では、この価格は唯一のものです。

効率も良い：テストでは、百万件の注文が普通のコンピュータで処理されるのに数秒しかかからず、検証も完了します。ほとんどの注文は完全に成立し、ごく少数が部分的に成立する可能性があり、供給と需要のバランスを取るために使用されます。

四、ロードマップ：ステップバイステップで「分散オペレーティングシステム」を構築する
Anomaが目指しているのは「分散オペレーティングシステム」——一群のコンピュータを抽象化して一つの「仮想マシン」とし、ユーザーや開発者が基盤の複雑な詳細に悩まされないようにすることです。

三つのステップで進める：
1. ガリレオ（着地中）
既存のチェーン（例えばイーサリアム）上に「インターフェース」（プロトコルアダプター）を展開することで、開発者はプライバシー保護を伴うアプリケーションや、取引検証サービス、そしてメタガバナンスシステム（ルールのルール）を作成できる。

現在の進捗：トークンとメタガバナンス契約はすでに監査が完了し、プロトコルアダプターもほぼ完成しています。

2.ダゴン(進行中)
各デプロイメントを接続して統一システムを形成し、異なる「管理者」（コントローラー）が相互に操作できるようにし、Anomaの「管理者」は実行証明を提供できる（plasmaの安全メカニズムに似ており、より堅牢）。

現在：コントローラーなどのコアコンポーネントをまだ磨いています。

3. オーラ(将来の目標)
完全な「世界コンピュータ」を実現し、ピアツーピアネットワークとコンセンサスをサポートし、あらゆるデバイスがソート、ストレージなどのサービスを提供できるようにし、「管理者」のルール作成もより分散化されます。

全体的に見ると、チームは基盤技術から開発ツール、さらにはエコシステムアプリケーションまで、着実に進展しています。核心は、複雑な分散型システムをより簡単で公平に使えるようにし、異なるシステム間の相互作用をよりスムーズにすることです——結局、技術は最終的には人々が使いやすいものでなければなりません！

はい、すべての会議の核心内容は基本的にここにあります。皆さんの読んでいただきありがとうございます！もちろん、私たちのUPWARDも皆さんの前で説明されました！ #AnomaUpward # Anoma