Loading keys & verifying proofs…