これについても興味あるな。削除や変更をどうやって可換操作にできるのか、ちょっと理解できない。

すごくクールなプロジェクトですね！ありがとう！ > もっと詳しく知るにはどこを見ればいいですか？動画を見てもいいなら、3月にこの話をしたので、かなり包括的だと思いますよ： https://youtu.be/3SxNBz1VTE0?si=R4ifrsfEUJfvjDPx 記事の方がいいなら、こちらをおすすめします： https://freenet.org/about/news/summary-delta-sync/ > これはCRDTやCmRDTとどう違うの？非常に関連性が高いです。Freenetの契約状態をCmRDTとして見ることができ、マージ操作の詳細はWebAssembly契約で指定されています。

CvRDT（状態ベースのCRDT）にすごく似てるね。彼らはこれを可換モノイドとして説明してるけど、つまり結合性と可換性があるってこと。CvRDTは冪等性も必要だから、重複データを扱えるようにしないといけない。冪等性があるか、ネットワークプロトコルがデータ自体の外で重複排除を処理するかのどちらかだね。ペイロードやアプリケーションがマージ操作を定義するのは賢いと思う。これが意味するのは、契約が冪等性を選択できるってことだよね、もしそれがまだ存在しないなら。Freenetが追加したもう一つの点は、これをDHTルーティングとサブスクリプションでやってるところで、もっと基本的なピアメッシュではないってこと。これはブロックチェーンとは全然違って、取引には向いてないだろうね。

ありがとう、実はそれは前に考えたアイデアなんだ。GETリクエストにいくつかのwasmを埋め込んで（ネットワークから完全な契約状態を取得するやつ）、それをリクエスト者に返す前に状態を前処理できるようにするっていう。問題は、Freenetが中間ピアが契約状態をキャッシュできる必要があるから、最終的にはやらないことにしたんだけど、将来的に再考するかもしれない。

ゴーストキーは、最終的には分散型の評判システムでの評判を立ち上げるための選択肢の一つに過ぎないと思う。シンプルさや匿名性、プロジェクトの資金調達に役立つという利点があるけど、君が指摘した通り、中央集権的なんだよね。君が提案するような暗号通貨ベースの解決策は、時間とともに発展する評判の立ち上げオプションの一つになることは間違いないよ。

Freenetは余剰リソースだけを消費する予定なんだけど、ネットワークにリソースを提供することで得られる「カルマ」の概念を持つ評判システムを構築するつもりです。このカルマは、例えばRiverのVIPチャットルームのように、リソースへのアクセスを制限するために使われるかもしれません。可能性はたくさんあるけど、今のところユーザーはネットワークの成功を見たいという気持ちで動いていて、それが今の規模では十分なモチベーションになっているみたい。

なぜ匿名の相手とプライベートメッセージを交換したいの？ - 秘密のカバルに参加していて、参加者の身元が互いに見えないようにしたいから。 - ジャーナリストで、敏感な問題や抑圧された国からの情報提供者と安全にやり取りしたいから。 - 違法な商品やサービスを売っているから。最初の二つの場合、ネットワークの別のコピーを運営することを考えるかもしれない。なぜなら、どうやら一つのスーパーノードが関与しているからで、スーパーノードをコントロールしたいかもしれないし、そうでないかもしれない。

それを聞いてすごく嬉しいよ。元のFreenetの匿名性は、CSAMのことで悪名高い場所になってしまったからね。外部の人間として見ると、この新しい方向性はFreenetが新しいユーザーを引き寄せ、チームの元々の目標を達成するための正しい選択のように思える。

注目すべきは、このプロジェクトは元のFreenet開発チームの仕事を捨てるという裏での決定から生まれたことだ。これは誤ったナラティブだ。FreenetのFAQ[1]によると：Freenetはなぜ再設計され、リブランドされたのか？2019年、イアンは元のFreenetの後継を開発し始めた。内部では「Locutus」と呼ばれている。この再設計は、元のFreenetから学んだ教訓を取り入れ、現代の課題に対処するための根本的な再想像だった。元のFreenetは画期的だったが、以前の時代のために作られたものだ。Freenetが大きな変化を経験したのはこれが初めてではない。2005年頃、私たちはバージョン0.5から0.7に移行し、「フレンド・トゥ・フレンド」ネットワーキングを導入した。2023年3月、元のFreenet（2005年以降に開発された）は、既存のメンテナーの下で「Hyphanet」という独立したプロジェクトに分割された。同時に、「Locutus」は「Freenet」としてリブランドされ、この新しい方向性と焦点を示すために「Freenet 2023」とも呼ばれる。再設計されたFreenetは、より速く、柔軟で、ますます中央集権化されるウェブに対する堅牢で分散型の代替手段を提供するための準備が整っている。移行をスムーズにするために、古いfreenetproject.orgドメインはhyphanetのウェブサイトにリダイレクトされ、新しく取得されたfreenet.orgドメインは新しいアーキテクチャに使用された。元のFreenetのメンテナーは、再設計とリブランドの決定に同意しなかったことは重要だ。しかし、Freenetプロジェクトの設計者として、1年以上の議論の後、イアンはこのプロジェクトが今後も関連性を持ち、成功するためには必要な道だと感じた。 > 新しい「Freenet」はもはや匿名性を設計目標としていない、 新しいFreenetは、一律のアプローチを取るのではなく、匿名性のオプションをメニュー形式で提供し、違法コンテンツの問題にも対処することになる[2]。 [1] https://freenet.org/about/faq/#why-was-freenet-rearchitected... [2] https://freenet.org/about/faq/#how-does-freenet-handle-harmf...

彼はプロジェクトをフォークして、自分の道を進んだんだね。ここに問題があるとは思えないけど。これがインターネットでのオープンソースのやり方だよ。彼に参加する必要はないけど、彼も自分の道を進む権利があるんだ。

うーん、あんまり好きじゃないな。このプロジェクトはFreenetの名前を利用して人気を得ようとしてる感じがする。

古いものは「Hyphanet」という新しい名前の下で存在し続け、維持される Well、その名前はプロジェクトを地味な死に導く運命にしてるね。

自然なマージ関数がない値（または、わざわざ書きたくない場合）については、更新ログを同期するのが良いと思う？実際、現在のフレームワーク内でこれを実装することができるよ。例えば、私たちのグループチャットRiverでは、各ルームの状態が（おおよその）タイムスタンプでソートされた最近のN件のメッセージのリストを維持している。アイデアは、マージロジックを特定のアプリケーションのニーズに合わせて調整できることで、時間順のイベントログが一般的なパターンになると思う。

面白いね、私たちもFreenetでgitリポジトリをホスティングする実験をしたことがあるよ。詳しくはここを見てね: https://github.com/freenet/freenet-git

フィードバックありがとう。

「状態のマージアプローチは、ユーザーに厄介な問題を押し付けるだけで、問題を適切に解決するためのツールを与えていない気がする。」 私たちは多くのツールを作ってきて、グループチャットやCMS、SNSなどの実用的なアプリケーションを実装するのに使ってきたし、これからも他のツールをたくさん作っていくつもりだよ。Freenet向けのアプリケーションを設計するには、ちょっとした創造的な問題解決が必要だけど、各問題は一度解決すればいいだけだからね。 「どうして私が接続して、『みんなの状態は間違ってる。2024年の投票は定足数に達していなかったけど、実際には達成した。だって私が投票したから、その票を見せるよ。』と言えないの？」 状態のマージは、既存の状態が2年間有効だったことや、投票が遡及的に適用されるべきではないことをどうやって知るの？これをBitcoinのように、特定の時点で投票結果を「ロック」するメカニズムを持つことで解決できるかも。マイニングがブロックチェーンを繰り返しロックするのと同じようにね。 「関連する話だけど、あなたの設計は、1人の参加者がネットワークを大量の大きな契約や大きな状態更新で氾濫させるシビル攻撃をどう防ぐの？」 ネットワーク内のピアは、各接続されたピアのコスト/ベネフィットを追跡しているから、もしあるピアが提供する以上にリソースを消費し始めたら、その隣のピアは切断する、いわば免疫反応みたいなものだよ。ネットワークが大規模な攻撃を引き寄せるほど大きくなったら、私たちのアプローチを適応させる必要があると思うけど、今のところはしっかりした出発点があると思うよ。