The songs and dances performed at festivals are a vehicle for spreading Tibetan Buddhism, of which the lengthy Vajra dance is one type.
