Proof Hub is implemented as a system parachain on NullaNet that verifies zero-knowledge proofs, enforces nullifier uniqueness, maintains the global Merkle root, and emits verification results for other chains.