Vitalik Buterin proponuje implementację funkcji ZK-SNark