Function pad

pub(crate) fn pad(
    witness_env: &Env<Fp, Box<dyn PreImageOracleT>>,
    curr_proof_inputs: &mut ProofInputs<Vesta>,
    rng: &mut ThreadRng,
)