Vitalik Buterin propone la implementación de la función ZK-SNark