fn compute_deferred_values( proof: &PicklesProofProofsVerified2ReprStableV2, ) -> Result<DeferredValues<Fp>>