Function extract_public_params

bitvm/src/chunk/api_runtime_utils.rs:198–220

(vk: &ark_groth16::VerifyingKey<Bn254>)

    }

    fn extract_public_params(vk: &ark_groth16::VerifyingKey<Bn254>) -> PublicParams {
        let mut msm_gs = vk.gamma_abc_g1.clone(); // vk.vk_pubs[0]
        msm_gs.reverse();
        let vky0 = msm_gs.pop().unwrap();

        let (q3, q2, q1) = (
            vk.gamma_g2.into_group().neg().into_affine(),
            vk.delta_g2.into_group().neg().into_affine(),
            -vk.beta_g2,
        );

        let pairing = BnAffinePairing;
        let fixed_acc = pairing.multi_miller_loop_affine([vk.alpha_g1], [q1]).0;

        let pubs: PublicParams = PublicParams {
            q2,
            q3,
            fixed_acc: fixed_acc.c1 / fixed_acc.c0,
            ks_vks: msm_gs.clone(),
            vky0,
        };
        pubs
    }

    let states = utils_deserialize_assertions(assertions);