How can I validate that proof?