ヴィタリック・ブテリン、ゼロ知識証明とFHEの新たな効率性指標を提案