Proving Pro Circuit