(
&'a self,
setup_params: &'a [SetupParams<E>],
st_idx: usize,
)
| 59 | } |
| 60 | |
| 61 | pub fn get_params<'a, E: Pairing<G1Affine = G>>( |
| 62 | &'a self, |
| 63 | setup_params: &'a [SetupParams<E>], |
| 64 | st_idx: usize, |
| 65 | ) -> Result<&'a MACParams<G>, ProofSystemError> { |
| 66 | extract_param!( |
| 67 | setup_params, |
| 68 | &self.mac_params, |
| 69 | self.mac_params_ref, |
| 70 | BBDT16MACParams, |
| 71 | IncompatibleBBSPlusSetupParamAtIndex, |
| 72 | st_idx |
| 73 | ) |
| 74 | } |
| 75 | } |
| 76 | |
| 77 | impl<G: ark_ec::AffineRepr> PoKOfMACFullVerifier<G> { |
no outgoing calls