ProofSamples with xor proofs in both styles