​【ジョージタウン大 松尾教授×Nyx】イーサリアム研究の最前線とアカデミアが挑むべき課題

Transcript

このこのこのこの組織っていうかこのここのことをはい。 話します。 まずニックスファンデーションについてなんですけど今年 9 月に立ち上がったイサリアムに特化した研究組織でして、ま、その前から元々僕とかアルビダとかは個人的にイタリアム財団からグラントをもらって共同研究するみたいな 活動。 ま、僕も収支にいたりっていうのがこう個ここ々で集まってた シェアハウスを1年ぐらい 運営してるんですけどそれをニックスファンデーションっていう組織にしました。ま、 BNみたいにあの一般車団放人で うん。 やってるです。[咳払い] 主な活動内ここに5

つつ書いてるんですけど、まずバグバウンティとしてイサリアムの実装バグを見つけて報告して直すっていう活動をしてます。 で、実際にERMでクライアントが11個 もあるんですけど、1つの仕様に対して 11個の個別の実装があって、で、そのゲ スっていう1番E財団がやってる実装にも バグを報告したりとか、あとあのバグ バウンティーっていうあのプロ脆弱性を 見つけたら報告するプラットフォームを 通じて報告して、ま、裏側で直してもらっ たりとかそういうのをやってます。で、 あとは大量以降の取り組みをやってまして 、ま、イサリアムにリンコンセンサスって いうタイトルで大量飼とか、ま、他の

アップデートも含めた大きい アップグレード、あ、ざ味みたいなものが おそらく5年後か10、一応あの202年 に予定されてるアップグレードがあるん ですけど、そちらへの貢献も取り組んでい て、実際にバリと今ここにはいないんです けど、津田っていう2人があの天ブリッジ 大学で開かれたイサム団の合宿に参加して 一緒に議論したりとか、ま、そこで使わ れるような大量署名スキームの形式検証を 彼が一部行って、ま、その発表をしたりと かいうなんで形式検証もまあ同じように あとデファイの分析で、ま、特にあの分散 型取引上でデッスって言われるような誰か

が流動性を入れ で、その流動性の中で、あの、決まったレートに従って変えるみたいなとこで、その流導性を入れた人が本当に儲かるのかとか、あの、そういう結構経済的な分析を 行う研究をやってる人がいます。 で、あとは彼が行ってる研究がスマートコントラクトあの予測市場のようないくつかのプラットフォームを組み合わせて契約と執行を自動化できないかっていう取り組み ま実実社会の契約ですね。 実社会の、ま、例えば業務委託 契約みたいなものを、あの、実際にタラクトで契約して、ま、実際にその契約の内容に従って例えば給料が振り込まれたりとかで、もし何か居ざこ座があった時には、予測市場を使って解決裁判の代わりに解決してあげて、まあ、なんか慰謝料を支払うと、そういうところまで全て化する。 はい。

で、僕たちが掲げてるのはイーサリアムの 最重要課題を解決するっていうので、ま、 イサリアムの最重要な問題というのがいく つかこれ僕らが定義したものがここにある んですけど、ま、イサリアムの中で言われ てるものの中から特に僕らが取り組みたい 問題をここにあげてます。で、1つは取引 の遅延で、ま、今だと取引1つのブロック が生成されるのに12秒で、それが ファイナライズ確定されるまでに大体3分 から6分時間があって、まず12秒待た なきゃいけないっていうこの遅延があるの と、さらに12秒経ってもその間6分間は 確定されないのでブロックが再編成され ちゃうっていうリスクがある。で、これを

なるべくまず12秒を8秒、4秒っていう のに縮める取り組みが行われていたり、 あるいはその6分の確定をなるべくその 取引時間の12秒とこう近く秒とかまで 縮めるっていうのが1つ大きな課題になっ てます。で、あとは特定死体の集中化に よるMB抽出や検スクっていうのもあるん ですけど、あの、これざっくり言うと今 ブロックを提案する人と実際にその ブロックを作る人、ビルダーダーっていう のが分れていて、このビルダー側がですね 、ま、結構もう大きな死体に23、3者と かに限定されてますと。で、彼らが、ま、

あの、ま、まず彼らが、あの、ブロックに トランザクション含めるか含めないか みたいなのを割と好きに選ぶことができ ちゃう状況だったり、あと彼らが提案者に ブロックを送る、送るまでの間に中間の リレイヤーっていう主体がいるんですけど 、この人も検閲できちゃうみたいな、ま、 いくつかちょっとトラストポイントがあ るっていうものがリスクとしてあります。 で、あとセキュリティがですね、ま、あの 、ここであるような大量士署名をどうする の、大量以降どうするのかとか、いろんな セキュリティの課題がまだまだあります。 で、あとインターオペラビリティの負債が ですね、今イースリアも主にL、L2 ロールアップを使ってスケールするって

いう戦略を取ってるんですけど、大体20 個ぐらいロールアップがあるので、その ロールアップAからローアップBに メッセージを送るとかトークを移行する この メッセージの共通企画がないので、ま、 これも例えばアクロスとかレイヤー0 みたいな特定のプロバイダーに依存してい て、ま、彼らがの中に のいくつかトランスポイントがあったりとかプライバシーとコンプラの両率で、ま、主に、ま、トレードキャッシュの問題とか 1 番ありますけど、ま、今い々だとじゃあ、あの、リテール交業とかにイサム決済導入したってなったら、あの、もし僕が行ってイサム決済したら僕がそれまでどういう 取引をしていたかっていうのがお店にバレちゃったりとかで、逆に隠そうとすればするほど、ま、そういうのを犯罪に使われるも

あるのでプールのような、ま、あの プライバシーを守りつつ何か怪しい動きを したら匿名性を剥奪してあの謙虚する みたいなことがっていうようなこの両率が 結構重要になっているです。ま、この辺り が僕らは割と最重要な問題として見てます 。 で、イサリアムについて簡単におさいする んですが、ま、イサリアムの信頼期間なし で動くプログラム、ま、いわゆるスマート コントラクトというものを実行できる分散 型アプリになっていますと。で、ポイント としては、ま、ちょっとこれはざっくりし た人向けの説明になるんですが、3つあっ

て、まず誰が正しいかを多数血で決めると バリデーターという32差以上を担保とし て預けた人の中から、え、決められた時間 ごとに1人ブロックを提案する人が選ばれ て、その人が提案したブロックを他の人が 検証して投票を行って2/3以上の投表が 行われたブロックがチェーンに取り込ま れるとです。で、次がいつ会計が閉め られるかがうん、ま、ほぼ明確。あの、 この12秒6秒っていうのはちょ若干の 変動はもちろんあるんですけど、ほぼ明確 で最初にブロックを提案して検証されて 正当化ブロックが正当化されてその後確定

するっていうこの1連のステップが割と ざっくりとした時間の単位で区切られて 決まっていますと。で、大体正当化される のに12秒で確定されるのに、ま、6分と いう風になっています。 で、せ、ま、戦略としてL2でスケールし てL1で信頼を担保しようっていう取られ ていて、ま、ユーザーはこの大規模な取引 はL2の、ま、C検差って言われる濃度に バーと送って、で、L2のノードがそれを ちっちゃなデータに圧縮してL1に載せて 、L1上でそのデータが正しいかっていう 検証を行ってチェーンとして散歩するって いうような戦略を取っていますと。

で、ロードマップ、ここ5年のロード マップがもう結構色々あって、 主やな方向性としてはシンプルに柔軟に そして分散したまま早くするっていうのが 、ま、結構大まかなロードマップにはなっ てますと。で、それぞれ、ま、赤色の シンプル2が例えばステートレスリスク5 、アカウントアブストラクションで、柔軟 2がベーストロールアップ、ネイティブ ローールアップ、コアウレットとかで分散 したまま早くっていうので、ま、この緑色 の部分で最後の、ま、ここがリン コンセンサスって言われる大きい アップグレードになっていて、今夜はもう あの、いろんな大きい テーマがもう詰め込まれてる。ま、ざ味 ぐらい大きなアップグレードになってます

。ま、人によってはこれ3.0っていう人 もいますけど、 ま、そういう風になって[咳払い]ますと 。で、ま、これ一応タイムラインは結構 ざっくりしてて、ま、彼らも開発ができた ものから取り組んでくっていうスタンスな ので、ま、この辺が入れ替わったりとかは 全然あります。多分ここの最初の3 つは割ともうあのティアダスとかはもう来月の頭には取り組まれ、 で、このEPBS、B バルスとかはもう来年には取り込まれる、ま、この辺は割と確定します。タイムラで 1 つずつまずシンプルにっていうところなんですけど、あの、今 EVM をイサムステートマシンとして使ってますと。 なので開発者はソリディティでスマート

コントラクト書いてであのブロックの検証 する人は自分のEVMの実行環境で コンパイルして実行するっていう風になっ てるんですが、これをEVMからリスク5 っていう、ま、別のあのアーキテクチャー に買えましょうっていう取り組みがあって 、で、これちょっともしかしたらリスク5 じゃなくてワズムとか別のものになるかも しれないんですけど、EVMみたいな、ま 、自分たちで作った企じゃなくてシンプル であのかつ共通的な実装を使おうと。する ことで開発者はラストとか5とか他の言語 でかけるようになるしかつあの実行も効率 的になってまリスク5とかだと自分で命令

命令をオペコード新しく追加するっていう 拡張性もあるのでまもしかしたらその暗号 に特化したオペコードとかはあの後々追加 できるような拡張性も持たせられたりで 一応検討されてるです。 で、リンコンセンサスはもう超ざっくり 大まかなテーマで言うとGKVMを コンセンサス のロジックに統合しようっていう取り組み で例えば さっき投票を行っていう話がありました けど この署名方式でま今だs署名方式で2以上 の公表が来ました。

たら、えっと、正当化するってロジックが あったとすると、ま、クライド実装ごとに そのクライ特有の固有のロジックを記述し て今後 動いてると思うんですが、もしその例えば 署名方式を変えたいとか2/3を、ま、に したいとかっていうことがなった時には ハードフォークしてアップグレード走らせ なきゃいけないと。で、ここを抽化して、 あの、ゼロ知識証明を提出して、累計の 検証が通ったら、じゃ、ステートを更新 するみたいな超、抽象的なロジックだけ 仕様として決めておいて、で、その0証明

として証明するし、じゃあどの証明方式を 使ってるかとか2/3を3/4に変える かっていうのは、あの、クライアントが 好きにいじれるようにする 提案があります。 で、アカウントアブストラクションはと 言うと、ま、これ、あの、基本今、あの、 いろんな開発されてる中で使ってない機能 をどんどん削ぎ落としてこうっていう動き があります。で、その人たちが、ま、 例えばセルフデストラクトみたいな使って ないオペコードだったりとかで、その EOAの配信もその1つで、今だと、えっ と、イサリアムのアカウントっていうのは

EOAとコントラクトアカウントの2種類 があって、で、コントラクターアカウント を叩けるのはEOAだけみたいななんか いくつかルールが決まってるんですけど、 それだと複雑すぎるっていうので、もう 全部コントラクトアカウントに統一し ちゃえばいいじゃんみたいな話があっあり ます。 で、あとはステートレス っていうところで、ま、これはあの、今 そういえばユーザー、ま、本当に ブロックチェンのデータを取り込みたいっ てなったらフルノードを立てるしか選択肢 がないんですが、ま、将来的にはユーザー が自分のスマホの中で軽量ライトクライア 、ライトノード立てれるようになって、で

、そこであの、例えば自分の残高を確認し たいとか、自分の持ってるNFT を確認したいみたいな時に誰かを信頼せずにちゃんと持ってる残高がこの値だっていうことを検証できるようになると思います。 前何かますか? あ、いいんですか?いいですか?えっと、 1個前、 もう1 個前せ、生徒いのは英語ではなってい ジャファイ。 あ、ジャッスティファイオです。 で、 えっと、僕、この文章見た時に

うん。 あの、信頼なしにとかって言っているけど、味方を変えると、えっと、バリデータはもうなんか信頼期間のように僕はなんかイサリームとかは見えているんだけれども、なんか皆さんなんて言うのかな? はい。 の中ではイサリブのコミュニティの中ではそんな感じではないのかな。あ、 なんでまあまあ担保だからその 32 以下払うということイコールもなんかそれは信断得出ているみたいな。はい。 はい。 感じには見えないのかな?言葉りの話だけど。 あ、ま、あの、例えこうで言いたかったのは、ま、例えばそのバリデーターが不正をし、 1

人だけでのバリデータが不正をするってことが許されないっていうだったりとか、そのじゃ、そのバリデーターが 32差 失ってもう動かない、動きませんっていうなった時でも自分で最悪バリデータを立てればとか他のバリデータが動いていれば動くってい してます。 そっか。 ま、ま、依存しないとか うん。なんか言葉書いた方がいいかもしれない。そこでなんか はい。 うん。あ、ある意味なんか担保するということはなんかなんかのその信を得てる感じがなんか中ではあったりするんだけど。 これ人に言うと多分考え方は多分違うのか。 少ないとか。

うん。 うん。 うん。なんか私の意見だと第 3 者のこの期間がなかったとしても何かその各参加してるノ度たちがその自分が今どういうところに投票してるかっていう正直な、ま、コードベースで何が起きてるかをこう正直に投票してた結果あの第 3 者に対自分がこうコート見てた結果にの結果として今札が形成されるっていう うんうん 感じなので かのなんだよね。 あ、ですね。 うん。 あ、でなんか信頼機関を信頼して何かの意思決定をするっていうよりは あ、そっか。そういう意味で 自分たちが各々のそのルールで規定されたことを、え、実行して検証してって良いってなったその用意の集合が自然としてあのコンセサスに形成あのコンセサスの結果として形成されるっていうようだ。

あ、そういう説明とま、なしでいうか。 うん。 うん。 うん。 うん。 うん。[咳払い] あ、で、その次はそれを表していって、その次が えっと、あ、そう、リスク5 の話聞きたいんですけど、僕なんか EVMっていうのはその Jで言う、 Jav思想をあの、ずっとこう継承してきたようなものだと思っていて、どこでも動く。 OS関係なくどこでも CPU考えなくどこでも動くというのが こうかなり縛られるようなイメージがあるんですけどなんでこっちに行っちゃったんだろうっていうのちょっとちょっとびっくりしました。 ま、確かにあの

X86とか割と制限されますね。リスク 5だと 確かに。 うん。なんでリスク5に交渉としている かって言うと、ま、あの、EVMを、あの 、あ、ステーブルにアップデートし続ける るっていうところに割と 限界を感じていて、むしろ元々ステーブル である命令セッターアーキクチャーに 乗っかった方がいいっていう意見が3期だ と大きいのと、あとあの、スナークやっぱ さっきZKVの話もありましたけど、 スナークを所々で使い てなると今スナークがほとんどリスク 5 で動くプログラムを証明するものになってるので うん。

ま、だったらL1のEVMもリスク5 にしちゃえばいいんじゃないっていう人が なるほど。 うん。 そういう廃覇棄があるんですね。なんか本当にそれが良いかどうか僕もちょっと正直分からない。 そうですね。 なんか効率性から見たら多分それはいい方向かもしれないけども何かこう うん。 ずっとこう縛られ続けてるような感じも うん。 してしまうので うん。 ちょっとなんか僕だったらなんか反対かな。 うん。 どうなんやろね。 でもなんかリスク5のメダセットまで 振りめした方がいいんじゃない?一般的に。

一般的にか と僕思うけど。 うん。 うん。多分EVM ってさっき言ってくれたように元々ま、ソリディティがあってさ、ソリディだからやっぱり J、JVvってか うん。 え、今Jって言うとその昔のJavi のこと知らないんで。 あ、そっか。 そのランワンスあれてライトワンスランエニアなんっていうのは僕のジャバスタートなってみんな知らないんで。 あ、そう。[笑い] あ、そう。知らないのか。ごめんね。エンジニア。 それはね、知らないんで。普通の人はそれはね、その なんか95年とか96年もそうなんだよ。 そう、そうなことなんだよね。 あの頃からそのう結局それそれそれは多分 VM っていろんな人がさ実装するけどあのそれぞれ実装が笑になるから多分実現できなくって 言語としてのジャバは残るけど

それそのそのジャバはなくあのなくなるだろうそん時みんな言ってたのが通りになってるじゃん。 ああ、そうね。だからJavは言語として 残ってるけどさ、その抜けてるんで多分 これはそのなんかフリDって言語レベルで とやるよりもまずメールセットまで ちゃんと分解した方がいいっていうのとま リスク5リスク5自体がないあの オープンソースで一応作られてるからと 多分検証性が若干上がるすごくまずいわけ ではない。 上がるっていうのはあるあるあるんだろうなって気がする。で、だからいろんな処理を組みたい時にとんかソリティのベースでやるよりは純性が多分上がると思うからま自然ちゃ自然な気がするけど。 あ、そうだよな。ま、これも人によるんかな。うん。

なるほどね。 うん。 ま、あと1 エンジニアとしては普通に他の言語でかけるのは嬉しいっていう。だからそうだと思います。 うん。なるほど。 だ、ソリディティがさ、そのこそザ事件以来さ、やっぱりあれ、あれに、あれに対する贅沢性問題でのがあって、ソリティじゃない言語 1回作ろうとしたんでね。 うん。うん。うん。 なんだけど、それもま、行けてないからだからここまで落とすのは、ま、回やりたいのはよくよくわかるじゃ。よくわかる。 うん。 うん。 ただなんか昨日ぐらいにイサムのフォーマルフォーラムにリスク 5 じゃなくてわ使えよみたいな意見が投稿されたり しててまここは多分むしろあの菅さんみたいに分かってる人から突っ込んで欲しいみたいな時期だと思いますってないんです か夢があるんだけどそれそれであの夢があったもでも僕なんかロ

マ枠なんだよリスク1 番だけだと思うよリいや、元々リスクフ5 ってロマン枠なんです。元々元々はい。 ま、オープンソースなんでスナークとして証明するに最初はいいかみたいな、ま、ミックスでやってる人とかもましたけど最初はなんかリスク 5の方がみんな好んで少年 スナーク使って証明してる なんかスタンダードにいつの間にかかってます。 なるほど。 うん。リスク5 ってロマですよ。オープン、オープンソースで、オープンソースで CPU作る。でもそれは壮大すぎる。 いや、いや、そうなんだよね。 だからギリ、ギリスとしてはそれがそ、それからやりたい。 それからなるべくスクラッチでやりたいって気持ちは分かる。 物はできまできそう。 あのそういうオープンソースのこんなこんなやつをメンタルすると結構大変なの ね。ねどうなの?ロマ枠なんですよ。永遠に

ありがとうございます。 なんか色々あった気がするけど。はい。す。はい。 ありがとうございます。 で、えっと、対量子以降に実はアカウント アブストラクションが関係していて、ま、 基本的にあのEUの大量主に2つポイント があって、ユーザーボレットの大量と バリデーターの署名限の大量、ま、あとは 例えばあの、あの、他にもちろん通信の 経路の大量とかも今議論されてはいるん ですが、主にこの2つが聞かれますと。で 、校舎のバリエーターの方が、ま、最初に さんと話したような、じゃ、署面を圧縮 する技術をどうするんだとか、まだいくつ

か課題があるのでそこの議論はます。 ユーザーの方は、ま、割と議論終わって いるというか、そんなに あのどうするんだみたいな状況じゃなくて 、もうコントラクトアカウントがリサリム に実装されているので、で、この コントラクトアカウントでっていうのは、 あの、どうやったら資産を引き出すかって いうロジックを、あの、アカウントごとに 定義できるようになっているので、まず こっちに資産をユーザーが移動移動して こっちの復方法を例えばソーシャル リカバリーにするとか大量姿勢のある知識 照明の方式にするとか大量姿性のある別の 照面方式に変えるみたいなこの3ステップ

のあの復言で、ま、割とシームレスに、ま 、もしあのEAなんか取り越されちゃう人 もあのもうあの後から復言できるよう にっていうのはできる状態にあるというの は言われています。 でも、ま、僕らあんまビットコインは見て ないんですけど、ビットコインンってこれ どうするのっていうのは僕らとしても気に なってるところがあって、あの、 コントラクアカウントがないので、もし、 あ、サトみたいにもうずっとビットコイン を保有してるビットコインなみたいな人が 、あの、いつの間にかビットコイン対量子 以降を進んでて、あれ僕どうすればいいの みたいになったら、もう、あの、後で量子

コンピューターが鍵を解明してくれる みたいな感じになっちゃ ですけど、あの、これをどうするのかって いうので、ま、イサの中にもこ、ZKVA も用いてビットコインの大量周行もでき ないかみたいな取り組んでるエンジニアも 、ま、彼、彼らがケンブレッジた時話し てる人がいたりとかして、もしかしたら、 ま、このリサムで使われてる技術が輸出さ れることもあるのかなと。 そのビットコインの話とかってなんかあり ますか?大量信号。 うんと、ビットコインの方が多分揉めてるというか、どう、どうやって移行するか揉めてる気がする。 あ、ま、まずね、まずね、と、そもそもやっぱりイサリム、今のイサリムとビットコインってあのう、なんかアーキテクチャー、アーキテクチャーっていうか、あの、データコードも違うじゃないですか。 だからそこで多分全然考え方が違うのと、

そう、 あとは少なくとも私があの後でその 3 番目のパートでも喋る喋るあのちょっと話題になると思うんだけども とそもそもた大量子以降って何ができたら大量子以降なのかあのポンセンサスがない。 うん。 うん。 あの、多分ウォレット、ウォレットを移行しますとか、そのバリデーターを移行しますだけじゃ多分済まないと思うんだけども、 何が何がすれば大量し、そのブロックチェーンは対しですか、量子計算機体制を持ったのか うん。 ていうことが多分まだと決まってないのと何をすればその移行完了したのかってことが決まってない気がする。で、これは別に対領子に限らずそもそもクリプトアジリティみたいな話 はい。[咳払い]

として多分定義されてないからとでビットコインの方がとそういう意味では議論が遅れてるんだよ彼らはそれをやりたくないとのであの議論が遅れてると思います。 もちろんそのUTX 型とね、ここあのイサリムでは多分話が違ってくるんで、 あのそれもそうなんですけど、少も僕の出ビットコインの人たちの方が議論はあんまりしてない。 うん。 あの、あの問題が問題があるというのは分かってるんだけども、あんまりじゃないかな。 うん。 何を持ってレをしこうってするのかって例えば鍵は移行できたけど OS のなんだ?あ、いやと例えば昔からほら僕らがやってる話って 過去の証明データ全部どうすんのみたいな話?

あ、そうですね。うん。 で、それは今の話とちょっと違う話じゃないで。 そうですね。 で、当然なんかあのすごい安直な考え方だとさ、なんかどっかで解ブみたいな話になるんだけど、 そうするとそこそこがさ、あの、あのトラストアンカーになるので、 あの、なるべくその、あの、サトしのビットコインの良さを消さずにあの、過去の証明もアップデートしないどうしたらいいのかみたいな話はも昔をやってた話あり、そ、それは多分今でもあるん。うん。うん。うん。 ああ、 特にビットコインだと。 最近聞かないかもな。多分イーサリアムはもうそのアーカイブでうん。うん。 だからアーカイブでいいじゃんっていうのがそのそれそれでいいんだっけっていう。 ああ。 ええ。 じゃ、いいや。それ許すんだったらそれそれ許すんだったらとかっていうのはあるんじゃない?

うん。 ま、多分インサリはファイナルティがあるのでそれでいいんだと思います。ビットコインファイナル はい。 あ、だから、あの、なんていうかな、その原子的なというか、オリジナルビットコインで言うと、やっぱりジェネシスブロックからの全部とりあえず検証できることってのがどっかで担保されてないとあの話にならないので、 もしもしその理想的なサトしを信じるのであればうん。 ま、伊ざ味1 回そこでもまた芸者ってそれそれじゃそれでいいのかって話はあのあなたそれでいいんですかって話はあるあるから多分そのビットコインの人たちからのイタル有名のクリステイズムはそこにあり うん。 それ許すんだったらみたいな。 なるほど。それは揉めますね。絶対

うん。 あるじゃないですか。 そっか。なるほど。 多分ビットコインなんがイさ今嫌いだつってやっぱそういうとこそういう時々時々 C 的なそうなのが入るじゃんっていうところが多分つものポイントだと思うんで 違えそこのっていうだったらだったらこんなクソめんどくさいことしなくてもいいじゃんっていう うん の多分いつも本当あると思うんだよね それは昔から乱合学でその死ん 取らそこそそこを取らするんだったらこうそうそいつそうトラストするんだったらこいつにこれこれとこれも別のことやらさればいいじゃん けど ア、アーカブ以外になんかちょっといい、いいものがちょっと今思いつかないんだ。 うん。で、で、だからさ、その僕とさ、さもさんとさんのさ、やったやつとかは 2020、

あ、2017 とかにやったやつとはで、その後にリークンチェンとかのウルフがやったのはうん。 それでも分散濃度で長期明はどう打つかみたいな。あ、分、分散ので長期明はどう打つかみたいな話をしてる。 でもそれってなんかいや、えっと、もう 1回なんか1 からなんか全部を作り直すわけでもないじゃん。 あの、別の点が来るんだ。 やっぱそれはそうなんでね。うん。 ああ、な、だから、 打ち直して別あの、あの、え、その長期証明スキームってあるんそのうん。 あの、あの、ヨーロッパの標準化団体が標準化してる、あの、 ま、これは別にその太領子とか関係なくて、えっと、うん。 元々元々電子署名の署名限って有効期限があるじゃないですか。 うん。うん。

で、だから署名にも有効期限がありますよね。あの、そんなことみんな忘れてるんだけど。 うん。 で、有効期限が消えた署名とか鍵をどう延長するのかっていうのがお題なわけですよ。 うん。 で、その時にとより安全な署名でくるむ一言でくる。そう、そう、そう、そう。 ていうのがそれがその長期明スキームってです。 これも2000 年ぐらいからあるやつなんですけど、 だ、単純にそれをと、あの、分散度でにはどうしたらいいかとって、元あるチェーンでも過去にデータ上があるので、 こう別のチェーンを作って徐々にくるんだ、こう ラップしながらやるっていうのが、ま、あの、うん、 大ブな作り方だったあるよねみたいな話からスタートしたんですよ。 PCC の話を、ま、色々とこ聞くんだけど、じゃ、その職証明の話みんなしないなとか思って、その例えばビットコインみたいなその UTXクソでそのカイブとかをやらない

うん。 だとすればえっとクソ真面目やとそうしない。 そう、そうなんでじゃあ鍵その古い鍵から新しい鍵作るのどうすんのみたいなかった? そこは関係ないじゃん。 でもエチの長期名って全然別の人がいるから。元々はトプラステサートパーティーがいて タイムスタムスタンプサーバーとかが打つ。 うん。 タイムスタンプなんか ででもま、それでビットコインもタイムスタンプじゃん。だけどそれを分散関係でどうすんのってのがなるほどね。はい。なるほど。 だからうん。いや、PDC のな意行の話でちょっと今回のその いや、これ実行環境のさ、これ実己実どうせ実行環境側にこうすればいいじゃん。あのアーカイブどっかでしてるしみたいな。 はい。 で、そのアーカイブどっかしてるっていうのがと許せないとするとどう分散環境で過去のデータも アップ出すのかって話

いわゆるその長期証明とかエは作ってる長期gram証明のその 1番そのよくわかるアプリケーションの 1つはPDF署名なんですよ。うん。で、 PDF署名でそのH がそのちゃんとこう表示作ったってのがあって日本からも結構コンテトベーションがあったっていうのがバックラなのかなと。 で、それはその単体のその文章に対して、あの、なんか後でそ、その、その、ま、たさんが、今さっき言った、あ、今、今安全な、その当時、当時じゃなくて、今からもう 1 回打ち直す時に、えっと、安全なものでもう 1回打ち直しましょうっていうな考え方。 うん。うん。なるほど。 で、それがその分散環境にどうやってやっていくのかっていうのは、ま、確かにある。 はい。

うん。 うん。 なので、あので、あの、ビットコインの人たちでも若干揉めてるのは、揉めてるっていうのはもうそれはそういう過去のデータを打ち直すのはと諦めてる人たちもいる。 うん。だからやいや、だから あ、で諦めていてすごいひどいひどいパターンで言うと、とりあえずもう 1回1 回か、あの、同じ、あの、そのなんだっけ?新しい新しい署名方式でとコイン作り直すで、あの うん。あの、前のをbanしちゃう。 前のやいや、なんか[笑い] banでもいいけど。 いやいや、しちゃうって。もうだからや、だからいや、もうだから完全にあの、あの、あの、新しい 100円玉に造し直て交換してい。 あ、でもそれ [笑い] す、さすが忙しいんだけど。

それ、それでも、それはだからアーカイブすることとそんな変わらくね。 いや、だからそれだからそういうま、そういうだから問題増えてないんだ。 過去のものをあるあるある時点でスナップショ取って新しいものに対して署名をバスンと打つということと新しいそのブロックチェーンで持ってもう 1 回再配布するっていうことは僕はあんまり変わら気がする。 あ、だからだから同じでしたから。だから僕そのビットコインのビットコインコア案の人たちのあるあるそういうこと言ってる人たちが今なのと思うんです。 だからまずまずアーキーキテクチャーねが違うので多分インタメってことビットコインやってることがそのまま多分イコールではないととは思いますと さっきちょっとやっぱり何ができればあとその

PQC 対応と移行が完了したのかっていうのあ定義ができてない あのちゃんとしたそれに対する合意が学術的合意ができてないと思うから それを作るのが最初なんじゃないかんだ。 うん。なるほど。 まあでも少なくもこの2つのコインに関し てはで、そのこういうこういうことで みんなやっていきましょうったら全部があ 、全部の他のものがね、あのさんが水して や同じようにやってくれる。だから変え方 は全然違くそのソリューションが出てくる かもしれんけどあのそういう形で 学術学術的です。ブロックチェーンとして うん。 ブロックチェーンの安全性ってさ、例えばイユロクリプト 2015の定義とかがあるですね。

うん。うん。 あの、4 ゲたちので、ああいうのをベースにじゃあ、あと PQC 対応するって言った時にこれができればどう PQC 対応したんでしょうかっていう義を拡証してあげなきゃいけないんだけど。 そうですよね。 そうですね。 いやも、もっともう僕は軽く考えてたけど、そう、 あ、だってその、あの、学術的トリートメントをしようと思ったらそれをやんなきゃいけないという話はちょっと最近ある人。 うん。 なんか最近そのTLS の通信もし遂行しようみたいなのがイスラムですごい最近立ち上がって 今ITFでも揉めてますよ。 あ、そ、ITFのITFのTLS ワーキングって最近そのばっかりこの話ばっかり。 あ、だITF のあのをあのメーリングリスト見るのはいいですよ。

うん。 ああ、見たです。確かに 割とその辺で立ち上がった議論が一応乗っかってはいるんですね。 したや一応だからだからレが違っていって TLSとTS でそれが使えるんだったらそっちをもう使うっていうだからそのなんて言うのイサリ向けのそのなんかそういう新しいこう戦いような気もする。 そうですね。ただITF で採用されたものをイサ使えた。うん。 それにだからそのイの人たちが ITF に提案すればいいけどしないんだと逆に 多分何も反映されないから意味ないね。うん。 それはそう思うから今のうちに言わないとって感じ。 もしなんかいい相手がただもうすぐに議論進んでるし ここなんか固まりつあり ITFの人たちはITF の儀が好きだからイサリブ財団の人たちが持ってきたところで話聞いてくれるかどうかちょっとわかんない。

そうね。 うん。 そうそうかな。 エリックいいからもう極めてエスタブしたりコニティがあそこにあるので。 うん。そう見ればタイミングはだいぶ遅い。 だいぶ遅い。 うん。 でもなんかでもなんかイサリに特化したそのなんか TLS みたいなの中別になさそうな気がするな。 うん。 ま、どっちかというとなんやっぱ UDP とかクリップみたいな早い通信を使いたいみたいなのがイされに限らずブロックチェーンがある。他のブロックチェアだと UDP使われたりとか結構 うん。 あるで速度重視っていうのはやっぱ IT もそんな変わんないと思うんですよね。 通信する時は速動だけ。 そういう意味ではクイックの方はちょっと最近見れてないな。

ま、いずれにしてもITF に持っていかないと議論をしてもらえないので、あの、やるならやんなきゃいないけども ね。ていう感じはしますけど。 うん。 分かりました。 で、次に柔軟にっていうマップグレードな んですけど、あの、まずL1、L2 ユーザーとありますと。で、L1の方、ま 、ま、これ、あの、なん、何かしらの今 使われてる方法を共通企画に置き換えて、 あの、企画だけ残ってればなんか通信の 具体的なやり方とかは有名に変更できる ようにしようっていうことが、ま、いくつ かの段階的にあるんですけど、例えばE

PBSとさっき言ったようなブロック ビルダーとプロポーザー提案者のあの、 分担されている部分の企画を今だとあの アプリ側でそういう企画が使われてるん ですけどプロトコルないでそういう企画を 採用しようっていうがあってまそうすると さっき言ったようなのはリレイヤーみたい なあの信頼されてるプロバイダーをあの 排除することができるとか のがあります。で、ま、リンコンセンサム さっき言ったようなJKVMをあの検証の ロジックしてしまうことで、あのこの署名 方式を使おうみたいなのをクラントごとに 選べるようになったりとかって柔軟になる と。あとL2で言うと結構問題されてるの

がC検サーって言われるトランザクション をわーっと書き集めてあの集約して ちっちゃくする主体がいるんですけど大体 そのオプテミズムだったらオピズのC権差 みたいな人がもう中央試験的に運用してい てまずで彼らがフィーを取って稼ぐみたい なまビジネスモデルを運用しているんです けどまここにも検閲のリスクがあるのでま ま、これをレースロールアップと ネイティブローアップっていう、ま、提案 でもうL1のプリコンパイルで、ま、こう いう例えばChandシングルールをあの やってくださいっていうことをL2のC 検サーに強制して、L2の検査はその

ルールに従っているっていう証明を0照明 で作って従ってなかったらあのL1から 弾かれるみたいなものがあります。あと、 あの、ベースローラップの方で言うと、 あの、L2に提案したトランザクションが 本当にL1ブロックに含まれるのかって いう確証がないですね。で、ま、これはL 、L2側がちゃんとL1に投げるかどう かっていうところの確証がないので、で、 これもなんか確約を持たしてあげるための 、ま、仕組みみたいのが提案されてます。 で、あとユーザー側で言うと今ボレットの 標準化と、ま、プライバシーを保つ仕組み みたいなのをイサレム財団主導で開発して

いて、これが告白ウォレッド、今、ま、 10個、20個以上は、ま、ウォレットが 少なくてもあるんですけど、ま、 ウォレットによってなんかパスキーが 使えるよとか、ま、QRでできるよとか、 メールアドレスでログインできるよみたい なのがあるんですけど、ま、そのセキュリ ティって大丈夫なのみたいなのはもう アプリに依存しちゃっ ているので、ま、それをこういうプロトコルは安全だみたいお住みつきをリサリアム大団が標準化してあげることがあります。ま、これと同様に最近あのウレットビートだっけ? L2ビートのレッ あのウォレットの表のサイトみたいなのが あってあれサイト名な何だっけ?ウッ

忘れちゃったな。あ、でもあ、多分そうだったと思う。 そう、あの、各オレットの一覧になんかこのオレットは監査済みですとか、あとはあのこの企画に対応してますみたいなのが全部一覧で見れるサイトを開発してる 人がちょっと見てみますか。ビート うん。 なんかこのこういうピザピザの入端みたいないセキュリティオレットされてから緑色されてなかったらこんな感じでグレーになったりしてる点が一段で見れてハードウェアボレットサポートとかチェーンリフィケーションとスキャム防止の機能がある みたいなのを、ま、セキュリティ、プライバシー、セルフ、サブリンニンニティ、トランスペアリにしてエコシステムみたいななんかいくつかの指標で、ま、ユーザーこれを見てなるべく緑が多いやつを、

これ、これどうやって評価して? これはあの、彼らが評価したんですね。そう、透明。 ここがあの、ま、あの、信頼されてるんですけど、ま、将来的には、ま、うん。 まずまずとすごい根本的な質問、一般的なあの素人質問として ットって何ですか?い話があって、あの、 あの、そのセキュリティの観点で言うと結局鍵管理だと思うんだよね。で、 はい。あの、じゃ、レットっていう単語で 人によって現れてるものが多分違うと思う んで、すごいそのユーザー インターフェースの部分であったりとか 会議関連でもあったりとかていう感じで ウレットって言った時にあのこの機能と

この機能とこの機能みたいなのがあって これ全部揃ってないとウォレット言わない のかそういう例えば中ハードウェア ウォレットほぼ管理機能のことあと署名を する機能ハードウェイに入った あもいたけどっていう 単語で表す ところが何になるかが多分統されてないとこは超気持ち悪いんだよね。 うん。うん。うん。 だからこれ横並びしたところで全部何のこと言ってるんでしょうってのがわかんない気がするんだけど。 うん。 それってどうなんですか? 結構広い意味で取られたです。 ま、ここにあ、そこそこそこ多分そこもと多分あの定義を決めないといけないと思うんで。うん。 だから結構ここはしっかりその辺はやってるまだろう。 あのそれそれを多分あのまず共通認識を作んなんといけない気がす。

そうですね。 で、そこ多分ね、今は多分結構めちゃめちゃだと思います。人によって多分ウレットって言って、 ま、その今これかなり出来たで、まだあの L2 ビートの方あっちは多分もうちょいしっかりしてる。 あ。で、えっと、ここのこれというこの人が言うとかイサリム財団が言うじゃなくて多分世界、世界一の何か とえとスタンダードが必要でとウレットって言うと AとBとC の機能はマンデトり必ずないといけなくて、 あの、EとF はあの、オプショナルであるあってもいいしなくてもいいっていうのを多分決めて、で、これとこれとこれがないといけないんだけど、これじゃ、ここの鍵の部分は関ですかとか、 ユーザー認証する部分は関ですかみたいな話でだんだん分ける わけじゃない、多分。

うん。 ていうのがないと多分本当はこれを比較できないんじゃないか。 [咳払い] うん。 そうそう。作る時とかってなんか研究みたいになんだろう。 このルールが絶対的に必要であるっていうあの論理的な構法構成はないのでなんか結構ソーシャルで話し合うみたいな感じになるんですか? うんとそれがまさに標準化団体が得るいることなんだけどさ、 あの、 そのわゆるその、ま、そのも、物事のそのアキテク、技術的アテクチャーってのそ変わるんだけど、少なくともこの機能がないとか、ま、例えばどんな にと変わったとしても鍵管管理をしますと

かで鍵管理電子照明まだここは多分一体な んだね。 鍵管理をして電署名をして鍵はあのインペジが入って証明は出るけど鍵は絶対漏れないみたいな部分は多分ここはも物ですかこ 1個があって それとあの署名作を依頼するとソフトウェアかハードウェアがここにあってここは多分別のものとして扱ってで これに対して本人がちゃんと意思表示をしてるかってことでなんかユーザー認証したりだとか何かするっていうなんか機能があってっていうまどんなどんな作り方をしてもこことこことこは裏がないみたいな う うん。なのはありますよね。てことをまずあの世界中の人で多分共通にしか持けない。 [咳払い] うん。うん。 うん。

で、それ多分作んないといけないね。 うん。[咳払い] うん。で、表準がってめんどくさいんだけど、皆さんにこれでいいですよねっていうのを言ってもらって、オッケーって言ってもらうっていうのをやんなきゃいけない。 うん。うん。うん。 どこに何から、 ま、美ってそういうとこ。ビギンってそういうところそういうもの作るとこなんすよ。 ああ、ま、もちろん銀はありますけど、例えばそのイサリア持っていく時に 美でイーサリウムの人が例で作ったそういうのをコンセさせてもらったら美人に持ってきてもらってこれを あのあのビットコインの人も他の人もこういう共通アーテクチャーでセキュリティとか考えるしませんかっていううん。 風にすればいい。なるほど。 で、ITF とかも同じなんで、全部全部標準化団体ってみんなそういうことをやるってことなので。 うん。

で、それがないとこの横並びっていうのが何を比較してるのかわかんない。 うん。 で、多分多分なる。 うん。 で、なんでそういう標準がそのあの、そのインサリウムを超えてそう標準が必要かって言うとと、あの、ま、もちろん標準って一般的に必要だよねっていうだけではなくって例えば今さ、アメリカだとさ、大統、あの、今のトランプ大統領がさ、ビットコインとかあの、暗号資産ブで持ちますって言うじゃないですか。 で、とことは国の国のさ、財産になるわけじゃない。で、それをなん、何らかのウォレットとかでなんか管理するじゃないですか。 で、そいつがと席じゃないとあのクリックでなんかわれると国の税金で買った何かがこう誰かに北朝鮮に渡るわけじゃない。 うん。[咳払い]そうするとさ、そう、そ

、それは多分そういうことが起きてはいけ ないから国としてとその鍵管理する装置は とこういう基準じゃなきゃいけませんて いうことをとニストがニストにお伺い立て てニストがこれなら安全だねって言って くれたものをと採用してそれに対して税金 を支払管理をしてもらってってことし なきゃいけないじゃないとそれもその国の 税金の支質だからある程度といろんな 人世界中の人がこうこれだって認めたものものを使うわけですよ。 うん。 という意味でそのそういう意味でなんかそのみんなが分かる表準っていうの作んなきゃいけない。 うん。 うん。 で、それはあとイサリンファンデーションが行ったからじゃなっていうそれは俺オになるわけ。 うん。

という意味で多分そういうその何があったらとどういう機能に対してこうなんとか安全を保ったウォレットですねっていうのを言えるような状況を作んなんでいけない。 で、今多分さっきのこのウレットビートって人は、 ま、あの、個人、個人なのかグループなのかわかんないですけど、あの、全意でこれ作ってくれてるんだけど、あの、これだけだともうちょっと弱くって、それもうちょっとそういうなんてかな、あの、分類学とかさ、定義とかをちゃんとして強くすると、あの、あ、これ、これはみんな信じられる。さっきほらユーザーはこれ見てなるべく緑、緑物作りましょうって言ってるんだけど、 ここに嘘が混じっちゃったら嫌じゃないですか。 うん。 なんかその安全じゃないなんだけど、そこからこのこのウェブサイトの作者がお金もって順位を操作してましたとか嫌じゃないですか。 うん。

順作はありそうね。 うん。 ありそう嫌じゃないですか。 バリバということがあるので、その目線合わせするのに必要で、その、うと今ギンでさ、の STPとPP ってセキュリティターゲットとプロテクションプロファイルっての作ろうってやってるんだけどうん。な んだか分かります。 あの、じゃあそのソフトウェアとかハードウェアがと確かに安全ですねっていうのをどういう風にみんな確認するか うん。 いうのでどういう風に出するか知ってます?例えば僕は持ってないけど、あ、マイナバーカード持ってる。 うん。 今ある。 今あるよ。 マイナンバーカードってあのICIC チップが中に入ってるじゃないですか。 うん。でとこのあれ、今も

EL4+EL4+この中に入ってるIC チップの安全性っていうのを第 3者認証する仕組みがあるんですね。 うん。 あのテストラブ第 3 者認証する期間があって、これのハードウェア実装っていうのがちゃんとあの例えばサイドチャネル体制もあるかみたいなのをチェックするラボラトリーがあって そこにチェックしてもらうんですよ。 なるほど。 うん。 で、それがと大きく開けて 7段階あるんです。Eレベル1からレベル 7まであって 多分4プ4あのEL4 プっていうのをとっていうレベルの とものをできなくてELと5からが決がす そうです。 おお、軍事向けとか。あ、はいはいはいはいはい。 なんだけどと4

っていうのは兵式権者は必要がないんだけどでもあサイドチャネル体制も含めてこういうことができることみたいな基準が決まってて、 それに対して第3 者のテストラブがちゃんとテストをしてで、 1個1 個の製品ごとに、だからこのマイナバカなね、マイナバカード内仕用とか例えばコピーキにあるなんとメモリとか全部そういうのがあるんですけど、そういうの [咳払い] Appleもあります。iPhone のバージョンごと はい。はい。で、そういうのって決まってるんですよ。 で、その例えばマイナンバーカードの IC チップはこういう機能が備わってて、こういうプロテクションがあることっていうのが標準化されてて、 それをプロテクションプロファイルって言う ふーん。なるほど。 うん。で、コピコピーキに出、えっと、 1番初めに出したのは多分シャ うん。

サーフィンとかそのい要何を目的にしたかていうとコン民で例えば免許みたいなのこれも含めてこうなんかコピーしたりなんかするしてこう総付したりするような時期があった自分たちは経験してないかもしれないけれどもそうするとそういうのがそ中に残ってたら嫌じゃないとかっていうことですぐに必ず消しますよみたいな聞けを えっとそういうそのプロテクションプロがえてちゃんと守ってで大切に検証したみたいな でえ と、今の今までブロックチェーンのウレットに対してそのプロチケーションプロファイルって書かれてないん うん。 で、書かれてないと大産者検証できないからそれ本当に安全なのって分からない うん。 わけですよ。で、それはその仕様の形式検証だけの話ではなくって実際に実際にとサイドいろんなサイドチャネル物理的にやるわけですよ。そのラボラトリーで

で何年もかかるんだけど でそれやってできませんでしたってのでとめ与えるのね。 で、今そのビギンでなんでそのセキュリティターゲットプロテクションプロバイル書こうかっていうとそうそうしないとウレットって安全っていうのが誰も確認できないじゃないですか。 うん。 で、多分それをやる必要があるんですよ。 うん。 なんでその体系のことをコモンクライテリア ISO15408 って言うんですけど、顧問テリアって体系があって、そこで ISの表示になってもう20年以上。 うん。 で、それをやんなきゃいけないんだよね、多分。 うん。 で、多分でもそこまでちゃんとやろうっていうベンダーさんはほとんどない。 うん。うん。 怒ってなかったっけ?なんかこないです。 行ってでそれそれとクイブレントなのがあのアメリカあの FIIS

ってアメリカの連邦政府ニストが決めるスタンダードがあるんですけど ISの140 のダシュさっていうのがそれとクイバレントその CM コモンクリプグラフィックモデジュールバリデーションプログラムってのがあって CMVP ってのがあるんですけどゴモデジュールの安全性をバリデーションするプログラムが日本にも JCMVPってあるんです。 へえ。 これも20 年以上やってるんですけどうん。 あんまりにこうなんか嫌でもう本気に出してないのでいいや。ま、それは別のあの別の問題なんだけどあって で 昔からビットコインのハードウェオレットとかもその FIPSの140ダ3 に準去してるって片書いてるやつがあるんだけど うん。

実際には準去してない。 ああ、 あの準去させるためにはとその第 3 者検証ってのを何年かかけてしてもらって うん。 大量のお金してもらって、それで サーティフィケーションもらって、それを ニストに行って、ニストに提出して、 ニストがチェックして、最後にニストが リストを出すんですよ。え、で、それで そのさっき言ったこういうカードも全部 やっと皆さん安心るっていう状態になって いて、でもあの実際にあのリスト行くと そのリストがその認証済みのリストが全部 あるんですけど、そこにああ、皆さんが 使ってるブロック性のハードレット1個も ない。うん。で、そんなこと多分やんね。 うん。 元々はその本当の仕組みで行くとその えっと暗号モジーズと呼ばれるからだから ハードウェアを今あのこれだったら

ハードウェアという風に呼んでてもいいと 思うんですけどソフトウェアも含めてそう いうそのえっと暗号文字呼ばれるものに 対してそのサーティフィケートをこう行っ てのものなんですよね。 で、僕が全職がキアノですけど、キピキアノンにいて、で、その時に暗号文字を作ってた時期がありまして、で、それをその MFP マルチファンクションプリンター、え、要はその、えっと、え、コピー機は に載せるというところがありまして、で、そこで 1番初めたというのが、 あの、僕の素人だったんで、うん。 で、そのでその時もえっとちゃんでと同じ時期にそのさっき JCV っておっしゃってましたけど日本でもその IPAがえっと計算所のIPA ねがあのそういう制度作ってサーチやるで日本で取ったら一応米国でも取ったことになるというようなそのなんかあれはどういう協定なん

どこ認協定で うん うんがあってちゃんとやられたんだけどなんかでも今 IPA は最近なんか儲からないから違う違うそのねやる人が高齢化 して、あの、継者がいなくって、あの、 いや、あれ畳んだのか。 畳ん、いや、だ、あの、畳んでないんだけどと継者がいないのでと実できない。 できないってなっちゃ本当はやった方がいいんだけど、ま、まただっけやっぱいろんなものが出てきてね。だっけ俺ともどもやっぱりずっとそういうものを多分やった方がいいっていうのは思う。 やんないといけない。やった方がいいじゃなくてやんなきゃいけないんだけどじゃないと何を取らす、また何か取らしてますよね、あなたってなる。 なんか1個もないんかとないです。1

個もないです。なんかね、見つけたような。あ、ないです。ないです。え、 一応ハードウェアボルトはEAL 取ってるものはありますよ。 うんと本当に多分テストされたのないと。 あ、そうなんです。 だ、自称、自称、 自称、自称です。はい。なんかそういうのも聞くね、たくさん。うん。じゃ、ほぼ、ほぼ全部自称です。 ていうのは、あの、本当にペンテストラブにちゃんとお願いしてやると本当に大量のお金と何年と一緒にめちゃめちゃ時間かかる。お金もかかる。コスト。 そう。 それはハードウェアがメインなんですかね。それです。同じ同じです。 あ、そうなんです。よ iOSとかもある。 ああ、なるほど。

バージョン。 例えばオープンSS でもあるバージョンまで取ってたりする。 うん。うん。 うん。 あ、あの、想定のそのオープンソだからそれそれも同じでやっぱりやっぱり共通のものをこの業界は作り出せてないから [咳払い] 本当はそこまでやってやっと一気通感するんですけど。 あ、 で、でもそういうそ、そういう仕事は儲かない仕事だから、ま、あの、あの、誰もやりたがらない。 そう、そうですね。今僕がちょっとメモしたのはテクニカル セキュリティ、クライテリアね。クライテリアをまとめて標格活動が必要なでしょう。 で、もう1つ僕は持ってるのはEUDI オレットっていうその、ま、モレット、モレットでもちょっと違う ものなんだけど、そっちは実はちゃんと基準が決まってい

うん。 で、コフォーマンスペストっていう言葉で、あの、 Google と、あの、ちゃんとどういうクライテリアでやってるかで見えたりするから、それにこうなんかな、並ぶ形とかで、僕は想像してるのはああいう、その EU ウォレットをとその暗号師さんでも扱うっていうのが結局なんか根本的に根本のところっていうのは鍵管理のところだから一緒に使いようになったらいいのになとかっていうのずっと思ずっと思っていてダメなの。 うん。[笑い] 俺はずっとそう の方しない方がいいじゃない。いや、だってさ、その EUIDでしょ?アイデンティの IDデティウォでしょ。 そう、そう、そう。 あのEUアイデEUEU のアイデンティウォレットって うん。

そもそもその EU のたくさんの国でこう使用とか常に揉めるじゃない?うん。揉め でそんなのにとブロックチェーンウォレットの使用かそういう政治にそのイサリムのウォレットが巻き込まれるの嫌じゃん。 し、使用決定に あ、嫌だと思うよ。けどだからユーザーしてる。だけどと EUEU のアイデンティウォレットのまずいところは結局国でアイデンティ体系違うのに同じボレットで処理しようとするから使用策定で揉めてな何年も何十年も多分できない。ちゃんとちゃんと運用されない。 いやいやちゃんときちゃ運もうもうなんかいやもうもうほんま始まるってなってるよ。 運用されないわけ。運営されないわけ実際ちゃんとは その先生も頑張ってみたい。

でも多分運用されないわけ、ちゃんと。 いや、頑張って、頑張って。お、あ、だからつまり、つまり、おつまりはそのさ、国の、国の政治が絡むわけだ。 で、国の政治が絡むものにと同じ同じ同じボレットを使う使うことでイサリームの自由にやりたいものが こう使用策が遅れるのがさ、引きそれ引っ張られるの嫌じゃん。 分かる。 分かるけど分かるけど俺はユーザーから見たらどうせ同じものやるんやったらそっちに俺はこう勝ちその そうとさもう1 つはとこっちこっち側はそれこそさチパーティーから何から高気の番号から何かどんどん新しいの突っ込みたいじゃない で一方でいいのアイデティボールとってそんな重要性がないわけ 一応なんか EVM的なものねてか JV的ものが多分

いや僕でさっきなんでさっきそれがさそのリスク 5 にが分かるかって言ったらその柔軟性があ だ。 あ、まあね。 あ、つまりあのアーキテクチャーにその VM を揃えると新しい技術を入れる時に入れやすいんですごい。 分かる。わかる。よくわかる。 我々がJカードでJ で新しいアルゴリズム入れさ、めちゃめちゃ苦労するわけじゃないですか。それあれ Javしか動かないからそこにさ うん。 その全然当たらその高気の暗号入れようとするとすっごいクロするわけ。 Javaで書かなきゃいないから。 うん。ジャバカードじゃない。 じゃ、じゃ、じゃ、Javaのカード、 JavaVMがJAバカリン グとか知らないの?カードリングってあのリング いやいや、その結婚指を見てここにそのなんかの

ハードウェアのチップで動く、 Jが、J のアプリレットが動くってハードウェア。 そうするとだからそのなんか JA で書いたロジックがあったらそれで簡単にポーティングできるじゃないですか。 あ、確かに。 っていうのでやったんだけど結局その Jav のそのマシンマシンコードしか動かないからなんか新しいその暗号のロジックそれこそうそれこそその ねとダ園を使ったなんかペアリングを入れようとしたら途端に積むわけより前だけど あけどいやいやだからそういう時にはそのなんか AP が用意されていてそのそこから使えるようにしとけ でもJavは無理だった うんそうね シャープのジャバカードは無理だということでそうい つだった1995ぐらい

でとというのがあるのでやっぱりさ、やっぱりその あのEU のアイデンティウレットってそういう感じでその政治的な状況で色々引きずられるものにこっちのさすごい柔軟に新しい技術がもうも出てくるものが合わせるっていうのは事実ないね。 スナークとか乗らないよね でしょ。だからないんでない。 ま、そうですね。 多分開発サイクルも早いですし多分なんでイサリウムはあのバグが見つかったら直してくみたいな方針取られてると思います。 マイナーカードもそんなエリアなかったっけ?昔言ったけどね。 いや、マイナカードもそのがそのアプリケーション企業がアプリケーショあのだからでも基本的に Jカードにあんまりなくってその

JavのJavのVMそのものにはさ とあのネイティブその一応 CPU のネイティブが叩けるさ別のさ裏口があったわけじゃん。 うん。 なんだけど Javにそれは多分インプレイされてない。 ないんか。 だってその人が、その人がだってさ、シャープのさ、マイクロコードとかって叩きたくないじゃん。だってはい。うん。 API で吐き出してくれてるだけで違ったけど。 うん。 なのでさっきのそのリスク5 に行きた、行きたがる気持ちは超分かる。 なるほどね。僕はなんかそうと思 うん。 うん。 あとは、ま、検識検証と書いたけど、ま、さっきその話から大丈夫かな。検証の話はやっぱあれか。 うん。

ありがとうございます。 次に分散性保ったまま早くってところで、 あの、ま、主にさっき言ったブロックの レイテンシとファイナリティをどう縮めて いくかっていう話なんですけど、ブロック のレ天使の方では主にこのブロックレベル アクセスリっていうトランザクションを 並列処理することで、あの、実行を早くし ようっていう試みとあとあの データベリティサンプリンっていうあの ブロブのトランザクション数ま、L2から 含まれる、え、トランザクション数を、 まあ、1000個とか10万個とかが1つ のブロックに、ま、含まれはしないです けど、1つのブロックタイムで効率的に

検証できるようにしようっていう2つの 仕組みがあります。で、上のブロック レベルアクセスリストの方は、えっと、次 の次のアップグレードで一応もう入る予定 です。なので来年の多分8月9月ぐらいに はメインネットにはい。で、データビティ サンピングはえっと次のアップグレード ふカっていうアップグレードが12月3日 に予定されてるんですけどそこでピア DASピアダスっていうものがあの主に ネットワーク層ピア2ピアソの部分だけを アップグレードしたものが段階的に入る です。で、その後にも、あの、もうほ、

本当のダスが来るっていう感じでなので、 次のアップグレードで一応1つの1 ブロックあたりグロブトランザクション数 が今だと6個しか入んないんですけど、 332個だったか64個だったかは入る ようになるのでL2のTPSはだいぶ配信 されるという風に ファイナリティの部分では3スロット ファイナリティっていう確定時間を3 スロット、ま、1スロットはあのブロック タイムのことを指すんですけど、3 スロットに短縮しようっていうものがあり ます。で、これはもう提案としては割と 固まっているんですけど、ま、あと他の

ブロックチェーンとかだと例えばソラナと かで対応され、採用されてるコンセス アルゴリズムとかPFTとかだと基本的に シングルスロットファイナリティっても 入っているんですけど、ま、 トランザクションの、ま、ブロックタイム とファイナルティタイムが同じっていう。 ただイサリウムでそれをしようとすると、 あのイサリムってバリタは100万台とか いるので、あのその100万台がこの12 秒のうちにその100万台の2/3の証明 を集めるってなると相当時間がかかっ ちゃうので、あのこの分散性を保ったまま ファイナリティ自体時間を短縮していくっ ていうのが割と大きな課題になってます。 ファイナリティね。ファイナリティの操作が一応あるのか。投票投票してね。

でもさ、投票でさ、別になんかみんながポチポチするわけではなくて自動なんじゃん。 だからこう そのそれは本当にコンセンサスアルゴリズムなのかっていうのよくわかんないんだけど。うん。 うん。 ね。なんかうん。 なんて言うの?こうけ、これは排除してこれはオッケーっていうどこで決めてんの?なんかあんの? ま、ま、一応ブロックがちゃんと検証がパスしたかったですね。ブロックがちゃんとそんな感じなんですけど、そういうほぼほぼだけ確定的ではある。 ま、そう、自動着機能ぐらいな感じです。 そっか。そのブロックに他の人が 例えばそのローカリティみたいなの があって、その中国から来たやつを嫌だとかいうやつももう本当はおってもいいわけじゃん。

うん。 はいはいはい。 そこまでやってないんです。 ま、もしかしたらバリデータによってはそういうのやってるかもしんないですけど。 うん。 でもやっぱりあのこれなんか美人投票みたいになっちゃいますけどあの自分だけがマイノリティになるとスラッシュされちゃったりとかそういうリスクもなくはないんでなるべくみんなが投票するところに投票したいっていうインセンティブが うん。 あります。 ありがとうございます。 そう。いや、金ないからさ、バリデータなれない。 ああ。 え、 3223。今だと1600万、2000 万ぐらい。

2000 万ぐらいです。もうちょっとか。ちょっと下がった。結構下がりました。 2000 万を払ってなんか趣味はちょっと嫌だ。 うん。 一応なんかあのサービス使いは 1 差だけ預けてやっぱりデータを走らせるようなサービスもあ あったりするです。 うん。 はい。で、ま、さっきもチラほラ出た直近ナップグレードで言うと 2日がもう来月頭にあります。 あとなんで4日ぐらいでグラムステルダ ムっていうのがその次のになっていて それぞれリアダスっていう主要技術と EPBSワルズ ポシルま主要技術とか入るとでそれぞれ

ユーザーへの影響とノド運用者への影響 こういう感じであってま基本的にユーザー には対してはまL2のTPSがするとかま いいことがあるように設計されてるんです けど濃動業者に対しては必ずしもいいこと があるわけではなくて、あの、ちょっと だけネットワーク負荷が高くなるように、 あるいはCPUの負荷が高くなるようには なるけど、 あの、ま、ま、そんなに問題ないぐらい までならギリギリまで増やしてこうみたい な。今だとなるべくバリデーターは負荷を 抑えてあのハードウェア要件を下げ るっていうのが最初に取られてたんです けど、そこ割とあの他のものとのトレード オフを取るように多分ちょっとずつ

ちょっとずつ負荷は上がり ます。 ピどこで運用してんの?AWSAWS多い すよ。AW34割ぐらいは うん。 落ちたした時になんか騒ぎになって AWS そうですね。なん、ま、やっぱりでもアメリカリージョン多いんでしたら大変ですしうん。もちろん自宅でなんかやってる人たちもいるかもしれないけど。 そうです。ただレイが低ければ低いほど 特仕組みなんでやっぱなんかアメリカで

立ててる人いた多かったら自分たちも アメリカで立てたいみたいなニズ出ちゃう と思いますね。 そこはどうどうしてそういうことになるっていうの? そうなると、ま、ま、今のブロックを構築する人が分かれてるって話をしたんですけど、構築する人が待ち時間が増えるので、 あの100他の人は100 個しかあのトランチ見れないっていうのが 120 個見れるってなるとその分の利益を最大化できる確率が高くなったり でそれが転士が引ければ低いほど待ち時間 なるほどなるほどこで このブロック構築者同士もオークション で戦ってるんで、そのなるべく長い方がオークション勝ちやすい。 なるほど。うん。です とか、あとは天高いとあのさっき検証する自動のでなんかスタンプすみたいな仕組みがなんか遅れちゃって報酬もらえないみたいなのもあったりするんでなるべくそういうミスロットを減らすために転を作った。

で、 最近ようやく言われてるのがイサリアムで も形式検証やろうぜっていうのがあって、 ま、さっきのEBMの仕組みもそうですし 、GK、GKBもそうですし、看の使って 乱もあるものをなるべく形式検証して安全 であることを数学的に明しよう試みがです 。 ま、僕らもそういうのベッチで、え、聞かしく [笑い] 停ちょっとだけ詳しいんだけど、 ちょっとだけ分かるね。 ちょっとだけ分かるんですけど、と、形式権章の 1 番の鳴きろっていうのはとそのフォーマライゼーションが正しいかを うん。 誰が誰が保証するか問題でそれは結局人が保証するんですけど、 どうやって保証するんですか?

そうですね。結局しかないっていうのはあると。 いや、だからそれはもう大昔からあってやるのがあのはい。うん。 なので結局はそれはなんか誰かに作得してもたくさんの人に作得してもらってどうやらなどらが穴がなさそうだっていうのを結しかないう からじゃあその毒者ってどうやって集めるんでしたっけっていう うんうん あのつまりメタには溶けてない うん うんそりそうだと思います そうですね一応そういう形式検証スペシャリティ持った方を多分結構なんて言うんだろうグラントとか出して取り組んではいるんでまある意味者でもあるっていうこ ま、あとその全体的にそうですよ。イサリアムはオープンにしてるから悪いことがあったら 誰かが指摘してくれる

はずだっていう。それ嘘じゃないですか? あのオープンソースにオープンソースにすればそのコード安全になるっていうの嘘じゃないですか? そうそう。あ、そうですね。 それはその無限のリソースが常にあるならっていう大前提があるからさ。 透明そうですね。 透明で性を保つことで、 つまりその目がたくさんあればいいってのは目が目が無限にあれば無限にあり続けさえすればっていう大前提があってそれはありえない大前提だから うん。うん。 そうな。 で、だからそのう 2人がよくそのDLS1.2とか1.3 のバグをやってた時 1.2のだよね。 やってた時ってのはあのオープンSSL のプロジェクトがそもそも結構財政的に破綻をしていて 直すやつがいないわけであ、なるほど。

はい。 つまりオープンソのプロジェクトて大抵財政的に破綻してるから、あの必要なフィックスをできる人がいないでまだオープンセルは人がいる方の それでも破綻したんだね。あに そうです。 うん。ジラだ。モジラモジラファンデーションとかしかさ、お金は出せなかった。 うん。 うん。 っていうていうのと同じで、あの、それの複達がその式検証のフォーマライゼーションをチェックできるやつなんてのは世界に何人もいないから、 そうです。 どうするんでしたっけみたいな。 そうですね。 ま、あの、自分がやってて思うのはやっぱ 自然言語よりはそのなんて言うんですか、 定義と明題

を少なくともかなりしっかり 見れば自然言語の証明よりはその照明の 論理演算部分的に保証されてるんであの、 なのでそのISOの2918 っていうそのプロ暗号プロコルのあの検証 は あののはプロジェクトリーダーで エディターだったんですけど、あの、あの プロジあのアリスは僕は作ったんですけど はい。 結局まずと形式検証ってのはアシュアランスはできない。 アッシュアランスがセキュリティが安全もうこのレベルのセキュリティがありますっていうのを足はすることはできません。 うん。 で、検証って基本的にはあとま、シミュレーションにしろ何にしろあるある程度これぐらい頑張って頑張って探したけど見つかりませんでしたっていう うん。

どれぐらい頑張りましたかっていうのでなんかレベル分けができてでそれは ざの目がどれぐらい荒いか細かいかぐらい話じゃないですか。 [咳払い] うん。はい。 うん。ていうことしか言えませんと。 だから全く全く安全だったことは回しはできませんの多分大前提をつけなでその次にじゃそれはどれぐらいそのざの目があ細かかった洗いですかっていうこともなんか形で見せないといけないしそれ自身もこう 第3 者に見てもらないけないって意味では結構なんてうかなこれを使って安全安心だねっていうためのその 実際の その我々さそのあの検証ツールとかさあ大好きじゃ あ、すごいギリ切れた方が大好きちゃんでもその周りに必要なさ、実はさ、あの必要なことってのがたくさん、それをどうするかのがぽどう 多分大変なんだよね。

なるほど。 あの、うん。実際あの全部さ、コードとかさ、あの、検、形式検証で書いたあれに落ちてわっとやってる時はすごいさ、我々としてはすご心地いいんだけどさ、 心ちいいね。 うん。 のその警式検証が正しいことの第3者検賞 誰がやってたんですからあまなのあのその TLSのだから議論としては多分一緒です 。あのだからあと あとはもうまこの人たちが納得すればいい やぐらいの話だからもうあのだから やっぱり足アはできないんだよね。だ まぐらい頑張ら のでまこ範囲においてはまあ多分攻撃って のけないよねていう以上ていう感じです。 うん。

それってちなみにそのなんて言うんですかね?ソルバーを使う系の停止検証って感じだ。 あ、両方多分多分それはさ、伝統的なその あのとりあえずとりあえず状態線をなるべく食い尽くしタイプのもあればあともあればあと定理証明みたいなもあると思うんですけど 定理証明はテレ証明で限界があるじゃないですか。 ああまそうです。 で、それをど、どっちのツールを使ってで、どういう限界限界が限界があるってことを承知の上でやってますかってことが明らかであればいいと思う。 はい。ああ、そうですね。確かに だいぶ今イサリア員というかその定理証面側に寄ってると思うんですけど うん。でも異常にしても限界がどういうとこに限界があるんですかとか ていうのを明らかになってる人がある。

うん。うん。 そう。 で、定理証明の場合は逆に言うと定理だったり本当に形式って本当にこれ合ってんのっていう うん。うん。 ところがすごい課題になるはずで。 そうですね。おっしゃる通り。 まだこの状態をとりあえず、ま、あの有限だけど、有限状態だけど、あの、できるだけ見ますって方が うん。 そこの心配が少ないんだよね。 うん。そうですね。確かに。 で、そこはトレードプってさ。 うん。うん。 うん。なんか見せるやってるとか。 ああ、確かに。確かしようかな。 えっと、繋ぐ。 ここ。 あ、そうする。 うん。繋でもいいし。こ なんかそれでパッと見せてもいいし。 なんかあった。えっとどうしよう。 TS1.2

フォーマウメソッドって言ったら自分の昔の資料が出てきたけど、こんなこんな発表したっけということのが出てくるな。そう、 それ。うん。 うん。 あの、少なくともだから、えっと、論文化されていて、トップカンファレンスで論文化されているものに関しては多分それでオッケーかなと感じはするけどね。 うん。 でもある意味なんかツールを使った形式検証って昔からやり尽くされたて 多分やりましただならないんだよ。 タスクレーマーとかが出してたのってたまりね。 そのドラフトのな、なんか 10何ぼとかなんかその説 だからあれです。そのISOに2918 って僕らとキャスクレマで書いたん。

うん。 そうそれはそうです。 そう、僕らと僕とさ、さ、の宮崎君とさ、 大塚さんとさ、3 人でとキャスクレイマズまだあの時 PDの学生で うん。 で、あのデイビッドベジンってのがその指導教官でデイビッドベジンとキャスクレマスと我々 3人で書いたレポートがあって、それを ISにさんやり。 うん。 これで、あの、自分が 先週先々週、あの、キャンズっていう国際学会のポスターで発表してきたんですけど、 あ、はい。はい。 えっと、ま、リーンっていう言語を使った形式検証の自動家を AIエージェントでやりましたっていう

やつですね。 で、えっと、ま、基本的にと大強調したい こととしては、えっと、どこだろう? あ、まあ、なんか数学かけるリンのAI エージェントでの自動化みたいなのは すごい活発で、去年今年で論文がすごい 増えてるんですけど、それを暗号に適用し たっていうのはなかったので、そこをやり ましたっていう話と、あと、ま、証部分を 実際にどうやってやってるかっていうのは 、えっと、ここはちょっと分かりにくいん ですけど、基本的には、あの、単純に分割 統地と言いますか、あの、ま、困難は分割 せよみたいな原則に基づいてAIに証明さ

せようとさせようとして難しいで彼が判断 したらそれをあの、ここは成り立つことと 前提として難しいとこだけ聞い出してここ 証明完了。で、次またここだけに フォーカスして証明をしていこうみたいな のをラウンドっていう単位で繰り返して、 え、やっていけば最終的に全体が証明 できるよねって形で、えっと、この形で 実際にそうですね、イーサリアムで使わ れる大量署名の一部警止検証に成功しまし たっていう形で発表しました。 ちょっと雑ですけどなんかあります。 カずかず僕実行員だったんですけど。

あ、そうなんです。 はい。あの、行けなくて、で、あの、 自己委員長と喧嘩しましたです。 ま、今まで立かねつって。 ああ、なるほど。 で、ポスターとかもあの本当は決ま、あの、やることは決まってなかった確定になんかポスターやるとかって言い始めたけど、 あ、決まったんですね。 へえ。なんかすごいあれが そうだめか。 むちゃむちゃだったからその怒ってやめました。 めちゃめちゃ結構でもめちゃめちゃやなって僕思い あ、でもそういうとこも発表されてるです。フィードバックはいましたか?

あ、そうですね。なんか そう実の方から、 あ、そう。柳さん、 あ、や井さんうん。 が、ま、結構面白いねって言ってくださって、ま、もっと上のカンファレンスを目指せるよと思うよって言うて さん何? 何でもない。 やさん自己委員長ではないんですか? 自己委員長宮先生。 ああ、宮。あ、 ああ あ、そう。なんかあの缶の Tシャツのスワックがロゴが 4年前のS 社のロゴと全く一緒だって話ってい 色が宮県だから宮路先生が 作ったじゃないか。宮 先生が実行委長で先生 あのだいぶ前からちょっと経過しました。

あ、そうなんです。 いつもうごめごさい。 大量署名の検証って何やってんですか? あ、これはでも本当一部なんですけど、えっと、 XMSS っていうのがハッシュベース書名を何を何を検証してるんですかっていう。 えっと、それの手前にある T トップシングルレイヤーっていうエンコーディングスキームみたいなのがあって、 それのえっと 衝突しない。 あ、衝突体。 衝突体制。 何?えっと、前提というか、こうなんかいだから入れるじゃん。これを前提条件にして氷みたいな感じしてなんか入れていくんですか?氷、氷的には何を入れ、何を?

あ、氷的にはもうリンで土台になってる 3つか4 つのものしか使ってないですね。その新たな氷は追加せずに。あ、 例えばどういうのですか? えっと、えっと、 そもそもこうパパートとして、えっと、パーツとしてっていうかうん。 でいいのかな?楽しいかな? なんかそう難しいんですけど、えっと、ま、論理の違うか、明題の外性理とかなんかそういうやつですね。 外性 なんか明題大題と明題が同じであることの氷みたいなやつとかすごいその片理論のすごい低レヤーの氷が基本的に定められてるみたいな感じだ。 XMS ってその発関数が安全であること条件だったりすると思うんですけど、その安全性とかっていうのはなんか入れ入れない。 あ、なんであのそうそうえっと誤解されてるがちな気もするんですけど別にこれがん量子体制があることを証明したわけではないですね。

でうん。なんで周 関数が安全であるみたいなのを、ま、氷で 置くみたいなイメージですよね。 ま、確かにそう、それでもいいんですけど、それは、えっと、ま、そこ自体を別に検証してないって言うんですけど。 あ、そうなんだ。なんていうかうん。 その形式検証別の人がいるんだっけ? いや、ここは少なくとも俺がやった方がいいかなと思って勝手にやってたらそうだから不明。それは だやられ本当にやられるのか。 生数は他の人検証したじゃない?

あ、いや、してない。 しない。 うん。あ、そうなの なんでまだ誰もよね。 世界で誰もしてなくて僕が 1部分ちょっとだけ までもあんなにガンガンかませればまあ大丈夫かなとまみんな思うよね。 うん。 まあなんでもちろん全体はやりたい。うん。 そう。 みんな意外とやっぱスキスナップの方を最初のしたで KZGのクメットスキンとか うん。 フィアットシャミアの前生とか 検してるわ。 うん。 なんかあっちの方が早く多分来るからリンエグゼキューション さっきのコメントに戻るとだから検証の限界というか あのそれではと見切れない部分はどこなのかっていうところの正し書き付きで色々 だからやっぱ刑式検証もあのあの刑式検証を使った暗号プロトコルの現象って大体さ

1985年ぐらいからあるんだ。 うん。 あ、それぐらいある。 うん。 うん。 あるあるんですよ。 で、その辺がむしろ盛り上がってたっていうイメージも勝手になんか宇宙学とかって あのまずと暗プロトコルの前にと形式検証って何で起きたかって LSIなんです。LS、 LSI の設計のバグを見つけるのに書を使う ハードウェアハあのまだとちっちゃいんだけどその インテグレそのその LSI ができた頃からあれの設計バグを見つけるために決証ってのがみ出されて あしました。 で、それを暗ポとに使おうと思ったら 1980年代の後半からなるほど 本当にすごいすごいすごい単純なでもいいや本当にすごい単純なあの 原子的なこのその認証プロトルみたいとかね うん

なんですけどとにかくもこうどこどこに限界があるんですかっていうのとセットで結果が出てこないとある意味結果の出し方としては不正誠実なんでね うん 決席検証できましたっていうのは皆さん宣伝しがちなんですけど う 確かにその、ま、ありえない氷みたいなのを追加したらビルみたいな。はい。とかだからなのではい。あの、これは散歩症になってますとか、ここはここはこのツールでは見けれないんだけども、ツールに見切れる部分はここでここの部分に関しては検証していきましたっていう。 そうですね。確かにもっとそれは正しき うん。が必要必要なんで。ただあの皆さんそういう風にされないのでなかなかあの あそう自分が次心が

てかそうしないと多分は意味がないと思うんだよね。 うん。[咳払い] そうです。 それは うん。 ネザーマインドのイントマックス形式検証のやつとか正し書きは一応下の方に はい。 そうすじゃめなんでだから そう。ちなみにタイトルではこのプロトコルを検証しましたって言いつつ うん。 あ、そうなのね。 1 個ありますよみたいなあとかは一応そうするちょろっと僕は不防正だと思うんだよね。う ん。とかは交流を一応追加してたりするんで うん。 ま、それもちゃんと正しい仕がもちろんされてる。 一応なんでアカデミックペーパー作ペーパーがその特にセキュリティ業にどういては必選したるかって言うとセキュリティって基本的にはリスク 0がない

じゃないですか。あの、ま、ま、 100%ってのはないので、必ず、 あの、どんな確率かでわかんないけどアタックされますと。 うん。 で、アタックされた時にとリスクアタックされる、アタックされた時のリスクってどれぐらいあるんですかっていうことを把握しておく人必要がありますと ビジネス的に。 うん。うん。 で、そのリスクをいくどれぐらい残存してるかっての把握するためにはそれぞれのコンポネントかレイヤーとかでどれぐらい残存あのこれはと保証できないアサンプションとして置けない部分ってどこでがあるんですかってことが正確に積もれて初めて全体のリスクって握できるじゃないですか。 うん。 そうすると例えばと産体数問題は安全ですとか はい。 あってそれはもうアサンプション置いていいじゃないですか。 うん。

問題が安全だったらとこの署名はこういうリラクあのができるからこの帰宅効率で安全て数学的証明つけられるじゃないですか。 うん。そ うとま、そこまでは散歩者ておいていいですか?そのリダクションはま認め認めましょう。鍵長これぐらいすればいいから。 うん。うん。 そうすると残ってる部分はここだからと じゃあとビジネス的なそのリスクマネジメントここだけ考えてくださいっていうことがだんだんこう考えなくていいところを増やしていけるじゃないです。 あ、めっちゃいいですね。 で、で、増やすために証明って必要なんですよ。 うん。検必要ですよ。だからこの正し書きが必要だっていうのはそのどこがとアサンプションで置けないんですかっていうのをあの明確にするためにそれがそれそこそが重要 うん うん違いない

でででそのセキュリティの世界でなんで作得論文が必要かって言うとそのその主張本当に正しいんですかってことを第 3世再検査としないと 穴があるからなんですよ。うん。うん。 はい。例えばこれって暗号セキュリティ業界特殊がなんでアカデミズムが重要かの 1番の1番の大きな理由で うん。 だ、例えば検索技術とか全然違うところってあれって学会発表しなくていいんですよ。 うん。 動きゃいいから。 なるほど。 なんだけどセキュリティに関してなんで学会活動が必須かっていうとそれなん。 うん。うん。 うん。 だからこそ正獣。 うん。 そうですね。 それはすごい。ま、読む側としてもその方がだいぶ読みやすくもなると思いますし、自分も心がけます。 うん。

じゃ、戻りですか? うん。時間もどうどうな?結構使ってる?ぐらいですか? あ、時間。 おお。 結構 マジか。今、今ネザラ、ネザーマインドか。オッケー。 あ、はいはいはい。 うん。 書いてない。書いてない。 うん。うん。やりました。い だからだからやめてほしい。や、やめてほしい感じ。 [笑い] そういうのって不正ずだと僕は思うんだよね。 で、あとはイーシャリアの実装の セキュリティ対策も何段階か講じられてい て、ま、こういうバ理の頂上みたいに メインネットに行くまでにまず専門家の 監査を経て、次に公開での監査コンテスト

があって、ま、ここに、ま、我々も参加し たんですけど、その後メインネット ローンチと同時にバグバウンティが開かれ て、ま、誰でもメインネットローンチ後も バグを報告し ま、それがあの認められたら直される みたいなこの割と段階的な仕組みによって 、ま、まずセキュリティ対策がされてます と。で、加えて実装の方でもガードがあっ て、ま、大きなものとしては候補合性と フェイル制服機構っていうのがあって、ま 、候補完成で言うといつも前のバージョン に戻せますとなので、ま、もし本当に なんかザダオみたいなことが万が一あった としても、あの、1個前のバージョンに

戻して動かせるっていう、ま、本当に最後 の壁ですけどあります。で、ま、そこまで じゃないけど、何かやばいってなった時に はフェールセーブがあって、例えば今回の ケアに何か問題があって通信できないって なった時にも、じゃ、従来使ってるような L1にシンプルにトランザクションを投げ るっていうことを使えば、あの、問題を迂 して、あの、システムが稼働でき るっていうような状態は保たれてます。で 、それに加えてクライアントの多様性が あって、これあのクライアント実装がこれ だけ今11個ほどあります。で、えっと、 エグゼキューションレイヤーと コンセンサスレイヤーでそれぞれ5個6つ ってあるんで、ま、エゼキューション

レイヤでこれを、ま、5×6のあの パターンがあると選ぶクライムを動かす時 に。で、もしこの1 個の実装に重大なバグがあったとしても、あの、他の実装が大丈夫であれば、あの、ネットワーク全体が止まることはないっていうような風に担ぽがされています。 ね、ここもさっきの話とさ、一緒でさ、まずバグバウンティっていうのは、えっと、重要な取り組みだと思う一方で とバグバウンティがこれとと例えば 100 件報告されたらバグが収束しましたって言えないじゃないですか。 うん。 で、えっと、さっき言ったその、さっき言ったそのコモンクライテリアのそのプロテクションプロファイルみたいなものがあって、あ、あれがあると 全体としてこういうところまでできてればオっていう逆トップダウンであのセキュリティの範囲が定義されますと。うん。

なんだけど実際にこうそのさっき言ったそのテストラブが何やるかって言うとバグア、バグ中ではバグバウンティのをたくさんやってるわけ。 うん。で、えっと、それはさ、どっちかと ボトムアップでこう実際にこういろんな、 ま、有力なケースだったり、有力じゃない ケース、Hケースも含めてやるの両方やっ てるからラグバウンティでを僕 ブロックチェンの業界の人たちでちょっと だけ気に食わないのはバグバウンティの プログラムを主催してたりするとそれで そのプロジェクトがセキュリティに たくさん投資してますっていう宣伝のため にやるケースがあるわけですよ。 だけど、バグバウンティにお金を出してるから、そのプロダクトだった、そのプロジェクトのものがセキュアだっていうのは言えないじゃないですか。 うん。

うん。 だからやっぱり両方なんだよね。 うん。うん。 でも一方でそのさっき言ったテストラバーガンティしてるのと一緒で、あの、そういうその活動自体は必須なことだからやんなきゃいけないんだけど、多分両方セットなんで。 うん。 だけどなんか割とこの監査でとバグ バウンティと監査コンテスト組み合わせる みたいなのが、ま、こう段階的にいろんな 人専門家だったりホワイトハッカーに見て もらうことをしてるんですけどなんか別の だからそのね、そのさっき言ったそのあの そのさっき言ったその実際に こういうセキュリティ機能があるべきです とでこういう攻撃に対応できることが必要 ですっていうセキュリティの定義で性質 こういうセ

セキュリティの性質とかこういうこのボジュールはこういうことができてることみたいな うんと満たすべき性質みたいなのが先に定義されてる必要があってうん。 多分そこがこう不明なまとりあえずバグ発見したらバグあのあのお金もらいますみたいな感じになってると思うからそれってモぐら畑叩きに近いんだよ。 あ、 なんか一応このクライアントごとにその満たすべき仕様みたいなのがごとっていうか、ま、セキュリティの話はちょっと違うかもなんですけど、エグゼキューションレイヤーの満たすべき仕用、コンセサスレイヤーの満たすべき仕様みたいなのがあって、 で、それがセキュリティのリクエイメントのバージョンを作んなんだけないです。 そうですね。そう、 そう思います。 うん。 じゃないとあの、潜きになってるんでね。 うん。

うん。 ま、あとそれぞれやっぱスコープが区切られてるので、例えばあのなんだろうポイント経由の攻撃はスコープ外だったりとかするとそれを報告するインセンティブがないのでそういうのは放置されがちになっちゃった。 というということで多分あのモぐ叩きなんだと思いますっていう 今今のところね。 あ、で、それが別に悪いって言ってるわけじゃないんだけど、多分モぐ叩きだから。お、それだけじゃちょっと足り足り、それこそさ、あの、イーサリムにかかるお金が増えてるんだとそれたら、あの、もうちょっとやるべきことあるよねと思う。 うん。 ま、もしかしたら今その監査コンテストとかで、ま、何%センのネットワークをあの遮断できないとかなんかそういう要件がありますけど、それを僕らでも見直してもっとこういう要件にした方がいいんじゃないかと思いなので、えっと、 いや、これだからビギンでやってることなんで、あの、ギンにも貢献して欲しいんですけど、と、世の中のそのね、プロテクションプロファイルのエザンプルを見てもらって、

は、例えばで、 IPのページ行くといくつかエザプルがダ で、そうすると世の中のハードウェアの例えば暗のプロテクションプライスってのはこう書かれてるっていうのが見れると思うので あ、それあのニスタのページに行けば英語版見れます。 うん。 そういうの参照してもらうとく既のね え、 暗語モジュールってこういうことを考えてるんだっていうのがあの見てもらえるのでその辺 ネットから漁ってもらえるといいかな。 うん。 なんか鉄ト機関て日本まだあるのかなと思いもうなんかあの僕の知ってる某 某あのあの金融端末のペンテストはあのカリゴルネアでやったって話は聞いてます。 あ、そうですか。日本なくなっちゃった。

うん。 うん。 名前忘れちゃったと。 うん。うん。 ま、この取り組みはすでに僕たちはあの 2件とか15件はい。 なんでてかインサリムファンデーションとかがそういうのを温度取ってくれるといいんだけどね。 ね、ファンド取れるといいんだよね。 うん。 そうですね。割とどのバグあるんでもめっちゃ基準曖昧でプロジェクト側が処理してくれたらま、ま、で、ま、お金がもらえるからいいやって感じなんだろうけどさ。 こっちもうん。 で、あとさっきの話も若干ありましたけど 、そのファイナリティがなぜ重要かみたい な話が 最近あって、あの、イサリアのL2じゃ

なくて自分たちで独自のブロック シチェーンを作ろうみたいな働きが、ま、 この2025年になっても[咳払い]まだ 全然あって、ま、例えばテンポっていう やつはストライプが作ったL1のブロック チェーンだったりとか、あとはあの デリバティブ取引ができるようなハイパー リキッドって言われるチェーンとかは独自 のL1を採用してあるとでその1つの要因 としてさっきあげたL1の確定が遅いって いうのがあってやっぱり取引をどれだけ 時間を縮められてもイサリアムの方でその 取引がなかったことにされちゃうと重大な 損失を込めちゃうユーザーがいるかもしれ ないのでそういうの防ぐために自分たちの こうファイナリティが早いチェーンを使っ

て 取引をしようっていうのがまだあるので、 ま、もし、ま、イサリアムは、ま、それを 、あの、ま、別に全部イサリアムを使って くれっていうわけではないんですけど、ま 、1つの安全なオプションをとして イサリアを提供したいってなると、ま、 イサリアの確定時間を高速化しようとか、 ま、あとはインゼロ知識照明を実用化して いくってことを、ま、今後も継続的にやっ ていく必要があるよねという話が、 あとはユスケースなんですけど、ま、あの 、[鼻息]最近増えてるのが、ま、この AIをで、あの、スマートコンタクトで 実行しようみたいな話があります。ま、

そうした方が例えば自分の プライバシーを、ま、守ったまま学習 データを提供するとか、あの、あとはあの 、モデルがバイアスがかかってないか みたいなトランスペレンスを確保して、 あの、生成タスク行えるみたいな、ま、 そういういろんな目みがあるんですけど、 ま、そういう、ま、ま、実際にはあの、お 金を稼ぎたいっていうだけかもしんない ですけど、ま、そういうのがありますと。 ま、あとはビットコインの使ったデファと かもあって、ビットコインの資産を担保に して、ま、何か取引をしようっていう 取り組み、ま、最近だと特にスターク ネットとかがめちゃくちゃこういうのに 取り組んでまして、ま、ま、OPCATと かビットコインでオペコードが新しく追加

されましたけど、ま、ああいうのを使って 、あの、ゼロ知識照明をビットコイン ブロックチェーンで編証させるで、あの、 ま、実質的にはL2を作るんで、 ま、あと予測市場とか最高 と系とかだと、ま、レールガンでサービス とかだと実際にコンプライアンスを準した ような 取引、送金ができるようなものとかも実際 に出てきたです。 で、あとは、あの、ビタ君が、あの、こういう、ま、ユースケースとしてスマートコンタクトを使って面白いことできないかっていう研究をしたしてなんか、あか、 あ、まあ、ちょっとだけそうっすね。うん。

かな。ま、やってるのはこのスマート コントラクトみたいな自動執行環境 で扱える契約の種類を増やしたいっていう 形で現在だと金融金融商品金融契約がま 多いわけですけどもうちょっと色々なこう 企業がそういう自動あの金融金融契約以外 のあの契約を使う合理性をどうメカニズム デザインを用いてえ設計するかっていう ような影響 やってますね。はい。 あと、ま、いい風とかはめっちゃなんか 最近AIチームが立ち上がったりとか

なんかあの企業向けのエンタープライズ 向けの営業チームが立ち上がったりとか あとあの研究も新しく出たりしてたりあと なんかトレジャリー企業を支援するような 動きとかも出てます。 で、あとはあのデファイの話を少しするとギサリアム上で資産運用したいって企業とかま、たくさんあると思うんですけど、あの辺はでもアルファに話しちゃかいます?あ あ、はい。今、今いますよ。 今話します。この辺 話ます。話ます。 あ、これはあり、元々予定された 15 分の発表をもくつけていいのか、それともすいません。ちょっと失礼です。 あ、つけていい?つけていい?

あ、付けっていいよ。なるほど。 したらちょっとあの私の ま、今どういうことに取り組んでるかってことをざっくりと、ま、共有させていただきたいんですけど、ま、あの、先ほど住が申し上げ通り、そのイタリアでのスタ運用って、ま、色々な形、ま、形式で、ま、行われてるんですけど、ま、私が具体的にどういうことを研究してるかこについて、あの、少し簡単にご説明させていただきたいんですけども、あの、いわゆるブロックチェーン、ま、イサレム含めたブロックチェン、あの、には、ま、上にこう様々の アプリケーションが、ま、乗っけで、で、そのア アプリケーションの上にまあまあ、ま、で 、ま、よく言われるのがDFですね。 [咳払い]ま、実際分散型、ま、その分散 型金を手入れると難しいわけですけど、ま 、その分散型金の中でもそのいわゆる分散

が取って言われるような、ま、デックスの 、ま、研究を、ま、メインに私はあのして います。で、具体的に、ま、どういう、あ 、じゃあ分散型金融で研究したの分かっ たって話だと思うんですけども、じゃ、 具体的にどういう研究をしてるのかって ことについて、ま、ざっくりとご説明を すると、その 、ま、1つしている研究しようかな、これ 。資料共有。ま、ま、ちょっと高頭で喋っ ちゃうか。あの、してもいいよ。あ、 オうん。どうしようかな。ま、オ、じゃあ 給しちゃうわ。 実やってるんですけど、あの、分かり やすいものと、あ、分かりやすいものと いうか、あ、ま、目に分かりやすいものと 、ま、本格的な研究とちょっと2に分けて 、いや、目に分かりやすいもんてな、何 やって話だと思うんですけど、ま、 ちょっとそれは一旦あの、で、えっと、 あれ、

これ共有できる。 えっと、あ、これやつ。 ちょっと先こっちにちょ、これはかなりちょっと昔のやつとちょっと持ってきちゃってるんで現状はちょっと違うんですけど、まあまあやってることはあの変わらないのであの簡単に タイトルは あタイトルすいません。 えっと、 タイトルは、えっと、UNISAP プロトコル、あの、分散が取り書の、ま、 題名で、ま、UNSAPプロトコルの、あ 、インターナリゼーション、ま、内部化が 、あの、UNESAPプロトコルの、ま、 あの、取引コストに、ま、どういった影響 を与えるのかっていうことについて、あの 、研究してるっていうことなんですね。で

、ま、色々とよくわかんないあの定義や 言葉ができたと思うんで、ま、簡単にあの 説明をさせていただくと、ま、ちょっと UNAプロトコルとか一旦離れてあの 取引所ってこと考えた時にじゃ我々が、ま 、何らかのアセット、ま、何でもいいです ね。株でも、ま、債権でも、ま、我々が 債権を取る取引することあんまないので株 をてやりますけど、じゃあ我々が、えっと 、株式をあの、取引をしたい。ま、誰でも いいんですけど、取引したいてなった時に は、あの、ま、な、ま、ブローカーを返し て、そのブローカーが、えっと、取引に、 あの、オーダーを、ま、送信するっていう ような、ま、こういうのが、ま、すごく ナチュラルですよね。つまり、え、ま、私 がいて、ま、じゃあ、ま、僕は持ってませ んけど、野村証券がいて、で、証がある

わけですね。アメリカでいばロビンフッド がいて、ま、ニーズとかナスタックが存在 してるとこですね。で、ロビンフット、 我々ロビンフッドっていうそのブローカー 、ま、アプリケーションを返して、そして そのロビンフッドが、え、ま、ロビン フッドとか、ま、ノムラ、ノ務省でもどこ でもいいですけど、ま、ブローカーが取引 に注文を取り継ぐっていうような、ま、 仕組みに、ま、なっているわけですね。で 、基本的に、ま、UNISAPとかでも、 ま、同じようなことが起きていてってこと なんですけども、その現代の姿もまたは 米国の金融市場とか、ま、UNAも含めて なんですけど、もう少し複雑なことが、ま 、実際に起きているんですね。今ご協有し たのは具体的にはブローカーがあ、あの 取引者はブローカーを返して取引に注文を 送信するっていう話だったと思うんです けど、ま、実際にはこうはなっていなくて

、ま、どういう仕組み仕組みがあるかって 言うと、ま、例えば、えっと、内部化って いうような仕組みがこれ インターナリゼーション内部化ってことが 起きていたりするんですね。で、この内部 化は何なんだってことについてお話させて いただくと、ま、内部化っていうのはその ブローカーが、えっと、ま、マーケット メイカー、あ、ブローカーが取引に ダイレクトに注文送信するんじゃなくて、 その マーケットメイカーに直接注文を送 るっていうような仕組みがあるんですね。 なので、ま、マーケットメーカーが自分の インベントリー、在庫でそのユーザー、ま 、取引者の注文を執行してしまう。取引に

、取引所に送るのではなくてっていうよう な、ま、これはマーケットメーカーだっ たり、ま、ダークプールってまた別の 仕組みが、ま、あったりするんですけど、 ま、こういうような仕組みがあるんですね 。で、UNISAPとか分散が取り証の 世界でも、ま、こういうようなことが起き てるんですね。つまり何が言いたいかと 言うと、SwapッパーはUNISAP ProとかUNISAPEXに直接注文 送信するんではなくて、もうこのフロント エンドの部分が、ま、特定の、ま、 もちろんそのベストなオファーを出し たっていう条件付きですけど、あの、 マーケットメイカー自身に注文して、その マーケットメイカー注文を執行するって いうような現象があるんですね。じゃ、 こういうような内部化とか内部化の仕組み 、いわゆるオフエクスチェンジ、つまり、

ま、一般的なニーズとかナス投というのは 、ま、オンエクスチェンジですけども、 そのマーケット面直接取引を執行したり ダークプールがあったりっていうのはこの オフエクスチェンジ、つまりオフ エクスチェンジの仕組みがオン エクスチェンジに対してどういう影響を 与えるのかってことについて、ま、研究し ているのが、ま、この内容ということです ね。で、ま、ま、どういう影響を与えるの かってのは単純で、ま、オフ、ま、これは あのわーっと喋りますね。そのわーと喋 るっていうのはその細かなとこを喋っ ちゃうとあのすごくやこしいのでわーと 喋りますけどあの 簡単に言えばこのオフエスチェンジの取引 ボリュームが増えていくにつれてその 分散が取引の取引コストまこれはスプレッ

ドって概念が存在するんですけどこの スプレッドがどスプレッドにどういう影響 を与えてるのかこうスプレッドが大きけれ ば大きいあのユーザーはあのユーザーの 取引コストは高くなるのでこの内部化の 内部化の増加っていうのがユーザー取引 こそに、ま、どういう影響を与えてるの かっていうのを、ま、エンピリカルに まあまあこう会機式とか、ま、もうこれは もうすごく単純なOレスなんで実際には もっと複雑なことをして、ま、これはその 単純な解式なんで、あの操作変数とか、ま 、これの問題は単純にOLSを使って しまったらその相関は見れるけどインガー 見れないっていう話になってきちゃうので 、あの、もう少しそのインガー見れるよう なそのインストルメンタルバリエボルとか 、その操作変数法とかあのDIみたいな その因果水論、ま、エコノミカルなあの因果水論のあの方法を用いて、ま、その影響議論をしてるっていうようなものが、まあま、私のまずやってることのあの 1つ目になります。で、

15 分だからちょっと近く終わらせばいいんですけど、 これ一応FC にも論分をサブミットしたんだよね。 FC2 時まで押されたから、もうそう、もうダめだ。 ま、でもナイスチャレンジ。 ナイス。ま、それはいいんですけど。 ワークショップにも彼別のロ、 別のワークショップ。あ、ワークショップは分からないけど。 松さん来年もあの、あの、出してください。あの、その宣伝はしようと思ってけど、あの、あの FC のコーデックフィンっていうワークショップに出してください。皆さんどんどん。 あ、アルファアルファ出したの?コーデックフィン。 いや、えっと、D、D5 ワークショップやな。 あ、 あ、 え、私の方に出してください。 [笑い]

こっちはどういうワークショップなんですか? 何がこちらフ? あ、も、もう7回だからD5 よりも多分歴史があると思うんですけどでもあの、ま、ま、みでやるような議論に作ったんだけど、ここでも全然いいと思うので。 うん。うん。 去年は逆にあのひ樹君が発表してるんですけど。 うん。 そうなんです。 コンさんにもありてました。 え、ちょっとごめんなさい。 結果は先ほどの あ、これはちょっとあの結果をどういう風に報告すべきかちょっとわからというのはあの今さらによりロバスな形であの実証してるんでまじゃあ現段階でいいあの結果 1

番まそうだろうと思われる結果をお伝えしておくとあの内部化はま先ほど言ったどうでしょうかね。 この内部化がなぜMMに影響を与える かっていうこのメカニズムについても説明 しなきゃ本当はいけないんですけど、 ちょっと一旦もうちょっと時間の問題が ちょっとはっちゃうんですが、その、え、 まず見てることは2つで、この内部化って いう仕組みがオンエクスチェンジにどう いう影響を与えたのかっていうことですね 。で、もう1つはこのオンエクスチェ仮に 内部化がオンエクスチェンジに悪い影響を 与えたとしてもこのオンエクスチェンジと オフエクスチェンジの合計の取引コストに

対して良い影響を与えてるんだったらその まはちょっと悪くなったかもしんないけど エコシステムというかその取引クオリティ 取引書のクオリティ全体としては向上し てるよねってことなんですね。つまり オンエクチオンエクスチェンジで、ま、ま 、ちょっと、ま、ていう前提で結果をお 話しすると、まずオンエクスチェンジに 対する影響っていうのは基本的にはあの 現段階ではよくあのネガティブとも ポジティブとも言えなかった。ま、一般的 にはネガティブに作用するかなっていう風 に、ま、僕の1個前のやつだとネガティブ だっていう風な結論があったんですけど、 ちょっと、ま、さらに式を改良してロバス さんたちにした結果では、ま、ネガティブ だっていう風には言えなかったっていうの

が、ま、結論で、で、えっと、ではで、 もう1個、お、じゃ、仮に内部科学はいや 、AMMに対して音ジに対して悪い影響を 与えてんだから内部がダメなんだっていう 議論は、それはちょっとまだ一面的で、要 は全体が重要なわけですよね。つまり要は AMを少し犠牲にしてもっといい クオリティ出せんだ。それは結構な話だ からっていうことで全体に対してどうだっ たか。全体に対してかは明確にポジティブ なあの影響が出たっていうことですね。 これはどういうこと?どういうことかって 言うと、あの、どれぐらい内部化がされ てるかっていうその内部化比率を、ま、 その説明変数にしてド引コストに対して まあまあ、あの、相算変数法でやったって いう、で、それでどれぐらいに優位性が出 たかってことを、ま、ざっくり計算して

るってそれだけの話なんですけど、なので 、えっと、AMMに対しては、ま、よく 結果はちょっとよくわからない。で、全体 に対してはポジティブだったっていうよう な結果が出てるなのでというのが一応一応 の結論ですね。 今の菅さんの質問にちょっとだけ乗っかれ、あ、もっとあの、ザクっとした話なんですけど、あの、一応私は FCのPC をずっとやってて、で、この論を左したか知てないかは言えないんですけど、僕が担当だったかとか言えない、言えないんですけどと聞いてて [笑い] 1番思うのは、あの、いや、特に FC っていう学がそう、そうなんですけど、やっぱりどれぐらいこれがこうなんて言うかな、その、ま、ブロックチェーンベースの、ま、分散型でも何でもいいんです を作る時にと面白い結果かな?インパクト

がある結果なのか。だからこの結果によっ て何かこう今皆さんがすごい困ってる重大 な問題点に対して何かソリューションの 方向があるいは考える方向を与えられるの がどうかっていうところが重要でその辺の こうプレゼンテーションみたいのはどんな 感じなあの論文の中でどういう風にその辺 が表現されてのかっていうのを教えて いただけるといいかなと思ってます。 なるほど。えっと、ま、その先生が、ま、 同じようなことは実は書かれてはいたん ですが、そのこのリサーチステータメント がどんだけインパクトフルなのかちょっと わかんないってことをあのから突っ込まれ たんで、まあまあちょっとあれなんです けど、ま、あの話としては、ま、何か ソリューションを提供してるという意味で

はまず提供はしてないと思いますね。ま、 これ例えばこれによって新しい仕組みが 生み出せるとかってそういうことは特に 提供していなくて、あくまでもこれで分か るってこ分かることはその内部かっていう 、ま、新しい仕組みが、ま、実際のなんと いうかうん、 ま、デックス、ま、デックス、ま、内部が 含めたそのデックスに、ま、どういう影響 を与えているのかってことを、ま、 明らかにする。 ものであって、その 、ま、だからそれが、ま、ちょっと ブロックチェンの場合には正当局みたいな のがないので、ま、微妙ですけど、ま、 ポリシーメーカーからしたらなるほどとと

もなるかもしれないし、まあ、そのデクス の運営者から取ったら、いや、自分たちは 要はこれってものすごく批判があるわけ ですね。内部かっていうことをすると、 いや、お前らそのトラットファイでやっ てることをただパクって出して、何の イノベーションもしてねえじゃねえかって 言って、で、なんならオンチェーンの流導 性のクオリティは下がんだらこれ。ま、 下がる。これは何で始めたかって言うと、 単純に多くの人がこんな仕組み始めたら それはトラッタファイのパクりで、あ、 そのユニアップとか元の流導性にどう考え たってネガティブな影響を及ぼすでしょっ ていう、ま、すごく議論があって、ま、 それに対して、ま、答えたっていうことに なるんですね。つまり、ま、AMMに対し てはネガティブな、ま、みんな言ってる

通り、まあまあ、ま、僕の研究では、ま、 ニュートラルでしたけど、ま、ネガティブ な影響与えるかもしれないけど、全体で見 たらいいよねっていう、その、そういう 議論に対して、ま、会を与えたっていう、 ま、回答とか、その1つの回答を示し たっていうのが、ま、勝つの何かに ソリューション与えてるとかそういったの もではないかもしれないってのは、ま、 ないですね、明確には。はい。ということ です。 分かりました。か多分色々あの多分FC っていう区画会は結構特殊であのあれに 再録されるタイプの論文ってちょっと ちょっとあの再録させるための先日って すごい難しいんだよね。の会特になので、 えっと、で、まずなんかすごい基本的な ことを言うと、なんで学会で皆さん、あ、

学術会議っていうのをやる時にな、どう いう論文が選ばれ、選ばれるかって言うと 、まず1番大事なのはその時みんなが議論 したいネタ、あ、みんなが知りたいと思っ てる、みんなが議論したいと思ってる、 あの、今、今、今これを議論したいんだっ て思ってるものがそこに登場するわけです よ。だから技術的に超高度じゃなかったと しても議論したいものがあ るっていうことがまずその時の世の中の ニーズにマッチしてるってのが1番重要で 次にとなんていうかなその出てきてる結果 ってのがこう皆さんがこう心配してること に対して何か起こせてそれはさっき ソリューションっていう話かあるいは そんなこと知らなかったそんな問題もあっ たんだっていうのを教えてもらえるものか どっちどっちかだと思うんだよね。

で、えっと、そういう風なプレゼンテーションができて、でね、それはと大体予想通りでしたっていうのはなかなかこう逆インパクトが分かりづらい からとやるとすればそれを知らなかったあるいはと知ってたけど解けなかったのか解けるようになりました。どっちからていうのが風にプレゼンテーションできるのがとてもいいと思うんですよ。 で、やっぱり学術研究って基本的には人類が今まで知らなかったことを知れるようになったっていうプログレスが実研究だし、それがシェアされることが学界だからなんか多分同じような結果なんだけどその見せ方とかま、行き付けの仕方によってだいぶ多分見え方が変わってくると思うんで うん。 あるいはと今行った観点でちょっとやっぱりまだ不足してるんだと思ったらそういう観点を多分あの今の研究に追加してもらうと次どっかで通るのかなっていう風に個人的に思いました。

そうすね。まあその言っていいのかな? あ、ごめんなさい。 どうぞ。 あ、いいのかな?俺言って。えっと、 僕今の今日のあの 78 分ぐらいのお話を聞いた限りでは、あの、ほ、ちょっとポイントがつめなくて実はあの、あの、理解できないわけじゃなくて理解はした上でポイントがつめなくて、えっと、ま、そっしゃるように、あの、かきっぷりの、書きっぷりが悪いんやろうなという風に思い論文。あ、論文を見てないけど。うん。 あの、どこ、どこに うん。どこに注目していくのか。

だから、えっと、僕の中では、えっと、 新しい課題を見つけるということだけでも 重要な話だと思っていて、だからそういう 意味では面白いなと思いつつも、えっと、 それがそのどういう社会的インパクトが あるのかとかっていうことになんか繋がっ てない気がしていて、えっと、もし仮に 万が一ラ ルっていう結果がどっちでもない、 ネガティブでもポジティブないっていう 結果があったとしても、我々はこういう 課題に基づいてこういうことやってみたと 。で、今後これはあの障害的には変わるか もしれないよとかね。えっと、で、で、 それがもしニュートラル、あ、 ニュートラルじゃなくてこ、えっと、 本チティブの方行ったら社会もこうなって いくし、ネガティブの場合はこうなって

いくとかいうような話が書けるだけでも、 だから論文の構成としてはそのやっぱそこ をこう入れ替えるだけでも全然違う プレゼンテーションとして論文の プレゼンテーションとして大分違うんじゃ ないかなっていう風に感じました。 そうです。 ごめんね。ま、多分どうぞどうぞ。 いや、もうリジャックスされた理由はほぼそこでその面白いけど書き方よく重要性伝わんないんだけどっていうことを、ま、端的に言えばそういうことを、ま、言われましてなのでお二方の本当におっしゃる通りといえだなと思っています。 すいません。それそれ

で学会が学発表ってさっき言った通りなのでやっぱりそこにわざわざ論を出して集まってくるのはやっぱり今議論したいことを皆さんで顔を合わせて議論したいですとどういう議題がいいんですかっていうのを集めるのがロムコール 4 ペーパーじゃないですか。でなのでまずはと例えば今 世の中でブロックチャン研究してる人のが心配だ。 例えばインターナショナ、 インターナライゼーションっていうのは、 あ、こうブロックチェーンの世界でみんな が心配してることの実は重要な話の1つ でっていうことがイントロに書いてると急 に急に皆さんその価値が分かるとかあるん ですね。 そうするとそれはその皆さんにブロクチェの業界の皆さんが心配してる何と対応してるのか話なのかってことを最初に言うだけで多分 その最初のねそのツッコミどころは多分超回避できる。

うん。 うん。 うん。[咳払い] もうちょっと僕の話をすると、えっと、 いや、あの、さっきからプレゼンテー ショって言ってるのはそのロブの プレゼンテーションの話をしたんですけど 、実際のその発表時のその プレゼンテーションに関してもしかしたら 、えっとアルファさんでしたっけ?えっと は、えっと割と下手くそな方なんかもしれ ないなっていう風に僕は思いました。はい 。[笑い] そこはもうストレートに言ってくださった 方が僕は嬉しいのでオッケー はっきりって言うとで、あともう 1 つはあのタイトルのインタインタな何言ったっけ?え、チネーションっていうのも あの本当にその言葉使っていいのかしらみたいなとこがあってなんか別の意味に捉えられるかもしれなくてえっともし言葉用語作るんであればもっとキャプチの方がいい。

おお。 あ、いや、単純にこれは僕はこれ良くなかったと思うのはなんか 多分これ金融の人に出したら 1200 人入ってこのタイトルで多分おそらく問題ないって言ってくれるんですよね。そのインターナリゼーションってトラファイで死ぬほど使われてるんで。てかもう秒速で理解してもらえるもなんですけど。 うん。 あのうん。うん。うん。[咳払い] FC ってそうじゃまでもうそれももう本当に言われ言われまくったんですけど書かれまくったんですけど。 あ、そうなんですね。 そう。 シェアの人は別にメインが全員ファミナリティあるしないからっていうそのはい。まさに 僕とかしてないからね。今話聞いただけのあの感想を言ってるのではい。 うん。 あの私もそれを作してるかしてないか言えないんですけどあのなのでそういうさ、その学会とは何なのかっていうところがとその特にその

1 箇所に集まってみんな議論する場所のコールフォーペじゃないですか? うん。 だからあと逆に言うとそこに集まりそうな人たちの心配事にミートするようなイントロとかタイトルのつけ方だけで違うと思った。 ええ、 同じ同じことをやった。 うん。 うん。 うん。 参考になります。 うん。うん。 ちゃ、だからちょイントロって超重要なんですから。 うん。うん。 うん。 てか、あのなんだっけ? FCって今大体と 250本ぐらい、260 本ぐらいやってたのかな、今回。 あの、多分、あの、えっと、なんだっけ?ノーティフィケーションの中に何本多分チェアの人書いたと思う。 2565本が今回投稿があって通ったのが 46本かな。

え、なんでいつも大体それぐらいのアクセプタンスレートなんですね。 大体20%切る16%あるっていうのが とこぐらいで1つのPCメンバーがと左 する論文が大体8本から10本します。 あの、2ラウンド後継して、で、そうする とそれぐらいの学会、ま、もっと ACCCSとかそういった1人10本とか になるんだけどとそれぐらいの学会だと イントロでイントロの最初の2パラグラ2 ま、いいやと[咳払い] 2パラグラフでとが入らないとあと読んで もらえない。ええです。本当に読んで もらえない。

全く読んでもらえなくておざりの作得が書いてきて終了なので。 うん。 あの、だからこそイントロの最初の 2段落に超力を入れてください。 うん。 いや、毎そうすね。 いや、読んでも本当にその後の柔軟ページ全部読んでもらえないんですよ。 あ、ま、一応も第 2ラウンドまで行ってるんで、その 4全く0 だったとは思わないんですけど、ま、その 2 行でされたとは思わないんですけど、まあまあまあ、 いや、結構おざりになるなると思ってください。 で、FC ちょっと言いつまででいいんですけど、第 1と第2ってど、第2のあの2 ラウンドあるじゃないですか。第1と第2 ではい。 あれって力の入れ、これ、これはやっぱだめか。あの、どれぐらいの力の入れ具合いっていうか、ちょっとふわっと、ふわっといんで、その 1でまず、

あの、1と2、いや、まず1、1と2 で変わらないと思います。あの、 なるほど。あの、1 だから軽くて苦手だから重いってことはなくて 多分これは言ってもいいだ。1えっと、第 1 ラウンドって基本的には橋にも暴にもかからないものをスクリーニングするっていう明りがあるんですね。 なるほど。なるほど。 デスクリジェクション。 あ、で、え、その前にデスクリゼクションがある。ディスクリジェクションをとまずチェアがこれは本当にダメだと全くも通違いなものっていうのは作得にすら回らなくってリジェクトされるものがあるんですね。 で、そのチェアが全くあのお角違いのもの 外したものがまずファーストラウンドに 回ってファーストラウンドは2人が左し ました。今回で2人がま、そうは言っても と形式、あのちょっとこれやっぱりレベル

低いってものをスクリーニングするんです ね。で、そのスクリーングを通ったものが 第2ランドにもあって、第2ランドで プラス2人。多分今回多分4人か前で5本 、5人がついたケースがあると思うんです けど、多分左の報告、左のレビュー4人 ついてると思うんですね。で、プラス2人 がついて、で、4人がと同じレベルのだ からラウンド1と、えっと、左の重さと 同じなんです。で、4人のとレビューに、 レビューが揃った後で1週間ぐらい ディスカッションをして、で、これ ボーダーラインだったらじゃあこれポール のないかみたいにディスカッションして、 で、最後にで、えっと、チェアがボーダー ラインのものでこれを 切るっていうので決めるっていう感じで

です。なのでその、えっと、第1ラウンド と第2ラウンドで レビューの差が違うってことはない。基本 的にないです。うん。なるほど。 少なくその第1 ラウンドのレビアはアルファの論がいいと思って。 あ、い、いいかどうかわかんない。あの、あ、つまりと 9ラウンドに進んでもいいぐらいだから。 うん。 うん。 あの、全く全く橋にボにもかからないものではない。 うん。うん。 けどとわかんないけど、どれぐらいかな。でもどれぐらいラウンド残ったか僕知らないんだけど、チェアしか知らないか知らないんだけどと多分ボーダーライン直ぐらいまでは残すんじゃないかな。 だからでと、えっと、ロムレって違うじゃないですか。当然アクセプト、その問題なくアクセプトされる場合っていうのは 4

人がとウィークアクセプト以上全部とアクセプトかストレングアクセプトってなのは、ま、問題ないですと。 で、えっと、ボーダーラインぐらいだと多分アクセプトされないんでと。 うん。 実際は。 で、もうで問題なのはストロングアクセプトとジェクトルぐらいがあと共存してるやつが人によって多分意見がれるやつが。 なるね。 うん。 で、このウィークレジェクトがちょっとあるんだけど、でもこれストロングが大きいからここはこのウィークレジェレクト部はシェファーディングって言って、あの、 2、3週間 あ、直し、 あの、 担当のレビューアーがつくので一緒に共同で直してそれだったら、えっと、アクコンディショナルでアクセプトしてもいいよってもまして、あの、いくつか変わるんだけど、ま、そんなプロセスで進みます。 うん。

なるほど。多分僕も1 個シェ、シェファーディングしたのに今持ってて。 あ、そうな。大変だな。 へえ。 今週1週間ぐらい直してあげなきゃね。 うん。 なるほど。 ま、でもそれって何を言ってるかっていうと逆に言うと押し論があったわけ。押し論文があってでこれは是非ともこうこうね後押ししたいあげたいという。なので今回多分書いてきた時に人によってあのそのスコアがそれぞれの人のスコアも書いてあると思うんですよね。あの ああ、ありますね。 で、それはと、それを見ると、ま、あの、それをどういう風に捉えるべきかっていうのは、あと、ま、いろんな多分それをどうするかっての次やるって感じです。 なるほど。すごくすごく参考になりました。ちょっと次回のっていうのが一旦

先生は、 あ、どうぞごめんなさい。 はい。はい。 あ、さ子先生にレビューしていただく時はアグストとイントロしか見てもらえない。 うん。 で、そのアブソとイントロだけで 3、4 週間ぐらいはコミュニケーションしてやり取りをして、その時に うん。 もうほとんど言われるのはその学会のコミュニティが求めているものは何なのかとか言って読者がどういう人でとかそういうのを想像して書いてるっていうことの本当に書き方の部分なので、ま、今 2 人も僕も論文書いてますけどそれも本当に多分僕は同じこと言うし、ま、多分こ 2

人も同じこと言ってたんで、ま、僕らもの中でもそれは一 と気をつける。 いや、あ、いや、その学ってそういうものだ。うん。 うん。 そうです。[咳払い] ま、でも一方だからとトライアりトライアルしていくのすごく重要でトライしないと通らない。あれ。 うん。そうですね。 本当に。 うん。 アルファも今回FC に出したのはすごいナイスチャレンジだな。 うん。 で、で、学界ってそういうもの、そういう場所ですっていう風に分かると、その単にテクニックがすごいいうものを書いた紙が通るわけでは悲しもない。 うん。 うん。うん。 そ、それがそ、その、そのレビューアーとかさ、その会の参加者にとって価値のあるかどうかってとこで決まるからそうそう。実はテクニック的にすごくなくても価値のあるものだったら通るんだよね。 [咳払い] うん。

うん。 うん。[咳払い] あ、 ちなみにちなみに僕論文は頭から読まないです。 ええ。 後ろから読めます。え、 そうです。 なんかちゃんとしたあの参照がされているかとか。 ああ、そういうことか。 なるほど。 あとコンクルージョンとなってで後にインプロ読む。 へえ。 うん。で、あと1章でその そこがね、違うと思う。俺アメリカ、アメリカ、アメリカの学会ってやっぱりイントロなんです。イント全て? いや、全て。うん。いや、でもまず呼そこで呼びたいかどうか分かるじゃん。なんかその、 あ、でも多分イントロから全て そう。うん。それは多分日本の日本のアカデミアが間違って間違ってとかだと思う。 [咳払い] で、その後僕は何かというと、あと1章、

1章がそのきちんとその学者もちゃんと あの導にできるようなだから初めての人でも読めるような内容になってるおかしか。 そこは僕は日本の日本のアカデミアの間違って 間違ってる。 いや、つまりなんでなんでアカデミアーがあるから社会社会にとって うん。 社会にとってのアカデミーアの存在価値を示さなきゃいけないからイントロが重要なんです。 うん。 うん。分かるよ。 じゃない、じゃないと社会からアカデミアを投資してもらえないんで。 うん。わかる、わかる。 で、そ、そこが重要なんだよ。 むちゃ、むちゃめちゃ力かけた方がそこは うん。そこ、そこが重、そこそが重要なんでじゃないとなんで社会の人が大学に寄付し そうね。 痛くその企業が大学にお金を出しっていうのがのジャケーがそこに詰まってんだよ。 うん。分かるわかる。日本人割となんかそこわっとがうちでなんか適当に書くこと多いよね。確かにそう。そう。

いや、それはもう社会にとってアカデミア何なのか、 研究と学術研究とは何なのかっていうのを ジャスティフケーションしないとお金もらえないじゃないですか。ま、イーサリムファンデーションからお金もらったと思うんだけど。で、イサリムファらはでもイサリムファンデーションの将来のためって言ってことでお金くれるじゃないですか。て一緒で 多分その それはさ、イサリングファンデーションの中のローンに話なんだけどこういう学っていうのはさ、イサリングファンデーション以外のと世の中にたとこれは何なのかってことを求めるからだからだからインプロが重要なんですよ。 やっぱりそのさっきたインターナショナルインターナリズムっていう研究ってこの世界にとってどういう価値があるのかっていうのを うん。 クリア本当にクリアに説明できたらあ、この場所でえっと例えば FCって200150

年ぐらい集まるじゃない うん。 この場で それは議論すべきだってチェアが思ってくれてアクセブって うんうん。 ありがとうございます。 だからだから学術研究ってお金もらえるんですよ。 うん。 うん。 日本人はさ、お金を稼ぐここでやってき、やってきてないから。 で、そうするとさ、そうするとその社会の人たちとどういう研究テーマがいいのかって対応をし始めるわけですよ。そ、いい、さらにいい研究先のその 5年後の社会はどうですかとかさ、 10 年後の社会はどうですかって彼らは我々に求めてるからそうさ、こういう研究テーマがいいねっていうコミュニケーションができるようになるでしょ。 社会の人って誰だった?企業、 それはいろんな人、企業だったりさ、政府の人だったり、いろんな人たちと来る。 その場に集まってきそのFCもさもそれ

こそ普通の企業の人たちとも来てるじゃ ないだからあいう場所に出かけていく時 にどういう議論すべきかっていううとその 人たちは何をやっぱり 学研究してるとリクエストしてるのかって いうのをその場で感じるわけ だからあの9アとかするかであの例えば 学会101分発表して5分9&A時のQ& Aの9でどういう9が出されてるのかって すごい重要なん 質問する人がそのロング に対して何を質問してきてるのかってのが うん。 その人がリクエストしてるけどその論文から伝わってこなかったかもうちょっと理解したことだから。 あ、 なるほど。 うん。 だから実は現地に現地に行くとこの価値ってそこにある。 ああ、しょう。読まれる書かなきゃいけない。

うん。 そうすると分かれ。そうするとだんだんさ、そのコミュニティの人たちがどういうことを干してるかって分かるじゃないですか。 うん。 そういう風に考えるとだんだん面白くなってくると思うんだよね。 うん。 面白いっすね。 うん。こんな ありがとうございます。一 [笑い] 番いい。すごいです。すごく僕はなんか勉強になる。ありがとうございます。 で、じゃあもうこれはもう病、これは ちょっとま、まだ色々研究あるんですけど 、ちょっともう研究もちょっと紹介したい んですけど、まあなんこういうのもやっ てるよっていうのをご紹介するために ちょっとハからなものよ。ハからっていう か。ま、これは何やった?これは何やっ

てるかって言うと、ま、これもさっき言っ た流動、ま、これはもう本当に研究とか じゃないんで、ま、あんまり重要なことは じゃない、ま、重要ではあるんですけど、 ま、まあ、ま、どうでもいいっちゃどうで もいいんですけど、ま、何やってるかって 言うと、その分散が取引書とか、ま、基本 取引上って死体は2主体しかいなくて、ま 、2主体しかいないってちょっとあれです けど、ま、2体いてトレーダーと流動性 供給者がいるっていうことなんですよね。 で、取引が円滑に進むためにはこの流動性 供給者が、ま、必要なんですけど、ま、 当然流動性供給者はビジネスで流動性供給 するんで、ま、彼らが、ま、 サステイナブルなあの環境で流動、ま、 サステイナブルに、ま、つまりサステナブ ルってそのある程度利益を出せるあの環境 で、ま、なければいけないわけですけどっ ていうことで、その実際にUNISAに 流動性供給をしてる流動性供給者がどれ

ぐらい利益を出してるのかっていうことを 見れるダッシュボードを、ま、作ったって いうことで、ま、 ここでアドレス入れてもらってなんか適当に日してもちょっとやれる。 え、 もうちょ、もうちょっとやってほしい。ありがとう。 カルキュレートする。あ、カルキレートする。例えば 3 ヶ月だとこの流導性者これくらい利益出してるよねとかじゃオールピリオだと、ま、こんなもんかとか、じゃあ 1 週間だとこんなもんかって形で、ま、これは流導性供給者の利益は見れるダッシュボードを作ってるっていう。 ま、これはどちらかって言うと僕の中では 、ま、アカデミアというよりかその実務者 の人に向けて要はこう、こういう取引基場 を運営してる人たちがいるので、まあまあ UFとかインタファンデーションとかと今

ちょうど話してるはいるんですけど、ま、 彼ら向けにどちらかというと プラクティショナーたちに提供してるよう なこういうツールも一応か、あの、作っ たり、ま、あとはそのユーザーに向けて なんか最適な流動性の提供範囲を指定する そういうなんかデータダッシュボードとか プロトコルとかそういうプロダクト的な ものも一応 、ま、これはちょっとそのうん、ていうの が今の やってる、ま、研究、ま、研究はもう何個 かあるんですけど、ま、研究と、ま、 プロダクトの僕のやってるここにですね、 何かご質もあれば 、ま、時間もありですけど いかがでしょう。

ま、これはあんまりあれですか? ま、ちょっとこっちの資料で補足すると、あの、なんかさっき流導性教がなんだみたいな話はありましたけど、なんか流動性突っ込んどけば稼げるみたいな世界じゃなくなってきていて、なんかタイミングを見計って入れたり抜いたりみたいなのをなんか高頻度で繰り返したりなんかこのペアだ、このペアのこの時間軸だった から稼げるみたいなのを自分で見極めて 入れないと全体として稼げてても一部の人 しか稼げてなくて自分は損しちゃうみたい なことがあるので彼みたいになんか アドレスごとに分析するとかあるいは

なんかどのペアでどの時間軸でそれを 出し入れすると稼げるのかみたいなが割と 今のデファイトレーダーの方たちとかに とってもになってきますという1つ 側うん。 ま、あの、ダッシュボードの、ま、新規性というか、ま、いいとこっていうのは今までは この流動性取引上そのものでしか利益が見えなかったんですね。その例えば、 ま、マクロ的な全体のやつ。 円とドルのこの円とドルが の収益性が提供する意味あるのかってことしか見れなかったんですけど、これはその流動性提供者全員の利益を全部あの、追ってるんで、それは今までなかったっていうところが、ま、その新規制性ではあるっていうとこですね。ま、ごめんなさい。それだけです。 待ってな。

じゃ、ま、全体としても発表はこれで以上あるので何かご質問があれば いやいや、あの、いや、あまりこうへこまないで欲しいんですけど、 やっぱプレゼンテーションなんかもう 1 回考え直した方がいいかもしれないで、なんかもったいない気がしますね。 いや、や、やってることをこう率直にあのね、えっと、調べて欲しいのがエレベーターっていうことが知ってる? あ、エレベーターピッチとか うん。うん。うん。そう、一緒、一緒、一緒。 はい。 あの、エレベーター乗ってるその うん。 たまたま合う偉い人に 10秒、20秒で 今何やってんのって言われた時にどれだけこうなんか喋られるかっていうのを鍛えた方がいいかなと、ま、思いました。なんかもったいない。

うん。 うちみんな下手なんですよ。 うん。頑張ろう。[笑い] そうすね。ま、1 つポイントがあるとするとなんかこう自分の研究生活って大体自分の子供じゃないですか?すごい大可愛い子供ですよね。で、うん。 どうやって苦労して踏んだかってことを理接したくなる。 ああ。 なんだけどどうやって苦労して産んだかは聞く人は興味がない。 で、でもどれぐらい可愛いかは興味がある。 うん。 うん。 で、で、どれぐらい可愛いかとか、どれぐらいこのこの子が、あの、あなたにとってこう、あなたの幸せにためになるのかっていうことをこう聞く人は聞きたいの。だからそのところを変えるだけでもだいぶ違うんじゃないかなって気がするのね。 あの、聞いてて僕が思ったのはうん。

と、基本的には彼がとどういうことを考えてこれを作り上げたのかっていう感じの説明をずっとした。 うん。 で、それはその個人の苦労としては説明したいすごいで自分本当自分の子供だから自分のやったことを全部説明したいと思うじゃないですか。 でもそれは多分とそれをやると同じ温度の人には理解できるんだけど同じ苦労してない人にとっては飛ぶんですよ。 そう。ていうていう意味でそのやっぱり説明がそこに多分出てくるんだよね。いや本当や自分の自分の子供って可愛いじゃないですか。 うん。 でそこそこをどう思うか。 どこが可愛いのかを説明。そうそうそう。 ああ、 で、全部全本当にさ、本当に作り上げた全部説明したいんだよね。したいじゃないですか。 うん。

でも説明したら多分伝わないところにどう工夫するかです。 うん。 ありがとうございます。 ありがとうございます。じゃ、 そんな感じですかね。 ちょっと私からじゃあ言う言う言う話をいくつかする。 はい。はい。はい。 この人なんかなんかなんのなんかリンクからもらかなんかもらった方がいい。 あ、それが共有すればあのなんかあの メジャーのところかなんか放り込んでください。 そのから取ります。 はい。した。