Function storage_proofs_core::gadgets::constraint::difference

source ยท 
pub fn difference<Scalar: PrimeField, A, AR, CS: ConstraintSystem<Scalar>>(
    cs: &mut CS,
    annotation: A,
    a: &AllocatedNum<Scalar>,
    b: &AllocatedNum<Scalar>,
    difference: &AllocatedNum<Scalar>,
)
where
    A: FnOnce() -> AR,
    AR: Into<String>,
Expand description

Adds a constraint to CS, enforcing a difference relationship between the allocated numbers a, b, and difference.

a - b = difference