Add Proof function for NSEC/NSEC3