pub fn prove_disjunction(&self, preds: &[Predicate]) -> PointOp {
        let f = Self::commit_disjunction(preds.iter().map(|p| p.to_point()));

        // P = X[0] + f*B
        PointOp {
            primary: Some(f),
            secondary: None,
            arbitrary: vec![
                (Scalar::one(), preds[0].to_point()),
                (-Scalar::one(), self.to_point()),
            ],
        }
    }
/// Verifies whether the current predicate is a disjunction of n others.
/// Returns a `PointOp` instance that can be verified in a batch with other operations.
Verifies whether the current predicate is a disjunction of n others.
Returns a `PointOp` instance that can be verified in a batch with other operations.
Verifies whether the current predicate is a disjunction of n others . Returns a ` PointOp ` instance that can be verified in a batch with other operations .
pub fn prove_disjunction(&self, preds: &[Predicate]) -> PointOp {
        let f = Self::commit_disjunction(preds.iter().map(|p| p.to_point()));
        // P = X[0] + f*B
        PointOp {
            primary: Some(f),
            secondary: None,
            arbitrary: vec![
                (Scalar::one(), preds[0].to_point()),
                (-Scalar::one(), self.to_point()),
            ],
        }
    }
pub fn prove_disjunction ( & self , preds : & [ Predicate ] ) -> PointOp { let f = Self :: commit_disjunction ( preds . iter ( ) . map ( | p | p . to_point ( ) ) ) ; // P = X[0] + f*B PointOp { primary : Some ( f ) , secondary : None , arbitrary : vec ! [ ( Scalar one ( ) preds [ 0 ] to_point ( ) ) ( Scalar one ( ) self to_point ( ) ) ] , } }
Verifies whether the current predicate is a disjunction of n others.
Verifies whether the current predicate is a disjunction of n others .
&self
preds
&[Predicate]
&self
preds
&[Predicate]