Function extract_hashes_from_assertions

bitvm/src/chunk/api_runtime_utils.rs:182–196

(
        state_hashes: [CompressedStateObject; NUM_HASH],
    )

    }

    fn extract_hashes_from_assertions(
        state_hashes: [CompressedStateObject; NUM_HASH],
    ) -> Option<Vec<HashBytes>> {
        // Intermediates
        let mut hashes: Vec<HashBytes> = vec![];
        for cobj in state_hashes {
            if let CompressedStateObject::Hash(cobj) = cobj {
                hashes.push(cobj);
            } else {
                return None;
            }
        }
        hashes.reverse();
        Some(hashes)
    }

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