こんにちは、私はバナナ・デイヴィデアとプロフェッサーの東京インスティティーブのテクナロジーです。その内容をご紹介することは、下手でキャラクターです。皆さん、今日はご来場いただきましてありがとうございます。私はベルナルド・デイリックです。私は東京工業大学で、表彰しており、ウロボロス、体のベースのプロトコルとなっているウロボロスモンを、一級開発に関わっています。今日、私がお話ししたいのは、ロングロスのプロトコルのデザイン、そして、昨日、そしてこれを最終的に読みたビジョンで、将来的に形作っていきたいのが、というところを共有します。今、使われている案号通貨のほとんどが、プルフォーブワークという仕組みのもとを活動しています。ビットボリューもインスタにも、もうこれがベースになっています。ですが、プルフォーブワークは今、数億の問題に直面しています。マイナーが多くの権限を持っていおり、トークンホルダー、実際にその通貨を持っている人たちよりも、エキュリスが強い現状です。マイニングの行為から得られる報酬のために、このエクアクトをサポートしているわけなんですけれども、これが長期的に来たら、報酬がどんどん減ってきて、そのインセンティブというか、目的がミュージナーを得るんじゃないかということが、聞くされています。ですから、プルフォーブワークは、エヴォーアンスがとてもセントロリースされています。マイナーが全く強いので、インセンティブを失うために、マイニングについては、プルフォーブワークは、毎年持ち続けるインセンティブがなくなった後、どうなのか、全くわからない状態です。さらに、プルフォーブワークは、かなりの電気エネルギーを消費しますし、こういった観点からも、環境にはすごく良くない影響があると考えられています。そこで、代わりとなるプルフォーブステイクの開発に乗り出しました。では、具体的にプルフォーブワークから選べる調整を比べていきましょう。プルフォーブワークの場合は、コンピュータ処理能力という観点からの多くの資源を持っている人が、よりネットワークに対しての影響力の大きいと考えられます。それに対して、プルフォーブステイクの場合は、投資家であったりとか、資金を投稿自体を持っている人が、よりコントロールがある影響力があると考えます。プルフォーブワークのマイニングには、何十億発種といった多くの計算処理能力が必要になるのに対して、プルフォーブステイクの場合は、一つの簡単な暗号を使った証明さえあれば、マイニングブロックのせせができる。プルフォーブワークは、マイニングブロックのせせができる。しかし、プルフォーブステイクは、デモクラティックな形で、コインボーダーを選択することができます。プルフォーブステイクの場合は、高いレベルのプロダクションを選択することができると考えます。基本的には、ジェネーズブロック、トトロ、ポルフォローソ、チヒロ、プルフォーブステイクの超高レベルな説明を今から開始したいと思います。まず、ここにジェネーズブロックがありますね。そして、3人の参加者が存在します。トトロとポルフォロとチヒロがいます。トトロが9エイダー持っています。ポルフォは6エイダー、チヒロはそして15エイダー持っていると考えましょう。そして、ロットで使われるような、こういった、たからくじみたいな番号をランダムで増しているこういった箱がんかとしましょう。そして、そのとびかっているランダムが数字が記載されたこのボール1つ1つがこのトークンに結びついているとしましょう。もし、自分のトークンがここから選ばれると、自分がそのブロックを生成することができます。この場合には、チヒロがこの当選したと考えましょう。この当選したとき、チヒロがここでブロック・チェンジのブロックを生成する権限が与えられます。この当選を適的にこれを行います。この当選を適的にこのブロック・チェンジのブロック・チェンジのブロックを生成することができます。この場合、チヒロの方が持っているコインがポルコよりも多くあります。なので、チヒロの方が当選する確率が多く、次のブロックを生成できる可能性も高くあります。これがブロック・チェンジのブロック・チェンジのブロックの生成方法です。実際にこの当選を適的に行うことによってマイナーに依存することなく、実際にトークンを保有している方々がブロックの生成に関わります。実際にどうやってこのプロドコルが安全性が高いということができるのでしょうか。ここでこの当選を行っているこのマシンが常にランダムな数字を選んでくれる必要がありますし、そのランダムな数字の生成に他の人に依存したくないわけですね。常にランダムな数字を排出することができるプロドコルが、あの当選マシンの代わりに使われる必要があります。この数字がランスが正確に生成され続けている限り、そしてプロドコルが数学的に安全性が証明されている限りは、拠疑の行動とのユーザーがいなければ確実に安全性が保証できるわけですね。まずプロドコルステイクのモデルの安全性を保証できる数学の証明方法がまず考え、考案されに強がりました。簡単ではないんですけれども、このセキュリティモデルをうまく講案できた後は、またそれを数学的に証明できる、証明自体も考え出す必要があります。これがムロボロスのプロドコル、そして体のブロックチェーンが実際に安全性が保証できると、数学的に証明している論文の一部です。このプロドコルステイクのこのムロボロスが安全なのか、どうそれを証明できるのか、簡単に説明したいと思います。時間ままにありません。正直この証明はものすごく面倒くさいです。じゃあ、どうして私が安全だと言っているその言葉が信じられるのでしょうか。実際にですね、暗号技術の論文が発表される楽界でですね、ブルーフォブステイクのアルゴリズムとしては初めて発表されることができました。なので、私一人の一軒よりも実際に今、一番権威のある暗号技術たちの集まったこの発表会での発表を参考にしていただけばと思います。この楽界で発表するまでには、かなり多くの楽社にこのロークを読んでいただいて、その上でこの証明が正確なのか、あっているのかということを議論していただいて、その上で認められた論文のみがここで受け入れられ発表されることができます。では、続いてお話ししましょう。お話ししたいのがお話ししたいのが、フィルチュー・デュア・ラクションスタイトルとして発表されているのです。今、フィルチュー・デュア・ラクションスタイトルとして発表されているのです。まずところについてお話ししたいと思います。最初のバージョンのオロボロスのかなりの高水準のセキュリティが確立できたと考えているのですけれども、こちらもまだまだ改善し続ける予定です。もうすでにセキュリティがかなり高く保証されているオロボロスなんですけれども、今後より強い攻撃などに大受けたとしても耐えられる方法などの研究がよく進みました。実際にこの論文が発表された学会での写真です。ブロックチェーンでの大きな実質の訳しも喜んでいる人たちの写真があります。さらに、オロボロスのプロトコール自体の効率化も研究が進んでいます。さっきのブロックを作る人を剪定する抽選の施設ですね。そのプロトコールの改善点が見つかったわけです。そして、さらに、セキュリティのプロトコールが最強のモデルが可能になりました。より早く、より安全で、より強化のセキュリティというのが、このプロトコールの中で証明することができるようになりました。現実世界での応用、カルダノですね。より使いやすくする機能を高めるという工場もあった上で、さらに、セキュリティの証明も強まっています。、このプロトコールの人が作りやすくすることになりました。現実世界での応用カルダのですね、より使いやすくする機能を高めるという向上もあった上で、さらに積極の正面も強まっています。かなり効率的な面で改善されたこのウロボロスなんですけれども、実際にトークも保有している人やネットワークをサポートしている方々がかなり多くの計算処理を行わなくてもこのネットワークのサポートに参加できるようになりました。次の方はウロボロスのアンデートですね。ウロボロスプラオスという名前が付いています。プラオスというのは落ち着いているという意味があります。こちらのウロボロスと論文もですね、今、インターネット上で見ることができます。もし皆さんの中でこれをレミューしていきたいと思われる方がいらっしゃれば是非見ていただいて、意見がいただければと思うんですけれども、今こちらはユーロクリプトというまた大きな学会での発表に向けて学者に今見ていただいている段階です。今ある以上にこれからカルダノがプラットフォームとしてよりセキュリティの高い協力なものになってくるという数々の研究が今進められていることを皆さんと共有したことです。僕からは以上です。今日はきていただいて本当にありがとうございます。