Trustless verifiable data infrastructure powered by zero-knowledge proofs