【Uzumaki勉強会】【Eth2Book読破】Ethereumの基礎からSingle Slot Finalityに向けた課題感

Uzumaki勉強会 · 42:01

Vita reviews Ethereum proof-of-stake consensus, epoch processing and attestation aggregation under EIP-7549. The session examines the tradeoffs between finality time, validator participation and message overhead on the path to single-slot finality.

Speakers

Topics

From Uzumaki勉強会, hosted by Nyx Foundation.

Transcript

ます。ますね。 はい。 はい。じゃあ始めさせていただきます。サリアムの基礎と課題についてブックを読んだ上で、ま、あとペクトルアップデートを踏まえてお話をなと思います。まず今回の目次はサリアムの基礎。 ま、これさらっとおさいして、ま、基本的 にどういう概念になってるかっていうのと 協会の処理についてお話します。で、その 後にそのペクトルアップデートによる アテステーションの収約方法の変更、これ EP7549なんですけど、これについて 流して、で、その後に、えっと、シングル

ソフトファイナリティに向けての課題感と いうのを話していきと思います 。まずイサリアムは時間の概念を持ってて 、ま、この区間があって、それが 1レポックと1スロットっていうもので、 で、ファイナリティとかそういった単位は エコックの単位で行われて、で、各 デコックには31スロットで構成されてい て、1スロットが12kmで、で、この スロット感にブロックが低圧はあの、投票 され てま、なので1ボックっていうのはその 12秒32個足したら6分4分になります 。この時間軸 でスロットの構成、ま、12秒の中の構成

が えっとこういう感じの図の構成になって いるんですけどまずロールとして、ま、1 スロットの中にはプロポーザーっていう ブロックを提案する人が1人でそれを検証 する委員会があって委員会が64個校で その各64個の中の1つ1つの委員会ごと に16のアグリケーターがあるという、ま 、ちょっとお分 づらいと思うんですけど、1つのコミの中 に16人にアグリケーターがいるという ような感じですね。で、コミティは64個 あって、今バリデーターのセットが 100万あるとすると、えっと、それが 32割振られて大体3万1000ぐらいか な。で、それがさらに64個に割り振ら れるんで、1つのコミティあたりの人数は

500人ぐらいかね、今 はになってます 。で、これ が、えっと、バリデーターセットはランダ を通じて、あの、シャッフルとかランダム にこう、 このロールに割りがないと。で、ま、その 上でイサリアムはどこで何をしてるの かっていうところで言うと、主にあの処理 を分類するとエポック協会の処理、具体的 にはエポックの開始0スロット目、ここの 0スロット目の処理とエポック終了時の 処理と31スロット目の処理で、えっと、 特定の処理が走るのと、あと各スロットの 中であの処理があります。これを連続的に 行うことで、あの、特定の状態をみんなと

して、あの 、あの、やっていきます。で、まずこの、 ここのエポクの開始時と終了時と各の処理 を順番に見てくる。ま、簡単に順番にくる 。まず開始時の処理に関しては バリデーターの集合を乱数源にスロットの ロールに割り当てるっていうその乱数源の 作成とこの乱数源ま乱数源の作戦は行わ ないんですけど前のエポックです作えっと 2まいやあのある期間に作られた乱数ゲを 元にあのロール ますでアグリケーターに関しては何度これ はちょっと後 ですえっと くのスロットの話ではない。え、どち、

えっと、ちょっと、あ、です。えっとまず 乱数源の生成 方法開始時に使う乱数源がニューポック前 の確定されたミックス時を使うんです けどそのまず乱数源の生成方法が主に5 ステップでまず そのこれはスロットでこうままずその イサリアム自体が完全なこの乱数みたいな ものをあの生成することができないので各 バリデーターが その数みたいなものをこう時的にこう継承していっこう時的に数を生成しています。ま、それをランダウと言います。で、その各ポーザーがまずそれぞれのスロットでその番号に対して自分の

BS のあの秘密で証明をしてえっとランダをリビーっていうこのボディに入りところにこう入れてロックを作ります。 そしたらそれを検証側受け取ってその検証 してでその検証してもし正しかったらあの 正しくなかったらそれがもうこれ キャンセルされるんですけど正しかったら それをあの発でこう32バイトに圧縮し ます。で、その圧縮したものとその1個前 のスロットのミックス値をXromアで こうあの組み合わせて処理をしてでそれで 新しいこのそのスロットのあのミックス値 っていうのが生成される。で、その ミックスっていうのが、ま、今の通り、

えっと、次のミックス値の、えっと、今の スロットが次のスロットの、えっと、 ミックスを使われて、それがまた次の スロットのミックスを使われてっていう 感じで、こうどんどんどんどんこう、あの 、継承されていくっていう感じになって、 で、その最後の、えっと、スロットの 時にそのエポックの最終的なビジネスの その乱数として使われるものがの元がこう 、あの、決まる いう感じになってります 。で、これが具体的な そのこの 123かな?12か1までここが えっと検証だからあ、ま、ここが

234ここが1、ここが 23でこれがえっとその最後にま、 エポックの31あのスロットの31 スロットにミックスが確定して、ただそれ はそのエコックのミックスでそれがシード になるってなったらそれはその教会をまい で次のドロット1のエポックま、次の エポック次のエポックになった時にその シート中が 確定するんですけどここを見てもらえと 分かるんですけどこのルックアヘッドって いうのがあの位置に設定されていてこれは どういうことかって言うとその確定した シード値がいつ使われるかっていうことで そのエポックエポックNがあったとして

エポックnでの後半でミックス値が出て そのミックス値がn+1で確定しますと。 で、その確定したミックス筋ってのはn+ え、あのエポッN+2で使われる。ま、だ から今のエポッの割フ振りは2個前の1番 最後の方のすごくこのあのミックスを使っ てマしてその生成された技似数みたいな ものを使って えっとこんな感じでプロポーザーを選ん だりとかコミュニッティを選んだりとか ます。で、プロポーザーに関しては エフェクティブエフェクティブバラン スのあのバランスを元にバランスを引き数 にそのバランスを使ってあのプロポーザー を割ってます。で、ま、でもこの

エフェクティブバランスってのはです、 あの16差で強制体出なんで、その32差 からじゃない、その32差以下の16差 あって、で、そのあのバランスを引き数に あの各が選ばれる、あの飲みつけるね。だ からたくさんあのエフェクティブバランス やっぱりそのステーキにしてる人はその分 このあの選ばれる確率が高まりますと。で 、コミュニティに関しては、この完全に ランダムシャンプになる。なお、 アグリゲタに関しては、あの、その ランダムの情報は数源を使います。って いうのがさっきのもちろん最初に見たこの ランダムのフェーズでどうやってかですね 。ああ、で、そうですね。で、この

ちょっとさっき説明しちゃったんですけど 、プロポーダーとコミュニティのこの ルックアヘッドっていう設定されていて、 それがそのミクスが確定してから使われて までのその空間 機ね。で、これがOxッの開始時の処理で 、Oxックの終了時の処理は主に4つで あれ、さっきのあきますか?あの、この プロポーザーコミックアグリゲーターは いつのいつのプロポーザー?そのエポック のプロあ、そのエポッのプロた2ポック前 にこのシードが確定してるから誰でもあの 、2ポック先ぐらいので誰が誰かわかんあ 、そういうことね。

これなんで具体的になるか? えっと、あ、1だとダメとか3 あれはいいのかな?そのなんだっけな?なんかわかんないな。 うん。 確かその入室と体質の時の企画関係してこうなんかわかんないこの辺で関係した気がします。 ま、でもなんか1 歩置いた方がいい開けた方が安全そうではそあるんですよね。 うん。あ数のマニフィレーションとか うん。ありそう。

ちなみにこれはなん かするとつかない決定的にあの製成されて いうものがあるんで えっと収容の処理が スティファイファイナライゼーションって いう そのこれはキャスパーの方の 投票とその投票結果の範囲で インアクティビティリーっていうのがあの 4連続でこのファイナライゼーションされ なかった時にこのペナルティと報酬の設計 がちょっと変わるとそうなるとまあ大体 インアクティブリークが発生する時の条件 として基本そのオフラインか攻撃する人が

ま以上いるっていう状態ででその後に その400連続でファイナライズされない まずいってなってあのなんていう そのすごくこうマジョリティマイノリティ の人不利な感じにな、あの、保守になって 、その人たちが退出していて、あの、 ちゃんとしてる人で登る、ま、そういう 簡単だ。で、リワードペナルティの計算も 、あの、収で、ま、あとその他データの リセプをで、ま、今回全部話したかったん ですけど、ちょっとファイナルティと ジャスティファイに今回はちょっと絞って 話と思います。で、ジャスティifyと パイナライズはどういう概念かって言うと 、あの状態を確定させるみたいなブローで

、あの、ま、これがAのポイントに、Aの 、エポッAのプラス、A+特定のその1番 最初の ソフトをみんなそのチェックポイントとし てこうFFGの投票をしてくるアスパーの 投票をしてくるんですけど、あのこの ターゲットチェックポイントが正当です よっていうこの投票をラブステーションが スタんですけど、あのそれでこう まの投票確定し、あの獲得していた場合は そのチェックポイントがジャスティファイ されるとでえっと次のになっ てあのそのターゲットがまた ジャスティファイされる。ま、つまり2

連続、2個の連続でジャスティファイさ れると この最初のあのジャスティファイ対象の ところがあのファイナライズされる。で、 ファイナライズされるともうなんか日本に はロールバッチすることができません。 する場合にはかなり効果になりますと いう多分だけどめちゃくちゃ厳密に言うと 2/3より 大きいあそうだ。うん。67 そうです。66.66 よりちょっとでもそうそうだ。 で、ファイナリティはなんかキャップ キャップキャップ定のあの基づいていて これはその分断体制パーティション

トレランスと火用性と一性 での何を選択するかでこれを全部100% 満たすものを解して逆にそれをなんか ちょっとずつこう落とすと全部こうなんか 同じになるみたいなあのなんですけど ファイナリティっていうのはここでいう この一貫性コンシンシー強いコンシテンシ で保つっていうことをあのしていてでそれ はどういうことかって言うと、ま、さっき ちょっと届くたんですけどファイナライズ したトランザクションはロバックされない その確率が非常に低いように設定されてい てで濃度他の濃度はそれをコンセサスの 正当なあのリレとしてあの指名することが できるある の確定

状態でよくエコノミックファイナリティと かエコノミセキュリティとか言われたり するんですけど、これ結構ファイナリティ における重要な 概て言うと、えっと、 仮に異なる状態がジャスティファイ あるいはファイナライズされた場合に、 えっと、少なく とも1/3より若干多い34%ぐらいの人 が、えっと、2つの異なる状態の両方に 投票していた、つまり二重票をしてい たっていうことを証明することが入って その34%の人たちのデポジット政策って いうのをスラッシングすることができます と。で、その、えっと、それが非常にこの

効果、しかもそれをやったとしても、あの 、ちょっと利用できるとかぐらいしかない んで、この攻撃リターンが似合わないと、 ま、それによってかなりこうデザイン的に あの関ティがあるよっていうが言え るっていうね。 で、これがま、ちょっとおさい、ま、あっ て、ま、ちょっと今回掘っていきたいのは このスロットの処理と集約、投票集約の 詳細ですね。で、ま、具体的に7549 ちょっとあの主役、あの投票の主役が 変わったんで、それはちょっと具体的に 話していければと思います 。まずスロットのタイムライン。プロッ トっていうのは12秒あるんですけど、

12秒の中でも4秒、4秒、4秒っていう 風にタイムラインが設定されていて、その タイムラインによって数行う仕事とかが 変わってます。で、t=0までにブロック をプロポーザーがゲットヘッターしてそれ をネットワークに提案します。で、 メルーソとかを走らせて取る場合はこの キープが自い前の段階でブロックビルダー か次のスロットのえっとブロックを構築し てそれをリレーを通じてプロポがビルド あのゲットヘッターをで、ま、基本t=0 は理想なんですけどゲットヘッダーはこう ちょっと2秒ぐらいで送らせた方がその2 秒間そのビ度がこう増しされていくんです 。 ちょっと価値が高まって、ま、実際には

このP2秒ぐらいゲットヘッターされる ことが多いです。で、ゲットヘッド ブロックが、えっと、デスとかでロータル 構築する場合は3P2Pでされるんです けど、あのメブーストを使う場合はあの リレイププロパゲーションリレカラーで そのプロパゲーションされたブロックに 対して、えっと、この辺でアテーションを してとでアテーションがレッドラインに なってるんですけど投票しますと投票って いうのは少しとターゲットとチェック アナウンスブロックのヘッドどのブロ を今対象としてるそのブロックとソースト ターゲット1個前のジャスティファイされ た

えっとチェックポイントと今ターゲットに しているチェックポイントに対して投票 をでその投票したものをま集約をしてその 集約を 最ブロードキャストして次のブロックとか にそのアテスレーションが含まれてえっと 報酬がこういう流れですね。で、ま、今回 この 真ん中 こっでアテステーション何か?これは ブロックが正しいと表明する表面付で具体 的なデータ構図はこんな感じである。で、 イサリアムのあの、今のイサリアムズの COSはフォークチョイスがフォーク

チョイスのLMDゴースっていうその コンセンサオリズムとファイナリティ ガジェットのあのキャスパFFGっていう このこっちが交通してこっちが ファイナリティになる。この2つで構成さ れてるハイブリッドコンセスがあるんです けど、このあのアテスーションっていうの は この判断、このフォークチョイスの判断と あのファイナルゲーの判断の両方になって さっきちょっとくれた通りこのイコン ルートあのこれヘッドの今チェーンをあの ブロックを対象にしてるかというあの ところでこれがあのこのLMDゴーストの 投資対象になってこのソースとターゲッ トっていうのがFFGのアンダル材料に なった。で、そうするとターゲットによっ て、えっと、ジャスティフケーションと、 えっと、ファイナライゼーションが判断さ

れるんですけど、このヘッドはどの フォークトイスのサブツリーがヘビストで あるかっていうのを見ます。ま、つまり このイサリアムはファイナライズされる までそのフォークチョイスとして複数の あの状態、つまり複数のブロックが分岐し てフォークして派生していく可能性があっ て、最終的にどのフォークが1番正当で あるかっての組める必要があるんですけど 、ビットコインのようにそれをこう ロンゲストチェンジしてみることはでき ないなので、それをあの、どのこの冒頭 アデスの冒頭によってどれが1番である かっていうのをああの、判断してみ とでと正しくタイム提出すると報酬が得 られて、えっと、なる、ま、ペナルティを

受けるの はちょっとすちゃった 。から正しくタイムリングを提出するとお えられて、で、かつそのインクルジョン ディレーっていうのがあって、次の プロポーザー1番近い早い次の プロポーザーにインク上されるとこのデス 私と人は交渉最大化最大最大限もらえて このインフル自分の作ったデスがその次の 次のプロポーナーに含まれるとか次の次の 次のプロポーナを後に後に遅れていくこと をそのペナリティがペナルティというかま もら報酬 がですね。で、これをアテステーション データっていうのをアテステーション、

アテスタ、ま、バリデータ、コミュニティ の中のバリデータが出して、ま、これは 従来のIP前の行動なんですけど、で、 それをそのアグリタの各コミュニティの中 で選ばれた16人、ま、正確には1人が 2人なんですけど、16人でもなんか自己 申告性でやりたい人がやるいうことなんで 、その中の1人2人がその各コミの中のサ ステーションをまとめてそれをこのビット 表 アビリケーションビットはコミュニティの 中で同じ投票を行った人はラスてなので それをビット表現にしてでこれらを元 データあのベステーションデータとこの あのアグリゲあのアグリゲーターのがはい 。で、このこれをと各プロポーサーが集め

て、だから昔のちょっとEP前のブロック のアテステーションの構造とか含まれた コード見るとマックス128個アテス がですけど、あのたくさんアテスコミティ ごとのアテステーションが提出されてそれ がこう いっぱい出てく てでちょっとアグリゲーターいっぱい出て くるんですよ。レプリケーターはまずこの 乱数を使わずにこのスロットと このスロットを発表して秘密かけて署名を 作成してこれを元にその特定の生地と比較 して いくその生地の条件を満たす場合 アグリゲーターになる。ただそのアグリ

ケーターっていうのは特にインセンティブ がなくて唯一上げるとするとあの自分と 同じ自分がちゃんと投票してる人だったら その自分と同じ投票をたくさん集めること でそれによってプロポーザーがあの自分の アテステーションを選ぶ確率が高まるので そうするとえっと自分の報酬がま減らない 他者に自分の報酬の増減が依存しなくなる ためえっとアグリゲーターは自分でこう アグリゲート ちょっとしたインつはあるけど、ま、基本 はそんなないんで16人いるけど平均か 2人がコミて からで、ま、こっから7549の理解に

入っていくんですけど、7549っていう のは何かと言うと、このベクトラで入った やつなんですけど、具体的には複数の委員 会が同じ内容の投票をした場合、これらを こう1つの1つにまとめてブロックに変更 で、これが今の仕組みで、各スロットの このビッティがそれぞれ触って ステーションを集約してこの64個を ブロックにいう感じで、で、そのバッパー を3倍で設けて128個ブロックに最大 入るようになってくるっていうなんです けど、ま、こんな感じにこう ギュギュギゅっと圧縮して こうすることでこうブロックに乗せるの数 を減らせる と一般的にはそういう感じです。で、 アグリゲーターの数、そこ、あの、僕が、

あの、ご認識したんですけど、 アグレビターがあの、数自体は7549 以前以であの、変わります。各コミティに 16人います。その中から1人が2人選ば れるっていうのも基本、ま、1人が2人が こう自主的にやるっていうのも同じ。だ から違う点としてはこのコミュニティ インデックスっていう今まではその アテステーションデータ冒トする時にこの どこのコミュニティにしてますかっていう のをあの入れてた。で、これなんで入れる 必要だったかっていうと、昔のその シャードチェーンのポトを、あの、どの シャードに、どのに行くか、投票するか ちゃんと設定しておくよかったポイントで 交流選たと思うんですけど、ま、これ

を0にする とで、その主役証明対象と何が言えるかと 、このスロットっていうのはみな、投票 対象がスロット同じで、で、もしこの ルートと このあのFFGの投票とあのLMT ゴーストの投票は仮にみんな同じであれば それをリビュっとあの集約すること逆に ここがあの署名集主役対象でコミュニティ インデックスが別々になってた場合は 難しいんでこれをなくしてこう主役 できるでそれをアグリゲーターがま一応 集約してでそのアグリゲーターが集約して 一応64個ポーって出てくると思うんです けどそれをプロポーザーが1つに集約して

で、それそこにプロポーザーがさらにこの コミッティつまりどのコミティが参加して たかっていうのを後付けで アテステーションのあのデータとして えっと表現でこのどこのアテスどこの コミュニティのアテステーションでました 。の最後このプロポーザーがやる とそれにおけてこうブロックにこう乗る お標をこう 効率今までは128個あっ てで具体的に効果としてはシグネチャーの 数まず

あの今までコミティが64個はあっに、 えっと、シベーチャーの数は64個。ま、 前の各コミュティ、あの、 アピステーションがそれをブロックに含ま なきゃいけなかったんで、検証する時に その各コミティの64回こうあの次連チが あって減少したりとかしなきゃいけなかっ たんですけど、それが1個にこう集約 こうギビギュっとなることでこの1回で こう演奏したり主役が主役自体が最終的に その乗る主役自体もいいことになるとそれ によって管理がいいなていうのとあと ブロックに 乗るそのアテステーションの数自体増える ん 非常にこいつ気になる。そういう注目し てちょっとこっから課題感に入っていくん

ですけど 、課題感は2つでこれはよく話してること なんですけど、あのファイナリティまでの 時間が長いっていうことを利用グループ です。ファナリティは今大体6分4秒から 121212分何秒ぐらいがちょっと 損害ぐかかってしまう長いっていうのと、 ま、それまでにそのあの利用が 多く でま、現在のコスではい。ま、8分 これかな? 64.4から12.っていうの とこが長いか。で、これをこうシングル ソットファイナリティとかでは1ブロック の単位でファイナライズしようっていう層

なんでかなりこうファイナライズの時間が 短縮です。で、これはかなりこうユ材に とっては即自確定みたいに近づくあの大変 になるんで基礎数があります 。で、もう1個利用の可能性があって、今 はかなりこうプロポーザーブーソっていう か出てきたりして 、利用を こうそのブロックを直前まで隠して公開 するみたいなリスコルディングアタックっ てはちょっとやりづらくなったんですけど 、ま、ただ一応なんか利用みたいなが発生 する可能性はあって、これによってあの ブロックがこう巻き戻しにあっちゃうので 、そうなるとその先輩の方 でなんだろう、借りお金

をファイナライズを待たずにお金の移動が あった場合にこの特定のブロックが 巻き戻すためあった時にこのセファイ側が 自分のお金でそのアナリティを持たずにお 金保証してたんでその分がなん か湧いてく かなりこの事業者からすると ファイナリティを待つのが鬱陶しい ファイナリティを待たないのであればこの リスクがあるになって ちょっと問題かなと思います 。で、この利グっていうのはコンセンサス アルゴリズムによってあの変わっていて このビットコインとかの中元コンセンタと かあのはま、

ちょっと発生です。で、安スパリカはもう たまにテンダーミントとか、ま、そういう PBFTベースのあのもの、これは1つの ブロックが出た時にこのそれをもう確定し ちゃうっていうのをこう連続的に繰り返し ていくっていうスタイルだとそもそも フォークチョイス自体がなくなるのでグ具 っていうのも起きてませんと、ま、そう いう違いがあって、で、このシングル ソットファイナルティに向かっていき ましょう。ファイナルティの時間を短縮し ていきましょうっていうのはこの ギャスパーからこれちょっと民間の方に この取っていくとようなあの流れになって でこれはそのじゃあキャスパーとレディ ゴーストのどっちの変更なのかっていうと 基本的にはあのLMDゴースト側の変更で

すとあの投票事態とそこまでま多分若干 変わると思うんですけど大きな変更として はあのAMDゴーストの方の変更が 多いでちょ とトオフどんなトレードオフがあるか話 終わるんですけど理想的には ファイナライズまでの時間を最初限に抑え て分散化を最大化してオーバーヘッドを 最小限りとただこういうトレードオフが 発生して てファイナリティの時間っていうのは状態 Hが追加されてからその状態Hが ファイナライズされるまで想的にはこれを すごい短くしたい。で、あの、このDって いうのはバリゲーターの数で、オーバー ヘッドっていうのはこのフルノード、

バリゲーターを含むが検証する必要ある1 あたりのメッセージです 。的にはこれをこう全部こうあのいい感じ にしたいんですけど実際にはこうこういう 簡単な式で表す とこのバリケーターの数は実際には あの2/3以上の一応を考慮する必要ある んですけど簡易的に ちょっとこういう風に表してあの考えます 。そうすると何が言えるかって言うと、え と、例えば このファイナリ金の時間が10秒であると して、で、少なくとも500人の

バリゲーターをサポートする必要があると 考えるとそうするとこういう危になっ てうわちオーバーヘッド1秒あたりに処理 すべきメッセージは50となります 。で、ここであの言えるの はバリゲーターの数を増やす、つまり分散 化みたいなものをイサリアムの8にして 最大化させようとしていくバリデタの数を 上げようとしていくとファイナリティの 時間あるいはオーバーヘッド自分あたりに こうプレセジの数を出す必要があります。 でもファイナリティの時間っていうのは、 あの、今は、ま、固定になって、で、それ を短縮していきたいと、オーバーヘッドを 自然と消す必要があるか、えっと、分散性

を若干下げるかなどをする必要があるって いうこれになります。ま、ただその暗号学 的な効率性の過程を置くとどういう解決 できるかもっていう改善できるかもって いうで このそのCっていうのをこうここに入れる とこの暗号学的性の向上を高めると そのアナリフの時間とかメッセージの処理 とかをこう変えずにDを再ることができる かもしれないということですね。で、 そのただちょっと課題感として個人的に 持ってるのはこの暗語学的な法律性を向上 させる要因が主役にあるのか検証にあるの

かまああるいはにあるのかとかこの辺の 要因があんまり分かって ないというのとシングルスロット パイナリティは1スロットの単位で パイナリティを取っていく仕組みなんです けど現実的にはやっぱりさっきの メッセージの処理のこのオーバーヘッドに 問題があるとか性をちょっとリセブし なければならないってっていうトレード オフがあるので、この3スロット ファイナリティで3スロットで ファイナリティをしようていうその ちょっとファイナリティの時間をこう雇用 するというか、今のあの ファイナルをエコックじゃなくてスロット に落としたみたいな数のあの提案スロット ファイナルティであってこれは結構最近は

あの主力になりつつあるんですけどそう いうちょっとリスロットファイナリティ 実際にこうじゃあ実現させてみようとした 時にどこに こうも問題がこう発生するかあるいは発生 しる可能性があるかま、それがあるいは あの集約にあるのか検証にあるのかまそう いう そのこのそのこの辺はちょっとあの分かい んで ま実際にこうファイナライズする時間を 短縮しようとした大会になるかなっていう のは思います。 あ、そうだね。イサリアムだと割れた 100万人でスロットあたり。今だとこれ

が32スロットに割り振られるんで3万 ぐらいになるけどこれが割り振られなく なるんで30人はなくなくてそのまま1と 200万人来ることになるかなり こうたくさんのメッセージをこう処理する 必要が出てくる 。うん。 ま、そういう感じですね。はい、終わりです。多分補足するとあのなんだっけ?修学の

7500の話でうん。 署名対象から外すって書いてあったけど外す。 対象にはなるっていうね。 うん。 代謝ではあるけど全員が同じ0 ですていう意味でまあるよ。対象会みたいな感じで。 うん。 あとそのバッファを設けてるって話。 今、あの47549だと128 の主役書を乗せるようになってた理由はそのスロットだけが対象じゃなくてその前のやつとかあり得るからその分のがある

とこ うんていうそこです。はい。 いいですか?ポイントとしては元々エコノミックファイナルティが うん。を満たすためにポック のファイナルに必要でした。 うん。うん。 [音楽] で、シングルスファイナリティにするためにはエコノミックファイナリティっていうのはないんで少なくとも 100 万人のバリエン2を1 スロットで完成させます。 うん。うん。 だからここでバリエーターを減らすみたいなことは基本的にできないという感じで まただビタリックとかはもうそれは減らしちゃおうって言ってセキュリティを犠牲しようって言ってて

もしなんか攻撃されたらそれは後で人力でパラメーター修正して倒すらしだから実際それでいいのかっては うん う うん。3Sの方が可能性高いかな。 うん。なんか3SFス用のコの方。 あ、そうだ。え、 3Sだと利用グはジョありえる。あるて。 うん。うん。けど利用具の期間が短い。 うん。うん。

リレージョンもリレイエジキューションさっきのさ、 12秒の相対の44秒でさ、うん。最初の 4さ、マイ うん。 あ、シングルソフトファイナルスソフトファイナルその表可能なんです。 [音楽] シングルソフトパイライティはわかんないけどfとあの方でも うん。 あった。 3SF3S 自体があのファイナルティのま、3S 自体のジャスティフケーションファイナルズみたいなタイがあれば 3 つの単に今のあのポースターゲットみたいな概念と連続と うん。

されたらその1 番最初は早さには同じようなこう枠組で見ることができて そう考えるとあのあのあのキャスパーの FF の投票とかなキャスパーのそのなんかあのソーストターゲットの投票はこう後になしてるからいで例は逆 [音楽] 水服でも行けるような気がちょっとする。 おお。 あ、完全に、え、ちょっと自信はすごい歩けてないけど、あの、この 1 個ずらし、ステートルートを1

個ずらしたのをイされ物のブロックの形としようって言ってるだけだから。 うん。 それがなんて言うんだ?シングルスロックファイナリティ行くとそんなに関係ない可能性がありそう。 [音楽] うん。うん。 シングルでそのこれまでだとあの12 秒早いやつをそのスロットのあのトランザクションって呼んでたけど うん。 それを変える対象を変えるだけだから うん。なるほど。 ま、逆になんか勘違いしてたのが、あの 7549 で、ま、各スロットに決められた、あの、ダビリエーターがいて、それが全員その一気に主役すると思ったんですけど、その男がまず認識違いだったっていう うん。ふん。が1個、あ、どういうこと?

うん。 そんなことができるのはS ージが共通で下がれば1 個集できるて良さを発さのいですね。 なんかま、 この主役になるのか検証になるのかって いうの同じぐらいどの程度のセキュリティ レベルがあればウサリアの安全なのかって いう部分 もあっ てだからまでこの運のメッセージを処備 できるかとか本来の分散性が必要かかって

いうのをこう話にそもそもどんだけの分散 性必要なの かどう からなきゃいけない。あれと思います。こんなとこすね。あ、あと 1 個だけ。これどっちかというと暗号チームに行きたいかもんですけど、リアル署名を検証する時ってその多分約公開みたいな計算しないといけてうん。 で、それの計算は多分あの大局直極戦上の いや、これなんで公開

そう公開鍵をあ、そっか。公開鍵足すだけかね。 確かに公開鍵自体はもうあるからだけだ。 確かにそれをこれまで64 回やってたのがいます。公開鍵はみんなの公開鍵普通に当たり前に公開されてどっかにあるんで。ま、 それは最初にうん。登録します。バリ。 なるほど。こういうことか。 いや、なんか実際使うことがほぼないからあんま意識できてなかったけど。それそうそれなされるけどそれを全員が持ってるから知らない。

[音楽] 誰がどういう形式に持ってるのか。 ああ。まあまあ確かにその署名した人みんなの公開影てこない。 もしかし直撃に参加する時に公開い。 [音楽] ああ。うん。 確かに。 そういう感をしているんで。 うん。 はい。あざす。 はい。ありがとうございました。 ありがとうございます。