Open the developer tools to see the generated proof and its validation