snarks 1 Validación de Sensores IoT con ZKP: Diseñando Circuitos en Circom y Setup con Groth16 Sep 10, 2026