Function wrap_main 

fn wrap_main(params: WrapMainParams<'_>, w: &mut Witness<Fq>) -> Result<()>