(
&'a self,
setup_params: &'a [SetupParams<E>],
st_idx: usize,
)
| 56 | } |
| 57 | |
| 58 | pub fn get_setup_params<'a, E: Pairing<G1Affine = G>>( |
| 59 | &'a self, |
| 60 | setup_params: &'a [SetupParams<E>], |
| 61 | st_idx: usize, |
| 62 | ) -> Result<&'a BppSetupParams<G>, ProofSystemError> { |
| 63 | extract_param!( |
| 64 | setup_params, |
| 65 | &self.params, |
| 66 | self.params_ref, |
| 67 | BppSetupParams, |
| 68 | IncompatibleBoundCheckSetupParamAtIndex, |
| 69 | st_idx |
| 70 | ) |
| 71 | } |
| 72 | } |
| 73 | |
| 74 | /// Public values for proving knowledge of bound check using Bulletproofs++. |
no outgoing calls