🩹 make limbs number accessible through the trait

Author: ZamDimon

README.md

@@ -1,6 +1,6 @@
 # :heavy_multiplication_x: Fast Windowed Multiplication implementation in Bitcoin
 
-This repository contains the implementation of the Fast Multiplication algorithm in _Bitcoin_ for two 254-bit numbers using $w$-window multiplication. 
+This repository contains the implementation of the Fast Multiplication algorithm in _Bitcoin_ for two 254-bit numbers using $w$-window multiplication.
 
 ## :interrobang: How to test?
 

src/bigint/arithmetics/add.rs

@@ -1,4 +1,5 @@
 use crate::bigint::NonNativeBigIntImpl;
+use crate::traits::integer::NonNativeLimbInteger;
 use crate::treepp::*;
 
 #[allow(non_snake_case)]

src/bigint/bits/implementation.rs

@@ -1,4 +1,4 @@
-use crate::{bigint::NonNativeBigIntImpl, treepp::*};
+use crate::{bigint::NonNativeBigIntImpl, traits::integer::NonNativeLimbInteger, treepp::*};
 use std::cmp::min;
 
 #[allow(non_snake_case)]

src/bigint/comparison/implementation.rs

@@ -1,4 +1,4 @@
-use crate::{bigint::NonNativeBigIntImpl, treepp::*};
+use crate::{bigint::NonNativeBigIntImpl, traits::integer::NonNativeLimbInteger, treepp::*};
 
 #[allow(non_snake_case)]
 impl<const N_BITS: usize, const LIMB_SIZE: usize> NonNativeBigIntImpl<N_BITS, LIMB_SIZE> {

src/bigint/implementation.rs

@@ -27,8 +27,6 @@ impl<const N_BITS: usize, const LIMB_SIZE: usize> NonNativeLimbInteger
 }
 
 impl<const N_BITS: usize, const LIMB_SIZE: usize> NonNativeBigIntImpl<N_BITS, LIMB_SIZE> {
-    /// Number of limbs
-    pub(super) const N_LIMBS: usize = (N_BITS + LIMB_SIZE - 1) / LIMB_SIZE;
     /// Base of the big integer is u32
     pub(super) const BASE: u32 = 1u32 << LIMB_SIZE;
     /// Numbers of bits in the head limb

src/bigint/stack/test.rs

@@ -1,7 +1,7 @@
 use crate::bigint::{NonNativeBigIntImpl, U254, U508};
 use crate::debug::print_script_size;
 use crate::traits::comparable::Comparable;
-use crate::traits::integer::NonNativeInteger;
+use crate::traits::integer::{NonNativeInteger, NonNativeLimbInteger};
 use crate::treepp::{execute_script, pushable};
 use bitcoin_script::script;
 use num_bigint::{BigUint, RandomBits};

src/traits/integer.rs

@@ -86,8 +86,14 @@ pub trait NonNativeInteger: Comparable + Arithmeticable + Bitable {
 /// Note that the only requirement is to specify the total number of limbs and the size of each limb.
 #[allow(non_snake_case)]
 pub trait NonNativeLimbInteger: NonNativeInteger {
+    /// The total number of bits in the integer.
     const N_BITS: usize;
+    /// The size of each limb in bits.
     const LIMB_SIZE: usize;
+    /// The total number of limbs in the integer.
+    /// 
+    /// **NOTE**: This is always calculated as `(N_BITS + LIMB_SIZE - 1) / LIMB_SIZE`.
+    const N_LIMBS: usize = (Self::N_BITS + Self::LIMB_SIZE - 1) / Self::LIMB_SIZE;
 
     /// Multiplies the top two big integers on the stack to get a big integer that is of type Q
     /// larger than the original type (for example, multiplying two 32-bit integers to get a 64-bit integer).