1 year agoArthur merlin protocol application: Prove if NP subset of BPP implies PH collapseericntunctu