Vitalik Buterin propone l'implementazione della funzione ZK-SNark