pub fn prove_program_predicate(&self, prog: &[u8], blinding: &[u8]) -> PointOp {
        let h = Self::commit_program(prog, blinding);
        // P == h*B2   ->   0 == -P + h*B2
        PointOp {
            primary: None,
            secondary: Some(h),
            arbitrary: vec![(-Scalar::one(), self.to_point())],
        }
    }
/// Verifies whether the current predicate is a commitment to a program `prog`.
/// Returns a `PointOp` instance that can be verified in a batch with other operations.
Verifies whether the current predicate is a commitment to a program `prog`.
Returns a `PointOp` instance that can be verified in a batch with other operations.
Verifies whether the current predicate is a commitment to a program ` prog ` . Returns a ` PointOp ` instance that can be verified in a batch with other operations .
pub fn prove_program_predicate(&self, prog: &[u8], blinding: &[u8]) -> PointOp {
        let h = Self::commit_program(prog, blinding);
        // P == h*B2   ->   0 == -P + h*B2
        PointOp {
            primary: None,
            secondary: Some(h),
            arbitrary: vec![(-Scalar::one(), self.to_point())],
        }
    }
pub fn prove_program_predicate ( & self , prog : & [ u8 ] , blinding : & [ u8 ] ) -> PointOp { let h = Self :: commit_program ( prog , blinding ) ; // P == h*B2   ->   0 == -P + h*B2 PointOp { primary : None , secondary : Some ( h ) , arbitrary : vec ! [ ( Scalar one ( ) self to_point ( ) ) ] , } }
Verifies whether the current predicate is a commitment to a program `prog`.
Verifies whether the current predicate is a commitment to a program ` prog ` .
&self
prog
&[u8]
blinding
&[u8]
&self
prog
&[u8]
blinding
&[u8]