Vitalik Buterin Explained the Advantages of GKR Protocols for the Efficiency of ZK-Proofs