Informasi yang berkaitan dengan en/P/Probabilistically checkable proof