Takes immense knowledge to implement zero-knowledge