Verification can only be done as an inverse proof. The revert is included and we have not heard about any issues.
Verification can only be done as an inverse proof. The revert is included and we have not heard about any issues.