Function corrupt

bitvm/src/chunk/api.rs:1369–1401

(proof_asserts: &mut Assertions, random: Option<usize>)

        let verifier_scripts = verifier_scripts.try_into().unwrap();

        fn corrupt(proof_asserts: &mut Assertions, random: Option<usize>) {
            let mut rng = rand::thread_rng();

            let mut index = rng.gen_range(0..NUM_PUBS + NUM_U256 + NUM_HASH);
            if random.is_some() {
                index = random.unwrap();
            }
            let mut scramble: [u8; 32] = [0u8; 32];
            scramble[16] = 37;
            let mut scramble2: [u8; BLAKE3_HASH_LENGTH] = [0u8; BLAKE3_HASH_LENGTH];
            scramble2[BLAKE3_HASH_LENGTH / 2] = 37;
            println!("corrupted assertion at index {}", index);
            if index < NUM_PUBS {
                if index == 0 {
                    if proof_asserts.0[0] == scramble {
                        scramble[16] += 1;
                    }
                    proof_asserts.0[0] = scramble;
                }
            } else if index < NUM_PUBS + NUM_U256 {
                let index = index - NUM_PUBS;
                if proof_asserts.1[index] == scramble {
                    scramble[16] += 1;
                }
                proof_asserts.1[index] = scramble;
            } else if index < NUM_PUBS + NUM_U256 + NUM_HASH {
                let index = index - NUM_PUBS - NUM_U256;
                if proof_asserts.2[index] == scramble2 {
                    scramble2[10] += 1;
                }
                proof_asserts.2[index] = scramble2;
            }
        }

        let _total = NUM_PUBS + NUM_U256 + NUM_HASH;
        const RESERVED_SPACE: usize = 16000; // blockreservedweight=8000 + extra (8000)