shb_proof