Closed2022/05/07にクローズ1

[tmp]ADXをコードリーディング(0.1.0)

黒ヰ樹

分散型ソーシャルメディアのオープン標準プロジェクトが初期テスト版をリリースしたのでADXをコードリーディングします

※記事で途中まで書いていたのですが詰まってきたし情報の正確性に欠けてきたのでスクラップに投げておきます。大分怪しいので何らの責任も負わないものとします。

ADXとは

Twitterのやつです。

https://github.com/bluesky-social/adx

正確にはBlueskyのやつです。

コードリーディング記事書いたことないのでとりあえず淡々とやっていきます。

コードリーディング

おことわり

2022年5月7日

やること

GitHubとSourcegraphを使って重要そうなファイル、シンボルから読む
architecture.mdで解説している技術の使われ方
必要に応じて別途ドキュメントを読む
可能な範囲でコミットログも読む

やらないこと

architecture.mdの和訳
ブロックチェーンやIPFSが世界を変えるみたいな思ってもいない大仰なポエム
複数ビルドしてAliceとBobの通信するやつ

パッケージ

モノレポなのでルートには特に入っていない。

サーバーのパッケージ。Expressで受け取ったデータをZodでバリデーションしてKnexでデータベースへ追加している。データベースは今のところSQLiteのみサポート。

メインのパッケージ。分散するために必要な機能が入っておりこれをCLIから呼び出している。

CLIのパッケージ。コマンドを叩きサーバーへデータを送信する。GUIクライアントはない（なくなった。後述）

アーキテクチャ

なんか色々書いてあるけど実態はDID, IPLD, UCANを組み合わせて分散を実現している。
UCANだけ聞いたことがなかったけど、Fissionという企業が作ったものでNFT.Storageなどで使われているらしい。

https://fission.codes/

そもそも開発者がFission出身らしい。
もう一人はDat ProtocolやHypercore Protocolに対応したブラウザBeaker Browserの作者。

IPLD

https://ipld.io/
https://ipld.io/docs/intro/ecosystem/

IPLDはIPFSで使われている技術。IPFS「が」IPLDを使っている。
よくIPFSを使ってLinked Dataを実現しているやつと勘違いされることが多いが別にIPFSなくても使える。

そのためIPFSを使わずにMerkle DAGs実装をするためにはデータが不変になるよう頑張る必要があり、DIDとUCANが必要になる。
またDIDとUCANを使ってMerkle treeは作れるがDAGは難しいのでdag-cborというCBORコーデックを使ってる。
IPLDではHAMTも使っているがこれは後述。

DID

https://www.w3.org/TR/did-core/
https://identity.foundation/

DIDはW3CによってWeb標準化された分散型ID。

TODO:

did:example:
did:key:
did:orb:
did:ion:
did:pkh:

UCAN

https://ucan.xyz/
https://github.com/ucan-wg/spec/

UCANはJWT拡張。

History

最初はNEXT-SASSテンプレートを使っており、GUIがあったようです。

また途中Goやesbuildを使ってサーバー実装を行っていた時期もあったようです。

フロントエンドとバックエンド両方ともTypeScriptで書きたかったためこのようにしたそうです。
一応今後GoやRustでも書く予定はあるそうです。

まとめ

DID, CID, TID
HAMT, SSTable, Merkle DAGs
Webfinger
JSON, JWS, Cbor

DID_NETWORK_URL, ENV, BLOCKSTORE_LOC, DATABASE_LOC, PORT, ADX_REPO_PATH

ENV=persistent

このスクラップは2022/05/07にクローズされました