saffron::folding::testing

Function generate_random_inst_wit_relaxed

Source 
pub fn generate_random_inst_wit_relaxed<RNG>(
    srs: &SRS<Vesta>,
    domain: EvaluationDomains<ScalarField>,
    rng: &mut RNG,
) -> (RelaxedInstance, RelaxedWitness)
where
    RNG: RngCore + CryptoRng,
Expand description

Generates a relaxed instance and witness. Note that the result of this function is not an instance-witness pair produced by a valid folding procedure, but just a generic relaxed pair instead.