circuit_sub

Creates a new circuit element representing subtraction modulo p of two input circuits.This function combines two circuit elements using modular subtraction, creating a new circuit element that represents their difference modulo the circuit's modulus. # Argumentslhs - Left-hand side circuit element (minuend) * rhs - Right-hand side circuit element (subtrahend) # ReturnsA new circuit element representing (lhs - rhs) mod p # Examples

let a = CircuitElement::<CircuitInput<0>> {};
let b = CircuitElement::<CircuitInput<1>> {};
let diff = circuit_sub(a, b);

Fully qualified path: core::circuit::circuit_sub

pub fn circuit_sub<Lhs, Rhs, +CircuitElementTrait<Lhs>, +CircuitElementTrait<Rhs>>(
    lhs: CircuitElement<Lhs>, rhs: CircuitElement<Rhs>,
) -> CircuitElement<SubModGate<Lhs, Rhs>>