Function extract_proof_from_assertions

bitvm/src/chunk/api_runtime_utils.rs:135–180

(
        state_pubs: [CompressedStateObject; NUM_PUBS],
        state_fqs: [CompressedStateObject; NUM_U256],
    )

    vk: ark_groth16::VerifyingKey<Bn254>,
) -> (bool, Vec<Segment>) {
    fn extract_proof_from_assertions(
        state_pubs: [CompressedStateObject; NUM_PUBS],
        state_fqs: [CompressedStateObject; NUM_U256],
    ) -> Option<InputProofRaw> {
        let mut ks: Vec<ark_ff::BigInt<4>> = vec![];
        for cobj in state_pubs {
            if let CompressedStateObject::U256(cobj) = cobj {
                ks.push(cobj);
            } else {
                return None;
            }
        }
        let ks: [ark_ff::BigInt<4>; NUM_PUBS] = ks.try_into().unwrap();

        let mut numfqs: Vec<ark_ff::BigInt<4>> = vec![];
        for cobj in state_fqs {
            if let CompressedStateObject::U256(cobj) = cobj {
                numfqs.push(cobj);
            } else {
                return None;
            }
        }

        let p4 = [numfqs[1], numfqs[0]];
        let p2 = [numfqs[3], numfqs[2]];
        let step = 4;
        let c = [
            numfqs[step],
            numfqs[step + 1],
            numfqs[step + 2],
            numfqs[step + 3],
            numfqs[step + 4],
            numfqs[step + 5],
        ];
        let step = step + 6;

        let q4 = [
            numfqs[step],
            numfqs[step + 1],
            numfqs[step + 2],
            numfqs[step + 3],
        ];

        let eval_ins: InputProofRaw = InputProofRaw { p2, p4, q4, c, ks };
        Some(eval_ins)
    }

    fn extract_hashes_from_assertions(
        state_hashes: [CompressedStateObject; NUM_HASH],