This documentation page moved to /btpc/guides/verifying.html.