No RobertoFest hoje, comemorando os 40 anos de contribuições de Roberto Tamassia para estruturas de dados autenticadas (e muito mais!) Atualizações chegando! 👇

Michael Goodrich, mostrando-nos como as pessoas se sentiam sobre os livros de algoritmos dele e de Roberto:

Antes disso, @chbpap mostrando como o trabalho clássico de Roberto em dicionários autenticados persistentes alimenta blockchains modernos como @ethereum. (Espere até eu falar sobre as árvores Verkle vieram ...)

@chbpap @ethereum Giuseppe Di Battista, contando a todos como eles usaram essa coisa nova chamada "internet" para enviar um trabalho acadêmico porque era tarde demais para enviar a cópia impressa. (HotCRP ainda 😄 não foi inventado)

@chbpap @ethereum Ioannis Tollis, lembrando-nos como eram os slides em 1986 👌 Pergunta da platéia: "Que fonte era essa?" 😅

@chbpap @ethereum A coisa mais legal sobre a pesquisa são as pessoas! ❤️

@chbpap @ethereum @chbpap, como um jovem estudante de doutorado!

@chbpap @ethereum É importante definir as prioridades da sua vida acadêmica!

@chbpap @ethereum Árvores das quais nunca ouvi falar antes...

@chbpap @ethereum

@chbpap @ethereum Aproveite a noite (para trabalhar em algoritmos de grafos e estruturas de dados autenticadas)

@chbpap @ethereum Painel de ex-alunos de doutorado de Roberto.

@chbpap @ethereum @motiyung nos contando sobre seus hábitos peculiares de pesquisa ...

@chbpap @ethereum @motiyung ... e na época em que conheceu Roberto: quando os dois tiveram que fundir suas duas submissões em uma.

@chbpap @ethereum @motiyung Aparentemente, um de seus co-autores, Jeff Westbrook, é um dos escritores de Os Simpsons! 🤯 É por isso que você vê tanta matemática no programa (como P != NP)

@chbpap @ethereum @motiyung Anna Lysyanskaya, contando-nos sobre o regulamento EUDI (assustador) e como credenciais anônimas ajudariam a dar a privacidade necessária à proposta inicial da UE!

@chbpap @ethereum @motiyung (Tive que fazer uma pausa na postagem: as palestras foram muito envolventes. E havia um sentimento especial no ar: todos que deram uma palestra o fizeram do fundo do coração, contando memórias, mostrando fotos e às vezes introduzindo um pouco de conteúdo técnico.)

@chbpap @ethereum @motiyung @ElaineRShi, começando sua palestra.

@chbpap @ethereum @motiyung @ElaineRShi Elaine nos contou sobre o trabalho de Roberto em ORAMs. (Esse modelo de memória externa continuou surgindo ao longo das palestras. Pode querer dar uma olhada!)

@chbpap @ethereum @motiyung @ElaineRShi 1. Compromissos de Papamanthou-Shi-Tamassia (PST): o primeiro esquema de compromisso polinomial _multivariado_ (AFAIK)!

@chbpap @ethereum @motiyung @ElaineRShi Uma das minhas coisas favoritas sobre esse esquema é como seu lema de decomposição produz uma prova de abertura PCS.

@chbpap @ethereum @motiyung @ElaineRShi (Leia mais sobre isso em , a ser atualizado em breve!)

@chbpap @ethereum @motiyung @ElaineRShi 2. Árvores de acumulação (também conhecidas como árvores Verkle)

@chbpap @ethereum @motiyung @ElaineRShi As árvores de acumulação são apenas árvores de Merkle k-ary, onde a função hash é um acumulador criptográfico (por exemplo, RSA ou bilinear) Eles foram projetados para autenticar conjuntos. As árvores Verkle são uma pequena variação introduzida em [Kusz18].

@chbpap @ethereum @motiyung @ElaineRShi [Kusz18]: Árvores Verkle, John Kuszmaul, 2018, Mas, na verdade, o paradigma Verkle das árvores Merkle do prefixo k-ary, onde a função hash é um compromisso vetorial, apareceu pela primeira vez em [LY10; Sec. 4], embora no contexto da construção de conjuntos ZK.

@chbpap @ethereum @motiyung @ElaineRShi [LY10] Compromissos concisos de vetor mercurial e conjuntos independentes de conhecimento zero com provas curtas; por Libert, Benoît e Yung, Moti; no TCC'10; 2010

@chbpap @ethereum @motiyung @ElaineRShi 3. Árvores de hash generalizadas (ou árvores de Herkle: ) Uma árvore Merkle com boas propriedades "homomórficas", muito útil para validação sem estado.

@chbpap @ethereum @motiyung @ElaineRShi Em [PSTY13], Roberto e seus co-autores fornecem uma árvore de Herkle baseada em rede da função hash Ajtai. ⚠️ (A figura abaixo é uma simplificação excessiva!)

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13] Estruturas de dados autenticadas de streaming; por Papamanthou, Charalampos e Shi, Elaine e Tamassia, Roberto e Yi, Ke; no EUROCRYPT 2013; Infelizmente, este [PSTY13] Herkle tem algumas mudanças de escalabilidade: enquanto a profundidade da árvore é ilimitada, o homomorfismo é limitado.

@chbpap @ethereum @motiyung @ElaineRShi Isso significa que a operação homomórfica só pode ser aplicada um número fixo de tempo, determinado no momento da configuração do esquema. Além disso, quanto mais operações você quiser, menos eficiente será o esquema. Isso é meio chato: gostaríamos de homomorfismo * eficiente * e ilimitado!

@chbpap @ethereum @motiyung @ElaineRShi (Existem outras árvores de Herkle como AMTs e Hyperpoofs, elas apenas mudam o problema: elas têm homomorfismo ilimitado, mas profundidade limitada. Ainda irritante.) Que grande problema de pesquisa! Peço a todos que tentem resolvê-lo.

@chbpap @ethereum @motiyung @ElaineRShi (Existem outras árvores de Herkle: AMTs e Hyperpoofs . Mas eles apenas mudam a questão: eles têm homomorfismo ilimitado, mas profundidade limitada. Ainda irritante.) Que grande problema de pesquisa! Peço a todos que tentem resolvê-lo.

@chbpap @ethereum @motiyung @ElaineRShi Tudo bem: chega de árvores de pessoas obcecadas por elas. Hora das considerações finais de Roberto! Isso começou com uma explicação de como ele usou o aprendizado de máquina adversário (ataques de envenenamento) para escapar da supervisão de sua mãe e escapar para a estrada aberta em seu 🚲 😆

@chbpap @ethereum @motiyung @ElaineRShi O truque foi "(des)habituar" sua mãe a acreditar que, sempre que ele leva a bicicleta para passear na pequena estrada em frente à sua casa, ele sempre voltará rapidamente enquanto permanece à vista. Até que um dia, ele encontrou uma oportunidade e, em vez disso, foi direto para o 🛣️

@chbpap @ethereum @motiyung @ElaineRShi o primeiro carro de Roberto, que na verdade tinha "Brown" escrito nele, embora você não possa vê-lo nesta foto, quase prevendo onde Roberto passaria a maior parte de sua vida acadêmica: Brown University

@chbpap @ethereum @motiyung @ElaineRShi A noite terminou com um jantar, onde as pessoas continuaram a contar piadas e histórias.

@chbpap @ethereum @motiyung @ElaineRShi Mike Goodrich nos dizendo qual é o principal ensinamento de Roberto: "sempre otimize as viagens",

@chbpap @ethereum @motiyung @ElaineRShi Que noite maravilhosa foi essa! ❤️