ZKPs in Web 3: Now and the Future