saffron::folding::testing

Function generate_random_inst_wit_core

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

Generates a random core instance and witness