2024年10月30日上午，上海交通大學網絡安全學院的徐燕虹助理研究員受邀來到我院，為我院師生帶來了一場題為《Advancing VOLE-Based Zero-Knowledge Proofs: The Shift from Designated to Public Verification》的學術報告。

在報告中，徐燕虹助理研究員首先對零知識證明問題進行了全面而詳細的介紹。她指出，零知識證明作為一種重要的密碼學工具，能夠在不洩露隐私信息的前提下，驗證某個命題的真實性。随後，她深入探讨了VOLE（Vector Oblivious Linear Evaluation）這一關鍵的兩方協議關系，并指出借助這一協議，可以構建針對任意電路的零知識證明協議。然而，由于這些協議僅為接收者所知，因此構造的零知識證明協議是指定驗證者的。針對這一問題，徐燕虹助理研究員進一步探讨了如何将基于VOLE的協議拓展為公開驗證者模式。她詳細介紹了這一過程中的關鍵技術和挑戰，并展示了其研究成果，使得基于VOLE的零知識證明協議能夠應用于更廣泛的場景。

報告的最後部分，徐燕虹助理研究員介紹了VOLE-in-the-head這一創新技術，并展示了這一技術在數字簽名、環簽名、群簽名等多個領域中的重要應用前景。報告結束後，參會師生紛紛表示受益匪淺，并就相關問題與徐燕虹助理研究員展開了熱烈的讨論。

專家簡介：

徐燕虹，上海交通大學，助理研究員。主要研究方向為基于後量子密碼學假設的隐私保護協議，特别是格上和編碼上的群簽名方案和群加密方案的構造等相關領域。2019年1月畢業于新加坡南洋理工大學，獲博士學位。2019年2月至2021年2月期間，在加拿大卡爾加裡大學計算機學院從事博士後研究。多篇論文發表在密碼學旗艦會議和期刊上，包括亞密會、PKC、Theoretical Computer Science等。

(審稿：何鵬)