Vitalik Buterin, Sıfır Bilgi Kanıtları ve FHE için Yeni Verimlilik Metriği Öneriyor