Hardy-Stein identity for pure-jump Dirichlet forms

We prove the $L^p$ variant of the Hardy-Stein identity for Sobolev-Bregman forms associated with pure-jump Dirichlet forms, under a rather mild assumptions. Along the way, we obtain a general result in terms of the $p$-form defined in a more abstract way.