zkVerify is a public, decentralized blockchain dedicated to zero-knowledge proof verification. It accepts proofs from multiple proving systems, verifies them, and records both the proof and its verification on-chain. It is designed to offload verification from L1s/app chains and supports native verification of proofs that are costly or constrained on the EVM (including STARKs).