Αλλάζει το σύστημα έκδοσης αποδείξεων