Tag
PANDA is a scalable system using zero-knowledge proofs to verify the robustness and fairness of neural networks without revealing model parameters, enabling certification for large networks with polynomial complexity.