Automated zero-knowledge proof generator and verification for Diffie-Hellman secret-sharing scheme.