pp_adder_4_bit

frontend::components::sha2_gkr::brent_kung_adder

Function pp_adder_4_bit 

Source 
fn pp_adder_4_bit<F: Field>(
    builder_ref: &mut CircuitBuilder<F>,
    x_val: NodeRef<F>,
    y_val: NodeRef<F>,
    carry_in: Option<NodeRef<F>>,
) -> (NodeRef<F>, NodeRef<F>)