Updated demo and verifier