本日の RobertoFest では、認証されたデータ構造に対する Roberto Tamassia の 40 年間の貢献 (およびそれ以上! アップデートが来ています! 👇

マイケル・グッドリッチは、彼とロベルトのアルゴリズムの本について人々がどのように感じているかを示しています。

これに先立ち、@chbpap永続認証辞書に関するロベルトの古典的な研究が@ethereumのような最新のブロックチェーンをどのように強化しているかを紹介しました。 (Verkleの木の由来についてお話しするまで待ってください...)

ジュゼッペ・ディ・バッティスタ@chbpap @ethereum、印刷されたコピーを郵送するには遅すぎたため、「インターネット」と呼ばれる新しいものを使用して学術論文を提出した方法について皆に話しました。 (HotCRPはまだ😄発明されていません)

@chbpap @ethereum Ioannis Tollis、1986 👌 年のスライドの様子を思い出させます 聴衆からの質問: 「それは何のフォントでしたか?」 😅

@chbpap @ethereum 研究の一番いいところは人です!❤️

@chbpap @ethereum @chbpap、若い博士課程の学生として!

@chbpap @ethereum 学業生活の優先順位を正すことが重要です。

@chbpap @ethereum 聞いたことのない木...

@chbpap @ethereum

@chbpap @ethereum 夜をつかむ(グラフアルゴリズムと認証されたデータ構造に取り組む)

@chbpap @ethereum ロベルトの元博士課程の学生のパネル。

@chbpap @ethereum @motiyung彼の特異な研究習慣について教えてくれます...

@chbpap @ethereum @motiyung...そして、彼がロベルトに会った頃、二人は2つの提出物を1つに統合しなければならなかったとき。

@chbpap @ethereum @motiyung どうやら、彼らの共著者の一人であるジェフ・ウェストブルックは、『ザ・シンプソンズ』の脚本家の一人であるようです。🤯 そのため、番組では数学がたくさん見られます (P != NP など)

@chbpap @ethereum @motiyung Anna Lysyanskaya が、EUDI 規制 (怖い) と、匿名の資格情報が、重大な欠陥のある最初の EU 提案に切望されているプライバシーを与えるのにどのように役立つかについて語ってくれました。

@chbpap @ethereum @motiyung (投稿を休まなければなりませんでしたが、講演はとても魅力的でした。そして、講演をする人は皆、心の底から思い出を語り、写真を見せ、時には技術的な内容をこっそり入れて、特別な感覚が漂っていました。

@chbpap @ethereum @motiyung @ElaineRShi、話を始めた。

@chbpap @ethereum @motiyung @ElaineRShi Elaine は、Roberto の ORAM に関する研究について語ってくれました。 (この外部メモリモデルは、講演中ずっと出てきました。調べてみたいかもしれません!

@chbpap @ethereum @motiyung @ElaineRShi 1.パパマンタウ-シ-タマシア(PST)コミットメント:最初の(AFAIK)_多変量_多項式コミットメントスキーム!

@chbpap @ethereum @motiyung @ElaineRShi このスキームで私が気に入っていることの1つは、その分解補題がPCSオープニングプルーフを生成する方法です。

@chbpap @ethereum @motiyung @ElaineRShi (詳細については、 でお読みください!

@chbpap @ethereum @motiyung @ElaineRShi 2.蓄積木(別名、Verkle木)

@chbpap @ethereum @motiyung @ElaineRShi アキュムレーションツリーは、ハッシュ関数が暗号化アキュムレータ(RSAや双線形など)であるk元マークルツリーにすぎません これらはセットを認証するために設計されました。 Verkleの木は、[Kusz18]で紹介された小さなバリエーションです。

@chbpap @ethereum @motiyung @ElaineRShi [Kusz18]: Verkle Trees、ジョン・クズマウル、2018年、 しかし、実際には、ハッシュ関数がベクトルコミットメントであるk元接頭辞マークルツリーのVerkleパラダイムは、[LY10; Sec. 4]で最初に登場しましたが、ZKセットの構築のコンテキストで。

@chbpap @ethereum @motiyung @ElaineRShi [LY10] 簡潔な水銀ベクトルのコミットメントと短い証明による独立したゼロ知識セット。リバート、ブノワ、ユン、モティ著。TCC'10 で。2010

@chbpap @ethereum @motiyung @ElaineRShi 3.一般化されたハッシュツリー(またはハークルツリー:) 優れた「準同型」特性を持つマークルツリーで、ステートレス検証に非常に役立ちます。

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13]では、Robertoと彼の共著者は、Ajtaiハッシュ関数から格子ベースのHerkleツリーを与えています。 (⚠️下の図は単純化しすぎています!

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13] ストリーミング認証されたデータ構造;パパマントウ、チャラランポスとシー、エレインとタマシア、ロベルトとイー、ケ。EUROCRYPT 2013 で。 残念ながら、この [PSTY13] Herkle にはスケーラビリティの変更がいくつかあります: 木の深さは無制限ですが、準同型は有界です。

@chbpap @ethereum @motiyung @ElaineRShi これは、準同型演算は、スキームのセットアップ時に決定される固定回数のみ適用できることを意味します。 さらに、操作が多ければ多いほど、スキームの効率は低下します。 これはちょっと迷惑です:私たちは*効率的*で無制限の準同型が欲しいのです!

@chbpap @ethereum @motiyung @ElaineRShi (AMTやHyperpoofsのような他のHerkleツリーがありますが、それらは問題を切り替えるだけです:それらは無限の準同型を持っていますが、有界の深さを持っています。まだ迷惑です。 なんて素晴らしい研究問題でしょう!皆さんに解決に努めることをお勧めします。

@chbpap @ethereum @motiyung @ElaineRShi (他にもハークルツリーがあるが、 AMTs、Hyperpoofs 。しかし、彼らは問題を切り替えるだけです:彼らは無限の準同型を持っていますが、深さは限られています。まだ迷惑です。 なんて素晴らしい研究問題でしょう!皆さんに解決に努めることをお勧めします。

@chbpap @ethereum @motiyung @ElaineRShi さて、木に夢中になっている人々の木についてはもう十分です。 ロベルトの閉会の挨拶の時間です! これらは、彼が母親の監視を逃れ、🚲 😆自分の

@chbpap @ethereum @motiyung @ElaineRShi その秘訣は、母親に、家の前の小さな道路を自転車で走行するたびに、視界に留まったまま必ず素早く戻ってくると信じ込ませることでした。 ある日、彼は機会を見つけ、代わりに真っ直ぐに向かいました。 🛣️

@chbpap @ethereum @motiyung @ElaineRShiロベルトの最初の車で、実際には「ブラウン」と書かれていましたが、この写真では見えませんが、ロベルトが学業生活のほとんどをどこで過ごすかをほとんど予言しています。

@chbpap @ethereum @motiyung @ElaineRShi 夜は夕食で終わり、人々はジョークや物語を語り続けました。

@chbpap @ethereum @motiyung @ElaineRShi マイク・グッドリッチがロベルトの重要な教えである「常に旅行を最適化する」を語ってくれました。

@chbpap @ethereum @motiyung @ElaineRShi なんて素晴らしい夜だったのでしょう!❤️