Computer Architecture and Trustworthy Systems Lab 山东大学主页平台管理系统--CATSlab

Zero Knowledge Proofs

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

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