pub fn default(S: &R1CSShape<G>) -> RelaxedR1CSWitness<G> {
    RelaxedR1CSWitness {
      W: vec![G::Scalar::zero(); S.num_vars],
      E: vec![G::Scalar::zero(); S.num_cons],
    }
  }
/// Produces a default RelaxedR1CSWitness given an R1CSShape
Produces a default RelaxedR1CSWitness given an R1CSShape
Produces a default RelaxedR1CSWitness given an R1CSShape
pub fn default(S: &R1CSShape<G>) -> RelaxedR1CSWitness<G> {
    RelaxedR1CSWitness {
      W: vec![G::Scalar::zero(); S.num_vars],
      E: vec![G::Scalar::zero(); S.num_cons],
    }
  }
pub fn default ( S : & R1CSShape < G > ) -> RelaxedR1CSWitness < G > { RelaxedR1CSWitness { W : vec ! [ G Scalar zero ( ) S num_vars ] , E : vec ! [ G Scalar zero ( ) S num_cons ] , } }
Produces a default RelaxedR1CSWitness given an R1CSShape
Produces a default RelaxedR1CSWitness given an R1CSShape
S
&R1CSShape<G>
S
&R1CSShape<G>