Héctor Masip Ardevol2 talks by Héctor Masip ArdevolzkVM Proof Aggregation: From Zero to HeroVADCOPs: Leveraging STARKs for Tailored Proof Generation