los costos de zk proof han disminuido en relación con la computación que se está probando...