Extended Witness using ark-circom

ark_circom_witness.rs

#[test]
fn extended_witness_circom2() -> Result<()> {
    use std::collections::HashMap;

    use ark_circom::WitnessCalculator;

    let mut wtns = WitnessCalculator::new("./test-vectors/circom2_multiplier2.wasm").unwrap();
    let inputs = HashMap::from([
        (String::from("a"), vec![4.into()]),
        (String::from("b"), vec![5.into()]),
    ]);
    let sanity_check = true;
    // calculate the witness
    let witness = wtns.calculate_witness_element::<Bn254, _>(inputs, sanity_check)?;
    eprintln!("witness: {:?}", witness);

    Ok(())
}