Vitalik Buterin explore les Circle STARK, une nouvelle méthode bien plus optimisée et moins gourmande en ressources pour les zk-proofs.