guardando i discorsi del workshop sui proof di Berkeley, e felice di vedere che anche nei circoli teorici sta diventando accettato dire zkzk per significare che hai effettivamente zk.