Tại RobertoFest hôm nay, kỷ niệm 40 năm đóng góp của Roberto Tamassia cho các cấu trúc dữ liệu xác thực (và nhiều hơn nữa!) Cập nhật sắp tới!👇

Michael Goodrich, cho chúng ta thấy mọi người cảm thấy như thế nào về sách thuật toán của anh ấy và Roberto:

Trước đây, @chbpap đã trình bày cách mà tác phẩm cổ điển của Roberto về từ điển xác thực liên tục đã thúc đẩy các blockchain hiện đại như @ethereum. (Hãy chờ cho đến khi tôi nói với bạn về nguồn gốc của cây Verkle...)

@chbpap @ethereum Giuseppe Di Battista, đang kể cho mọi người về cách họ đã sử dụng cái mới gọi là "internet" để nộp một bài báo học thuật vì đã quá muộn để gửi bản in qua bưu điện. (HotCRP vẫn chưa được phát minh 😄)

@chbpap @ethereum Ioannis Tollis, nhắc nhở chúng ta về cách mà các slide trông như thế nào vào năm 1986 👌 Câu hỏi từ khán giả: “Phông chữ đó là gì?” 😅

@chbpap @ethereum Điều tuyệt vời nhất về nghiên cứu là con người! ❤️

@chbpap @ethereum @chbpap, như một sinh viên tiến sĩ trẻ!

@chbpap @ethereum Quan trọng là phải xác định đúng ưu tiên trong cuộc sống học tập của bạn!

@chbpap @ethereum Những cái cây mà tôi chưa bao giờ nghe đến trước đây...

@chbpap @ethereum

@chbpap @ethereum Nắm bắt đêm (để làm việc trên các thuật toán đồ thị và cấu trúc dữ liệu xác thực)

@chbpap @ethereum Ban hội thảo của các cựu sinh viên tiến sĩ của Roberto.

@chbpap @ethereum @motiyung đang kể cho chúng ta về thói quen nghiên cứu đặc biệt của anh ấy…

@chbpap @ethereum @motiyung …và về thời điểm anh ấy gặp Roberto: khi hai người phải hợp nhất hai bài nộp của họ thành một.

@chbpap @ethereum @motiyung Rõ ràng, một trong những đồng tác giả của họ, Jeff Westbrook, là một trong những nhà biên kịch của The Simpsons! 🤯 Đó là lý do tại sao bạn thấy nhiều toán học trong chương trình (như P != NP)

@chbpap @ethereum @motiyung Anna Lysyanskaya, đang nói với chúng ta về quy định EUDI (đáng sợ) và cách mà các thông tin xác thực ẩn danh sẽ giúp mang lại sự riêng tư cần thiết cho đề xuất ban đầu của EU, vốn có nhiều thiếu sót!

@chbpap @ethereum @motiyung (Tôi đã phải tạm dừng việc đăng bài: các cuộc trò chuyện rất hấp dẫn. Và có một cảm giác đặc biệt trong không khí: mọi người đã phát biểu đều từ tận đáy lòng, kể lại những kỷ niệm, trình chiếu hình ảnh và đôi khi lén lút đưa vào một chút nội dung kỹ thuật.)

@chbpap @ethereum @motiyung @ElaineRShi, bắt đầu bài nói của cô ấy.

@chbpap @ethereum @motiyung @ElaineRShi Elaine đã nói với chúng tôi về công việc của Roberto trên ORAMs. (Mô hình bộ nhớ ngoài này đã được nhắc đến nhiều lần trong các buổi nói chuyện. Có thể muốn tìm hiểu thêm về nó!)

@chbpap @ethereum @motiyung @ElaineRShi 1. Cam kết Papamanthou-Shi-Tamassia (PST): kế hoạch cam kết đa biến đầu tiên (theo như tôi biết)!

@chbpap @ethereum @motiyung @ElaineRShi Một trong những điều tôi thích nhất về kế hoạch này là cách mà định lý phân rã của nó tạo ra một bằng chứng mở PCS.

@chbpap @ethereum @motiyung @ElaineRShi (Đọc thêm về nó tại , sẽ được cập nhật sớm!)

@chbpap @ethereum @motiyung @ElaineRShi 2. Cây tích lũy (còn gọi là, cây Verkle)

@chbpap @ethereum @motiyung @ElaineRShi Cây tích lũy chỉ là cây Merkle k-ary, trong đó hàm băm là các bộ tích cryptographic (ví dụ: RSA hoặc bilinear) Chúng được thiết kế để xác thực các tập hợp. Cây Verkle là một biến thể nhỏ được giới thiệu trong [Kusz18].

@chbpap @ethereum @motiyung @ElaineRShi [Kusz18]: Cây Verkle, John Kuszmaul, 2018, Nhưng thực sự, mô hình Verkle của cây Merkle tiền tố k-ary, nơi hàm băm là một cam kết vector, lần đầu tiên xuất hiện trong [LY10; Sec. 4], mặc dù trong bối cảnh xây dựng các tập hợp ZK.

@chbpap @ethereum @motiyung @ElaineRShi [LY10] Cam kết vector Mercurial ngắn gọn và các tập không kiến thức độc lập với các chứng minh ngắn; bởi Libert, Benoît và Yung, Moti; trong TCC'10; 2010

@chbpap @ethereum @motiyung @ElaineRShi 3. Cây băm tổng quát (hay còn gọi là cây Herkle: ) Một cây Merkle với các thuộc tính "đồng hình" rất tốt, rất hữu ích cho việc xác thực không trạng thái.

@chbpap @ethereum @motiyung @ElaineRShi Trong [PSTY13], Roberto và các đồng tác giả của ông đưa ra một cây Herkle dựa trên lưới từ hàm băm Ajtai. (⚠️ Hình dưới đây là một sự đơn giản hóa quá mức!)

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13] Cấu trúc dữ liệu xác thực luồng; của Papamanthou, Charalampos và Shi, Elaine và Tamassia, Roberto và Yi, Ke; trong EUROCRYPT 2013; Thật không may, [PSTY13] Herkle này có một số thay đổi về khả năng mở rộng: trong khi độ sâu của cây là không giới hạn, thì đồng cấu lại có giới hạn.

@chbpap @ethereum @motiyung @ElaineRShi Điều này có nghĩa là phép toán đồng hình chỉ có thể được áp dụng một số lần cố định, được xác định tại thời điểm thiết lập của sơ đồ. Hơn nữa, càng nhiều phép toán bạn muốn, sơ đồ càng kém hiệu quả. Điều này hơi phiền phức: chúng tôi muốn một phép đồng hình *hiệu quả*, không giới hạn!

@chbpap @ethereum @motiyung @ElaineRShi (Có những cây Herkle khác như AMTs và Hyperpoofs, chúng chỉ thay đổi vấn đề: chúng có đồng hình không giới hạn nhưng độ sâu có giới hạn. Vẫn thật phiền phức.) Thật là một vấn đề nghiên cứu tuyệt vời! Tôi kêu gọi mọi người hãy cố gắng giải quyết nó.

@chbpap @ethereum @motiyung @ElaineRShi (Có những cây Herkle khác: AMTs và Hyperpoofs. Nhưng chúng chỉ chuyển đổi vấn đề: chúng có đồng cấu không giới hạn nhưng độ sâu có giới hạn. Vẫn thật phiền phức.) Thật là một vấn đề nghiên cứu tuyệt vời! Tôi kêu gọi mọi người hãy cố gắng giải quyết nó.

@chbpap @ethereum @motiyung @ElaineRShi Được rồi: đủ rồi về những cái cây từ những người cuồng chúng. Đến lúc nghe những nhận xét cuối cùng của Roberto! Những điều này bắt đầu với một lời giải thích về cách anh ấy đã sử dụng học máy đối kháng (các cuộc tấn công nhiễm độc) để tránh sự giám sát của mẹ và trốn thoát ra đường lớn trên chiếc 🚲 😆

@chbpap @ethereum @motiyung @ElaineRShi Mẹ của anh đã được "(không) quen" với việc tin rằng, mỗi khi anh lấy xe đạp đi dạo trên con đường nhỏ trước nhà, anh sẽ luôn trở về nhanh chóng trong tầm nhìn. Cho đến một ngày, anh đã tìm thấy một cơ hội, và thay vào đó, anh đã đi thẳng đến 🛣️

@chbpap @ethereum @motiyung @ElaineRShi Chiếc xe đầu tiên của Roberto, thực sự có chữ "Brown" viết trên đó, mặc dù bạn không thể thấy nó trong bức ảnh này, gần như đã tiên đoán nơi mà Roberto sẽ dành phần lớn cuộc đời học thuật của mình: Đại học Brown

@chbpap @ethereum @motiyung @ElaineRShi Đêm kết thúc bằng một bữa tối, nơi mọi người tiếp tục kể chuyện cười và những câu chuyện.

@chbpap @ethereum @motiyung @ElaineRShi Mike Goodrich đang nói với chúng ta về bài học quan trọng của Roberto: "luôn tối ưu hóa việc di chuyển,"

@chbpap @ethereum @motiyung @ElaineRShi Thật là một đêm tuyệt vời! ❤️