get active proofs for