Computer Architecture and Trustworthy Systems Lab

Zero Knowledge Proofs

     零知识证明(ZKP)能够在不泄露任何额外信息的前提下核验一个声明的真实性,其独特之处在于可以确保数据的完整性,在区块链、外包计算等场景中极具潜力。一直以来,证明生成阶段的延迟都是ZKP技术广泛应用的主要阻碍,一次区块链上的成员证明可能需要数十分钟到数个小时,而对于更复杂的电路,如LLM,一次证明的时间可能以天为单位。

     CATSLab关于ZKP Hardware Acceleration的系列工作发表于ASPLOS'24和ASPLOS'25,承担山东大学-蚂蚁集团隐私计算联合研究中心课题《面向GPU集群的零知识证明并行算法研究》。