How to Update Non-Membership Witness upon deletion in RSA Dynamic Universal Accumulator
The updated Non-Membership Witness ($\hat a, \hat d$) upon deleting a member $\hat x$ can be calculated as follows:
$\hat a = a\hat x\mod x$
$r = (a\hat x - \hat a)/x$
$ \hat d = (d\hat c$ -r )$\mod n$
Hope this is useful to future developers trying to deconstruct these equations.