I would guess they are even Zero Knowledge Proofs of Knowledge. With the witness being the actual password.
On second thought, whilst that might be colloquially true. It might not meet the actual definition. An extractor might be hard to build.
That said, this page is implicitly focused on ZK computational proofs for general computations. It's also fairly out of date at this point.