zkVerify is a high-performance, public, and decentralized blockchain for zero-knowledge proof...