We do not currently know of any synonyms for probabilistically checkable proof.
The noun probabilistically checkable proof is defined as:
Win Amazon gift cards by writing simple stories at Fictish, a new story writing game backed by WordHippo.