Function utils_deserialize_assertions

bitvm/src/chunk/api_runtime_utils.rs:90–128

deserialize assertions to CompressedState (i.e. concrete types of bigint and hasbytes) and get proof

(
    asserts: Assertions,
)

// deserialize assertions to CompressedState (i.e. concrete types of bigint and hasbytes) and get proof
fn utils_deserialize_assertions(
    asserts: Assertions,
) -> (
    [CompressedStateObject; NUM_PUBS],
    [CompressedStateObject; NUM_U256],
    [CompressedStateObject; NUM_HASH],
) {
    let mut cobj_pubs = vec![];
    for i in 0..NUM_PUBS {
        let nibs = asserts.0[i].to_vec();
        let cobj = CompressedStateObject::deserialize_from_byte_array(nibs);
        cobj_pubs.push(cobj);
    }
    let cobj_pubs: [CompressedStateObject; NUM_PUBS] = cobj_pubs.try_into().unwrap();

    let mut cobj_fqs = vec![];
    for i in 0..NUM_U256 {
        let nibs = asserts.1[i].to_vec();
        let cobj = CompressedStateObject::deserialize_from_byte_array(nibs);
        cobj_fqs.push(cobj);
    }
    let cobj_fqs: [CompressedStateObject; NUM_U256] = cobj_fqs.try_into().unwrap();

    let mut cobj_hashes = vec![];
    for i in 0..NUM_HASH {
        let nibs = asserts.2[i].to_vec();
        let cobj = CompressedStateObject::deserialize_from_byte_array(nibs);
        cobj_hashes.push(cobj);
    }
    let cobj_hashes: [CompressedStateObject; NUM_HASH] = cobj_hashes.try_into().unwrap();

    let cobjs: (
        [CompressedStateObject; NUM_PUBS],
        [CompressedStateObject; NUM_U256],
        [CompressedStateObject; NUM_HASH],
    ) = (cobj_pubs, cobj_fqs, cobj_hashes);

    cobjs
}

// mirror of the funtion get_assertion_from_segments
pub(crate) fn get_segments_from_assertion(