robustness-certification

PANDA 是一个可扩展的系统，使用零知识证明来验证神经网络的鲁棒性和公平性，无需揭示模型参数，从而能够对具有多项式复杂度的大型网络进行认证。