probabilistically checkable proofs

== English == === Noun === probabilistically checkable proofs plural of probabilistically checkable proof