https://cryptostudent.io/google-clouds-bigquery-embraces-space-and-times-zk-proof-for-verifiable-query-results/