pub fn to_wasm(
    srs: &Arc<SRS<GAffine>>,
    vi: DlogVerifierIndex<GAffine, OpeningProof<GAffine>>
) -> WasmFqPlonkVerifierIndex