【Uzumaki勉強会】Three Slot Finality (3SF) 入門

Transcript

オはそれじゃあ3 リースロットファイナルティニューモについて話します。パチパチパチ。 はい。 はい。まず最初にギャスパーっていうイサリアムのコンセンサスについて話してギャスパーの問題点 SSF3Sって紹介をしてで最後に RMDゴーストベースのファイナルま 3SF のプレイを示して周辺の研究テーマっていう風に話していきます。 まずギャスパーというEANの コンセンサスプロトコルがあります。これ はPOSのコンセンサスで動作していて、 仕組みとしては2つのサブプロトコルを 組み合わせているEBB&フロー型という のを採用しています。で、片方がLMD

ゴーストという、これはスロットごとに アベイラブルなチェーンを決定する、え、 確認ルールで動くもの。もう1つがFFG というエポックごとにファイナライズされ たチェーンを決定する確認ルール。この2 つが組み合わさってこの1つのチェーンを 形成していきます。で、実際この緑色の 部分がファイナライズされた部分で、これ がキャスパーによってファイナライズされ た部分で、その黄色の部分が、ま、ジャス 解されたもので、それ以降をLMD ゴーストによって作られたチェーンとで、 ま、こっちはあの分岐してます と、ま、こういう風になってます。 で、実際には、ま、スロットっていうのが さっきのLMDゴーストの時間単位で

プロポーザーがスロットごとにブロックを 提案するわけですけど、え、その ブロックを検証するコミティというのが、 え、エポックごとに選ばれますと、 エポックごとに32スロットに対して、え 、32個の委員会が割り、ランダウによっ て割り当てられて、その委員会に属する人 がスロットのブロを検証するとなんで大体 100万のバリデーターがいたら、ま、 それが32に分割されてそのまま大体3万 台ぐらいのバリデーターが1つのスロット のブロック検証を担当するというのが32 スロットごとに毎回毎回走っていくという 風になってます。 いいですか?

で、ギャスパーの問題として、ま、 イサリアムはPOS以降当初3つの トレードオフがありました。ステイク要件 を下げるのと濃度の運用コストを下げるの とファイナライズを拘速する。ま、この3 つの目的の、え、トレードオフを取った 結果現在のギャスパーが生まれたと思い ます。で、これは64から95スロット 大体4円ポックぐらいで経済的に ファイナイズするという仕組みを採用した わけですけど、このスロットの ファイナライズチェーンの間、チェーンは 常に分岐してリオルグするという危険に さらされているわけですと。で、これは MBアタックのリスクも招くという風に 言われてます。で、またユーザーは経済

セキュリティと取引速度のトレードオフを 選択せざるをいないと。実際に12秒で1 回提案されたブロックは確定するのは6分 後なのにユーザーは12秒だけ待って次に 進んでいくという風にして、ま、取引速度 を優先して、ま、実際にはもしかしたら そのブロックがなかったことになるかも しれないっていう、そういう経済 セキュリティを常に、え、ユーザーが取っ ていると以上より少ないスロットで高速に ファイナライズするSSFシングル スロットファイナリティという仕組みが、 え、重要されてきたという背景があります 。 でしょうか。 で、SSF、3Sの登場の、ま、研究的な 歴史を話すと、まず大きく分けて

コンセンサプロトコルは、ま、2つの パターンがありました。1つがPBFTと かホットフとかテンダーミントのような すでにシングルショットファイナリティを 実現してるプロトコルで、ま、これは水と かソラーナとか天民、ま、天民とかが採用 してた部分ですと。で、もう1つが LMDゴーストとキャスパのような、ま、 2つのサブプロトコルを組み合わせと思う 。で、これはイーサリアムとか、え、 ポルカドットが採用してましたと。で、 じゃあシングルストットファイナリティ 採用したいならこういうPBFTとか ホットスタッフ使えばいいじゃないかと いう議論ももちろんあるんですが、なぜ それが使えないかというと2つの ダイナミクリアリブルと

Aンクロニーレジリッという2つの要件を 満たしてないからです。で、これはどっち も、ま、非同機なに対する体制で ダイナミックアベリオブ例えば正直な プロポーザーが一瞬オフラインになる。で 、その後戻ってくる。で、例えばそれが スロットをまいで戻ってくるっていうのを 許容しなきゃいけない。クロニア レジェントはあのメッセージが遅延する1 スロット遅延するとかそういう遅延も共容 しなきゃいけないって。これが パーミッションレスなブロックチェーンに は重要だよねということが最近判明して、 で、実際水とか買って、え、プロポーザー 、あの、バリデーターの数は固定で、ま、 例えば30とか30バリデータ固定でオフ ラインになっちゃダめですよっていう強い

要件がありまして、なんで彼らはPOS じゃなくてDPOSの方を採用してるん ですね。なんで、ま、誰でも参加できる方 のバリデーターは基本的にデリゲート するっていう担当して実際にブロックを プロポーズしたり検証する人たちはもう 固定でもう強いあのネットワーク要件とか 有してなきゃいけないと。で、LMD ゴーストとキスパFSGの方は、ま、 大して結構パーミスシネスには動いてるん ですけど、え、ファイナライズが遅いと 964スロットで同時、ま、同機してても 脆弱性があるっていうのが、ま、LMD ゴースの方の脆弱性で見つかっていたり、 ま、同じくダイナミックアベリバルとか、 Aシンクロニーレジェントは満たしてい なかったと。で、ま、主にこの2つの要件

を満たすための研究っていうのが進められ てきたと。 で、ま、大体2つの方向性で研究が進め られていて、1つがクオーラムというもの で、これはモモセさんとレンさんが提案し たもので、ま、モスさん今アカンパニーで 働いてます。で、これは決定論的安全と 言われていて、ま、このダイナミック レアウェイラブルとエシンクロニー レジデントどちらの要件も満たしていると 。で、ま、このクォーラムムっていう暗号 プロトコルを導入することで、ま、決定論 的には安全にすることで、ま、ただ ちょっと非実用的だというのが言われて ました。で、ま、これをベースに考えられ たTOSVDってやつは、ま、もう ちょっと実用化されたもので、これが、ま 、今回のS3SFにも、まあ、1つ

組み込まれたものとして提案されてると。 で、もう1つゴールドフィッシっていうの がLMDゴーストをベースとして使おうっ て方向性で、まずLMDゴーストの脆弱性 を克服したのとリオルグ体制をつけました と。ただAシンクロニーレジェントはまだ これでも満たせない。なんで非になったら もうあのプロトコルがストップしちゃうっ ていう静寂性がありました。で、RLMD ゴストっていうのが、ま、この全ての要件 を満たして、ま、あの、実際にダイナミ系 アベリブルとAシンクロニーレジエンド、 ま、トレードの関係にあるという風に言わ れていたのを、あの、ダイナミクリアベの 方弱い形式を許容することで、その トレードオフの、ま、中間を取ると、 どちらも要件を満たすと で、確率的安全なので、ま、TO、SVD

みたいなそっちの方式よりはかに効率が いいというものになっており で、イサリアムのSSFではこのRMD、 RLMDゴーストとキャスパFFGの ルイジプロトコルを組み合わせた提案でし たと。ただ4デルタの遅延があって、ま、 アグリゲート含めると6デルタになっ ちゃうんで、なかなか遅いっていう問題が ありました。 どうでしょうか?このね、室前です。えっ と、デルタはこれは分かってるけど デルタです。はい。ま、デルタはあの 1ラウンドの遅延の時間で例えば 4デルタ全体が12秒でだとしたら4 デルタはあの4デルタが12

秒で済なきゃいけないんで1出か1出たが 3秒みたいうんま大体だから4 ラウンドありますよみたいな風に考えてもらえば うんそうですが非現実的なのはどの辺だったんですか? ま、ま、多分このクオーラムっていうのが 1つの暗号どころを使うもの で、あ、 で、ま、こ、これをね、あの、何万台も同時に使うと、 え、ちょっと重いっていう話なのかな。ちょっと詳しくは僕もわかんないです。 そう、そうですね。 他に大丈夫ですか?

PSVDの1/2の液体数です。 はい。これはえっと、まあ、 50、50%まで、ま、51% 攻撃みたいなもんですね。はい。50% までは敵対敵がいても大丈夫っていう元々のやつはなんかそれが 1/3とかだったんですよ。33% までしか体制がなかったって。 じゃ、次に進みますと、シングルソットファイナリティについてもここで簡単に説明すると、ま、 4ラウンドでするんですね。さっき説明し た通りプロポーズが最初にあってここで ブロックを提案して次にヘッドボードと いうのが走ってまずなんかチェーンの ヘッドに対して投票を行う。で、その後に

FFGボートっていうのが行われて ファイナライズするためのブロックに ボートが行われる。で、その後にフリーズ &アクナレッチっていうのが走って、ま、 今のチェーンに対してもう、あの、固定 する、今のチェを固定しますよっていう フリーズを出して、え、ファイナルズした よっていう確認メッセージを送 るっていうこの4つの工程がありますと。 で、こ、この4つそれぞれこう シッピングコンジャストファイナライズ という風に呼ばれていて、これが1 スロット以内、12秒以内で毎回毎回走ん なきゃいけないと。で、あと特徴としては 、このFとかはヘッドボートの結果を待た なきゃいけないで、クリーとかもFG

ボートの結果を待たなきゃいけないって いう、ま、結構そこの、ま、関係があ るっていうのが問題でしたと。 え、なぜSFでなく3Sになったかって いう話をすると、ま、さっき言った通り、 え、ヘッドボート、FFGボート、あと アークナレッジ、ま、大体3回の投票が スロットに必要になってしまうと、で、 これによって、え、ブロックの生成時間が 、短くなっちゃう。もうなんか3秒とか2 秒とかどんどん短くなってっちゃうのが1 つ問題だと。あとはブロックごとに多くの 投票を電波して保しなきゃいけないので ブロックの電波実感も短くなっちゃうって いうのが問題でした。で、あとは インセンティブ絶景も複雑化してしまうと

いうのが言われてます。なので、ま、 シングルじゃなくて3リスロットまでは 起用することでもうちょっとブロックの 生成時間とか電波時間を取ってあげようて いうのが背景ですね。 で、3SFはどうなるかと言うと、ま、 ラウンドが4つ変わらないんですけど、 投票は基本的に1回でいいと。で、それは プロポーズの後にヘッドアFF10ボー ドっていう、ま、これ2回投票なんです けど、これ1回で投票、1回の送信で済む ようになってるですね。で、その後に ファストコンファームフリーズっていう、 ま、あの確認フェーズとフリーズフェーズ が走ると。で、これが、ま、さっきの、え

、例えばブロックB、C、Dっていうのが 提案されたとすると、え、スロットT+2 ではBのブロックをファイナライズして、 Cのブロックをジャスティファイして、D のブロックをコンファーミングするって いうような、ま、こういうね、ま、同時に 、ま、何スロットか前のブロックと、ま、 1個前のブロックとかを同時に、え、投票 を行うみたいなフェーズが入るんで、ま、 さっきのようにあの、1回の電波で、 ま、投票を何回もヘッドボートと F字 ボートどっちもできるっていう風になってます。ま、詳しくはこの後より説明しますけど何かここまでちょっといますか?

うん、大丈夫です。 はい。じゃあ実際に RMD ゴーストベースのパスターファイナルティガジェットについて説明をします。 まずRLMDゴーストっていうのが何 かっていうのをおさいするとプロポーザー が、ま、バリデタに送信するんですけど ビューっていうのを送信するんですね。 ビューの定義は今までに受け取った全ての メッセージのことをビューって呼んでます 。なんでここの全てのブロックと要は投票 の内容をビューと呼んでます。ま、 ブロックが0から10まで、ま、ま、もし 9まであったとしてプロポーザーが新しく 10を作ったとすると、ま、その0から9 までに含まれる全ての投票と全ての

ブロックが、え、バリデーターに送られる と。 で、そこに自分でブロック10を エクステンドして送ると。で、その後に、 え、ま、チェックフェーズがあるんです。 規制や有効期限のブロックや投票を排除 するっていうフェーズがあります。ここで 例えばなんかB3とB5はもうファイナル されたB2からなぜかリオ録して生えてる んでもう有効源切れてますよっていうので 排除してで例えばなんかB級についてる 投票もなんかこれ20投票じゃねみたいな のがあったらま、ま、そういう映像があり ましたしでそうするとま、こういう風に ちょっと簡易的なチェーンになってこの中 からえ、投票の最大重みに基づいて

フォーク調スを行うとなんでここだとより 投票数が多いB8B10の方を、え、正規 チェーンとしてオークチョイスするという 風な仕組みです。ま、あとはLMD ゴーストですね。アルゴリズムとしては、 あの、ま、ゴーストっていう関数とフィル 関数があって、フィルはフィルターの フィルですね。さっきの融合切れ ギレとかを排除するっていうフィルター関数と、 ま、最大の重みアーグマックスだラみたいな最大の重みに基づいてチェーンを選択するよっていう数の 2 つがあると。ま、これ結構抽象化された数ですけど、ま、こういうのがあるというのです。 でですね、本題RLMデゴーストベースの

、え、ファスターファイナリティ ガジェットと、ま、先ほどのように、え、 プロポーズボートファストコンファーム、 ま、ここではフリーザマージっていうの 使ってますけど、マージっていう4つの ケズがあって、で、次ので、また次の プロポーズがく、で、それぞれの アルゴリズムについて、ま、ずラザと書い てるんですけど、まずプロポーズ、ま、 これプロポーザーだけがやるんです プロポーズではまずRLMDゴーストって いう関数をプロポーザーが実行してセーフ チェーンを出力すると で、ま、このインプットにはVIっていう 自身のビューとGJっていうこれ グレテストジャスティファイドの略です

けど1番最新の正当化された チェックポイントブロックをインプットと して入力して、え、フォークされた チェーンを主要するっていう関 人工力 チェーンのCHの1プレフィックスを掲載 すると、ま、この、ま、Kカッパー、 カッパーディーププレフィックスっていう のはチェーンの中のなんか最も長い プレフィックスで、まあ、なんかこういう 条件を満たすものなんですけど、ま、要は なんか1なんでもうなんか最新のものだと 思ってもらってます。1番その剣の最新の ものをだけ出力すると。で、その出録され た、ま、チェーンをに提案ブロックを生成

してエクステンドすると。で、生成した チェーンCHPと地震のビューとスロット と自分のIDをシップで送信してあげると いう、ま、こういう風なステップで進行し ます。 あれ、RLMデゴーストだからも送る みたいな まうっすね。RD ゴーストなんでビュー音だし。 はい。ま、基本的に、ま、そうですね、 RMD ゴーストとかこういうの使うとなんかビュー信が含まりますね。ここが結構重いポイントみた。 うん。うん。 ビまでのメッセージ。ま、なんで、ま、最新の議論としてはなんかジャスティファイされた以降のだけ送ればいいじゃんみたいな。 ああ、

そういう話はありますけど、ま、それでもだいぶメッセージサイズは大きいんじゃないかっていう気がします。 うん。 で、次に冒頭。これは全てのバリゲーター がありますけど、まず自身の凍結された ビューっていう、まあ、ま、このマージで 固定されたビューを凍結されたビュー、 ビュー、Vフローズっていう風に定義し ます。で、こここのVフフローズ、ま、今 要は自分が持ってるビューだと思って くれればいいんですけどとプロポーザー のビューをマージしてあげるで、なんか 自分が例えばメッセージ見逃しちゃってる みたいなのがあったらそこをなんか補修し てあげる、復旧してあげる。で、マージし てVフローズンを更新する。で、その更新

されたVフローズンをインプットに入れて 、え、あとはグレ、さっきのGJも、え、 インプットに入れてRLMDゴーストを 関数を実行してチェーンを出力する CHRMD で、CHRlmdを元に利用可能な チェーンと確定済みチェーンっていうのを 更新してあげて、このCHRMDに対する 投票をシップでブロードキャストする。 この投票は大毎回チェーンに対して投票さ れる。で、ま、このチェーンに対して投票 されるんで、ま、もちろんヘッドボ、 ヘッド、ヘッドも含まれるし、その、その チェーンは

ブロック、プロポーザーが提案した ブロックも含まれるって、ま、そういう ロシックです。 ま、なんでチェーンに対して投票する かってのは後でちょっと実際にブロックの 流れを見ると分かると思います。 これまではヘッドソースターゲットだった全体になった。 そうそうですね。ことす。 ま、まあなんで大体ま、ま、ソースからターゲソースからターゲットまでの全てのチェイン対処登場する。それよりま、もう ファイナされてるんで関係ないっていう。 これチェーンが3 つあるみたいなとなんかあれ LMDのCHとアベルのCH とファイナルズの

CH まあまどう見るかですけど うんまCHRLMDの中にアベイルの方と ファイナライズの方があるって感じです。 あ、 アベールはジャスティファイみたいなものか。 そうそうそうそうそう。 ジャスティファイされたのがアベイルでファイナルされたのがフィニってやつ。 なるほど。 基本的に毎回チェーンに対して投票するですか?次にファストコンファームっていうがありまして、ここでファストコンファーム関数っていうのを実行して、もう、ま、高速確定されたチェーンがあるかを確認するんですけど、ま、要はもう 2/3

投票が集まったかどうかっていうのをここで 1回チェックします。 で、もしこのスロットで提案された ブロックにもう2/3投票集まってたら もうもう自分の中ではジャスティファイし ちゃう。 で、もしその例えばこのスロットで提案されたブロックをジャスティファイされたら、その前のスロットで提案されたブロック、それが大体ソースのブロックになるんですけど、はもうファイナル下げる おっ ていう、そういうのをもうここのなんかスロット内の段階で走らせるっていうのがあります。 ま、これも RLMD ゴーストから続いてるんですけど、ま、これによって、え、ま、一時期オフラインとかになってもいいよみたいな特性を満たすために、ま、こういうのが挟まれてるっていう風に なんとなく理解してもらえれば

なるほど。 そう。で、最後は、ま、マージっていうのが走って、ま、今の自分のビューを固定する。 ま、このビューでで、これ以降になんかメッセージ送られても無視するっていう うん。ですね。 え、最初のはプロポーザーだけの仕事で はい。 残りは全部アテスターの仕事。それともプロポーザーのや。 えっと、 えっと、残りはアテスターの仕事ですね。 ああ。はい。 はい。クルコ座は、ま、最初だけだ。 最初だけであとは基本

最初、ま、一応これ見るとここがプロポーザーだけっていう条件があって ああ、 他はでも一応ないんですよ、条件は。だ、ま、プロポーザーもなんかやりたければやり番みたいな。 ああ、なるほど。確かに。 ま、ま、どうなんだろう。うん。 可能性もあるか。うん。 そうすね。ま、やってもやんなくても変わんないと思う。プロポーズの中では。 ああ、なるほど。 ま、投票が集まったら、ま、投票が集まってファストコンファームとかプロポーザーもやった方がいいですね。 そうつったらね、その1個前のやつとか2 個前のやつって自分がプロポーズしてないから、その仕事とかどうな?あ、それまた別に ん、自分がプロポーズしてない。あ、アテスターがってこと。

えっと、自分が今スロット Tのプロポーザーだとしてもうん。T-1 とかT-2のジャスティファイとか ファイナライズには関わった方が良さそう。 あ、それはそうだと思う。ああ。 だから、ま、基本、ま、プロポーザーも参加するって考えていいのかな?ああ、はい。 ま、ここではね、ま、各ラウンドのラウンド、プロッポーズのラウンドとボートのラウンドとファスコンファント でフリーズのラウンドってのが 一応移されてますと。 はい。はい。 はい。いいすね。 じゃあどうですか?こんなではじゃあ実際 にファイナズされるシナリオをいくつか見

てみます。で、1つ目のシナリオが1 スロット内でちゃんと投票が3のに集まり ましたよっていうシナリオですね。で、 こんな感じで、ま、今どのフェーズかって いうの矢印で書いてて、ブロックをB0、 B1、B2、B3という風に書いてて、で 、緑色がファイナライズ、青が ジャスティファイされた。 で、赤はまだプロポーズされたよっていうで、今、あの、一応ブロック 3がここで提案されたという風に うん。 仮定します。で、ボートでじゃ、例えば 100 人のバリエーターがいるとして、え、ボートでは、ま、このソースと、ま、ターゲットに対して投票が行われるんで、この B2とB3に対して投票が集まりますと。

で、これに対してどっちも7070 の投票が集まりましたよとましたよという風になるとファーストコンファームで [音楽] B3 がまずジャスティファイされます。で、 B2 は前のスロットでジャスティファイされて、 B3 がジャスティファイされたんで、ここでファイナルです。 されます。 で、B3は次のスロットでもし B4 がジャスバされたらこいつもファイナルされると うん。フレンド ま、これなんでここはもうもう 2 スロットで早ければファイナルされるんです。 うん。 で、マジで、ま、このビューを固定すると うん。うん。

で、次にもし次のスロットまで投票がサムのに集まるのが持ち越された時 うん。で、同じようにB3 をプロポーサーが提案して 50しか投票集まりませんでしたよと。 2/2と で、ま、例えばいいつかのバリデーターがオフラインになってたりメッセージが遅延したりして集まんなかったよ。そうするとファストコンファームはここでは何もない。 [音楽] B3ジャスティファイされてないんで、B 2もファイナルされないし、もちろん B3 もジャスティフされない。で、麻雀ももうこのビュドの時点で固定されちゃいますと。 うん。で、次のスロットになってB4 が提案されましたと。

で、もちろん、ま、うん、プロポーズ、プロポーズでまだジャスティファイされてないのがあると。で、ソースは B2のままうん。です。 え、そしたら次投票はどっからどこまでか B2からB4まで投票されるんですね。 ああ、そういうね。 そう。だからここでもうもちろんなんかこの集まんなかった B3にももう1回投票するとうん。 割りたでここで 2/3集まりましたと。 はい。 そうするとどうなるかと言うとターゲットまでの全てのブロックがジャスティファイされます。なんで B3もB4 もどっちもジャスティファイされる。 うん。で、B2はB3 がジャスティファイされたんでファイナルされてなんでここでま少なくとも

3スロットでされて うん。で、次のスロットでもし 5がジャスマされたら B3とB4の2 つがファイナルされる。うん。 そういう風になってます。なんでそうソースはあの最新の ジャスティファイされたブロックなんでソースは常に B4に向いているとここだとB4 になってるとうん。 で、ソースより前のブロックがファイナルされるっていうロジックが入ってるんで、もし B5がジャスティスファされたらB3とB 4がファイナルされなるほどね。 だこでなんか遅延を共容されるって感じ。 ああ、面白いな。 オッケ。 じゃあプロポーザーがもし不正なブロックを提案した時ってます。あ、これが不正なブロックアモ点ってなったらもちろんもちろんバリデーターは

RMD ゴースト関数実行するとこのターゲット不正じゃんって言って除外して B2しかなんかうん。組まれないんで うん。正直なバリデタだったらB2 にしか投票しない。B3 には投票しない。うん。 なんでなんかこんな感じで 70と10みたいな評なると。うん。 で、パソコンファームでもちろん B3 ジャスティファイされないんで何も起こないですね。 うん。 で、次にもし次のプロポーザーが正直だった場合 うん。で、彼もRMD ゴースト関数実行するんで、 B3ないからB2をヘッドとして 新しいブロック作りますよね。 うん。ここでフォークが一瞬だけ起こる そうすね。

で、正直なバリデターは、ま、こいつち動画されるんで、こ、ここのチェーンに対して うん。B0、B1、B2、B4 のチェーンに対して投票を行うんで、ここで 2/3集こっち側に集まって、 E3側は正直なバリデータは投票しないと うん。なんか悪、悪さしてるやつが うん。なんか、あ、アホが投票する。 うん。 で、そうなったら 3に集まったらB4がされて、 B2が、え、ファイナルされると うん。 で、次の時にもちろん正直次のプロポーズは正直だったらあのジャスティファイされた方から新しくロック伸ばすはずなので、 B4から、B5がうん。提案されると

いう仕組みです。 これだからもしB4 がファイナライズされたらさっきの RL2ゴーストのフィルターで Bさんが消しとる。そう、消しとる てこと。そう、そう、そう。 あ、 分かります。 じゃあ最後に 3SF 周辺の研究テーマについていくつかって話です。 まずもう本当大きなリサーチクエションとして、ま、これ EFが進めるであろうものが2 つあって、フォーマルスペックの作成

うん、 をまず進めると、ま、要は実装にあたっての正式な仕様を決める。 うん。 で、そのためになんかシミュレーションしたりなんかオービット席とかレインボーステーキングとか本当に必要なのみたい。必要ならどうやって実装して運用するのみたいなそういう細かい議論 うん。 していったり、さっきのビュー管理法律化するためのデータ構造全部メッセージ送信すると思いじゃん。 あとはなんかいくつかパラメダーがあるんで、そのパラメーターの値をくつにセットすると安全なのかった。 うん。 そういう話です。あとはもちろんなんかあらゆる攻撃に対するリスク分析したりなんか新しい攻撃あんじゃないのみっていうそういう攻撃がないかっていうのを模索するみたいな ところが1番大きいとこですね。

あとインセンティブ設計まだ残ってて、 まあなんか結局ジャスファイに貢献した バリエーターにのみ報酬を分配するのか みたいなあれま、さっきで言うとなん だろう ま、まあなんかさっきので言うとどこに 投票したバリデーターが報酬もらえて報酬 もらえないんかみたいな細かい設計をし なきゃいけないですね。うん。 で、あとはインナクティビティリークもなんかちょっとあのアップデートしなきゃいけないよみたいなのが言われてます。 はい。 で、もしインアクティビティリークが起きても貢献したバリエーターがいたらその人には報酬分配してあげないとかわいそうだよねみたいなのも言われてます。 っていう感じですね。

で、僕ら、僕とび太が考えてるリハシクエーションとしてランダオの再設計っていうのがあって、今ランダ 1ポックごとに入るじゃないですか。 うん。でもこれを3DSF にだったら少なくとも3 リースロットとかあるいはもうワンスロットまで委会選手の周期を短縮しなきゃいけないんじゃないかっていうのを仮説として持っています。 うん。うん。 それもちろん周期を合わせた方が設計シンプルに うん。なるし。うん。 なんかずれてるとなんかどんどんどんどんずれてって、例えばなんか 32スロットごとに会選手とかなると どんどんずれてくじゃないですか。うん。 てなるとなんか最なんかどっかで超じれ合わせとか走るとなんかうみたいな 1

日増えるみたいななるとめちゃくちゃ複雑なんでそういうのがないように引きたいよねっていうので そうそう あとは短いほどいいよねっていうのも一応あって なんかテールスロットホールディング攻撃とかあとディドス攻撃とかもま 30例えば32 スロットで委会選手されるとディドスの余地がまあ何分かあり 31スロットがありますね。 だから海選手とはなるべく短いスパンでやってく、更新してく嬉しいよね。 ただこれ見ると、あの、これ、このグラフは、えっと、スロットを増やした時、ま、陰選手のスロットを増やした時に [音楽]

なんかプロポーザーが連続スロットを手に入れる確率、成功確率みたいなのを こう図にしていて、 それがなんか式1 以下だと安全だよねみたいなのを赤線で 明記してるんですけど、 大体その最低スロット数が 11とかなんですね、今。11 スロット以上うん。 ランダウンによる海選手期間開けないと連続でなんか例えばライドとかが連続で 3スロットとか 手に入れる確率が高くなっちゃう。 うん。うん。で、これをじゃあ3時間に 下げるためにどうしたらいいのかっていう のを模索する必要があって、ま、最初の 議論だと例えばVDFverリファイブル delayファンクションとかVRF みたいなその暗号プロトコルを組み合わせ

てってセキュリティ要件高めてなんか3 スロットでも安全にしてくみたいな話が あるんですけど、ま、その効果実証して もちろんなんかマイスロットをそういう ランダを走らせるとなんか重くなるんじゃ ないのみたいな論もあるんで、その効率と 安全性みたい を持ってって提案まで持ってくみたいなのをやろうかなっていう。 なるほど。面白いすね。 面白いと。うん。 え、さっきのウルドあんま分かってないか。 11 にもしたとしてどっかで掃除合わせが必要ないのか。えっと、 そうだね。

スロットT のプロポーザーを選ぶために、ま、 P-11とかT-12 ぐらいから計算する必要があって、 そうだね。 そうなる。 あ、 そう。今ちょっと詳しく後でビ弾帰ってきたらですか? うん。 いや、でもいいクエスチョンが気合逆にまだあんま議論されてないとこでもある感じで うん。あんまりされてない。ま、これはもしオビット SSF

を含めるならみたいな話あって、含めないならもう全員のバリデターが毎回あと冒いんだけど ま、ま、今結構含める方で話は進んでる気がしてて、この間だコールもオービットの話あったし うん。 委員会のマネージメント必要だよねみたいな一応ワンライドで 言われてて そうそうそうそう時にねまオービットだからちょっとオービットも複雑なんだよねえばそうだ ステーク量に応じてあ 認に選出される確率っていうのがバリデターごとに違ってて 1冊ステイクしてたらなんか 10%みたいなで32差だったらなんか 50%みたいなうん そういう風に分れてるしあとなんかちょっとローテーションしてかなきゃいけな

はい。 誰を残すかみたいが残るみたいなうん。うん。 のをね、調整しなきゃいけないか結構複雑で で、なんかその確率だけ定義されてるんだけどそれ実装でどうやんのみたいなのがまだ進んでない。 うん。 なるほどですね。 はい。 今の3SF のリック実装したんだ。これで言うとどこに? これで言うもうほぼあ、あのこのボートとここの部分が実装されてる。プロポーズボードファストコンファームの超簡単なとこは実装されてる んだけどなんかこの麻とかもないし

うん。 あとランダオのランダムで選手されるみたいなのもない。 あ、うん。 そう、そう、そう。 まあまあ、 うん。嫌いって感じですよね。 そう、そう、そう。 キャスパーの方は変わんないって感覚であって、その うん。リアスパーってLNB ゴーストとキャスパFFG からなるみたいな感じだけど。 シスパーはちょっと変わるかもしんない。一応 SSF ではルイジプロトコルって言われてて なんかちょっと変わってるっぽいんだよね。 うん。なるほど。

ちょっとだけ仕様が変わる可能性はある。 ま、ほぼ変わんないとこ。 まあ、ま、ほぼ変わんない。うん。 あと個人的にアカウンタブルライブですってちょっというかすごいこれは まこれはなんかライブネス失ったらお前金払えよみたいなことなんじゃないかな。 ああ、そんな感じだよ。その責任ある。 うん。そう。セーフティのライブネス版。 うん。はい。はい。 俺もなんかビームコールで初めてこの言葉定義されて出てきて ああはい。

これアカウントブルライブんじゃねみたいな言われてた。 うん。うん。 なんかLMD ゴーストの論文が出た後も何ヶ月後かに LMD ゴーストのインセンティブメカニズムみたいな論文が おお出てはい。多分今も3A セフのロム出たから3A 政府のインセンティブ設計みたいなのを 多分EFが論ムとして出すっていう 流れなんじゃないか。 なるほど。 はい。す、じゃあ、ま、こういうメモハック

MDにめちゃくちゃメモを起こしてます。 参考です。はい、ありがとうございました。 ありがとうございました。