Function test_limb_to_be_bits

bitvm/src/bigint/bits.rs:207–279

()

    #[test]
    fn test_limb_to_be_bits() {
        println!(
            "limb_to_be_bits(29): {:?} bytes",
            script! { {limb_to_be_bits(29)} }.len()
        );
        let mut prng = ChaCha20Rng::seed_from_u64(0);

        for _ in 0..100 {
            let mut a: u32 = prng.gen();
            a %= 1 << 29;

            let mut bits = vec![];
            let mut cur = a;
            for _ in 0..29 {
                bits.push(cur % 2);
                cur /= 2;
            }

            let script = script! {
                { a }
                { limb_to_be_bits(29) }
                for i in 0..29 {
                    { bits[28 - i] }
                    OP_EQUALVERIFY
                }
                OP_TRUE
            };
            run(script);
        }

        for _ in 0..100 {
            let mut a: u32 = prng.gen();
            a %= 1 << 15;

            let mut bits = vec![];
            let mut cur = a;
            for _ in 0..15 {
                bits.push(cur % 2);
                cur /= 2;
            }

            let script = script! {
                { a }
                { limb_to_be_bits(15) }
                for i in 0..15 {
                    { bits[14 - i as usize] }
                    OP_EQUALVERIFY
                }
                OP_TRUE
            };

            run(script);
        }

        for a in 0..4 {
            let script = script! {
                { a }
                { limb_to_be_bits(2) }