fn synthesize_base_case<CS: ConstraintSystem<<G as Group>::Base>>(
    &self,
    mut cs: CS,
    u: AllocatedR1CSInstance<G>,
  ) -> Result<AllocatedRelaxedR1CSInstance<G>, SynthesisError> {
    let U_default: AllocatedRelaxedR1CSInstance<G> = if self.params.is_primary_circuit {
      // The primary circuit just returns the default R1CS instance
      AllocatedRelaxedR1CSInstance::default(
        cs.namespace(|| "Allocate U_default"),
        self.params.limb_width,
        self.params.n_limbs,
      )?
    } else {
      // The secondary circuit returns the incoming R1CS instance
      AllocatedRelaxedR1CSInstance::from_r1cs_instance(
        cs.namespace(|| "Allocate U_default"),
        u,
        self.params.limb_width,
        self.params.n_limbs,
      )?
    };
    Ok(U_default)
  }
/// Synthesizes base case and returns the new relaxed R1CSInstance
Synthesizes base case and returns the new relaxed R1CSInstance
Synthesizes base case and returns the new relaxed R1CSInstance
fn synthesize_base_case<CS: ConstraintSystem<<G as Group>::Base>>(
    &self,
    mut cs: CS,
    u: AllocatedR1CSInstance<G>,
  ) -> Result<AllocatedRelaxedR1CSInstance<G>, SynthesisError> {
    let U_default: AllocatedRelaxedR1CSInstance<G> = if self.params.is_primary_circuit {
      // The primary circuit just returns the default R1CS instance
      AllocatedRelaxedR1CSInstance::default(
        cs.namespace(|| "Allocate U_default"),
        self.params.limb_width,
        self.params.n_limbs,
      )?
    } else {
      // The secondary circuit returns the incoming R1CS instance
      AllocatedRelaxedR1CSInstance::from_r1cs_instance(
        cs.namespace(|| "Allocate U_default"),
        u,
        self.params.limb_width,
        self.params.n_limbs,
      )?
    };
    Ok(U_default)
  }
fn synthesize_base_case < CS : ConstraintSystem < < G as Group > :: Base > > ( & self , mut cs : CS , u : AllocatedR1CSInstance < G > , ) -> Result < AllocatedRelaxedR1CSInstance < G > , SynthesisError > { let U_default : AllocatedRelaxedR1CSInstance < G > = if self . params . is_primary_circuit { // The primary circuit just returns the default R1CS instance AllocatedRelaxedR1CSInstance :: default ( cs . namespace ( | | " " ) , self . params . limb_width , self . params . n_limbs , ) ? } else { // The secondary circuit returns the incoming R1CS instance AllocatedRelaxedR1CSInstance :: from_r1cs_instance ( cs . namespace ( | | " " ) , u , self . params . limb_width , self . params . n_limbs , ) ? } ; Ok ( U_default ) }
Synthesizes base case and returns the new relaxed R1CSInstance
Synthesizes base case and returns the new relaxed R1CSInstance
&self
cs
CS
u
AllocatedR1CSInstance<G>
&self
cs
CS
u
AllocatedR1CSInstance<G>