tipus de prova que es pot comprovar per un algorisme aleatori usant una quantitt d'atzar fitat (ca)
type of proof that can be checked by a randomized algorithm using a bounded amount of randomness and reading a bounded number of bits of the proof (en)