使用 #ZK 可驗證計算時的感覺。