Function r1cs_zkinterface::write_circuit_and_witness

pub fn write_circuit_and_witness<F: Field, W: Write>(
    gadget: &Gadget<F>, 
    witness: &WireValues<F>, 
    public_wires: &HashSet<Wire>, 
    writer: &mut W
)