Category talk:Zero-knowledge protocols