Un protocolo básico SNARK/STARK Sesión completa aquí: