Polished up the Zero Knowledge Protocol section