Crown

新系统使用零知识证明实现私密神经网络保证

研究人员开发了PANDA，一个使用零知识证明（ZKPs）来验证神经网络的鲁棒性和公平性而无需泄露其私有参数的新系统。PANDA构建在CROWN框架之上，引入了一种新颖的算法来证明非线性激活层中的边界，从而实现高效且可扩展的证明。该系统可以在五分钟内为拥有超过290万个参数的网络生成证明，并在十秒内验证它们，在网络大小和证明者开销方面显著优于以前基于ZKP的方法。