Corsi di Probabilistically Checkable Proofs