비탈릭 부테린, 이더리움 확장성 핵심으로 ZK-SNARKs 지목