[Feature] Fixed-size unsigned integer target types#340

Merged

PetarKirov merged 34 commits intomainfrom

feat/uint_target_types

Sep 26, 2024

Commits on Sep 26, 2024

feat(circuit_framework): Impl uint target types and implement zero, one and add
Xearty
committed
feat(circuit_framework): Implement div for uint targets
Xearty
committed
feat(circuit_framework): Implement mul for uint targets
Xearty
committed
feat(circuit_framework): Implement rem for uint targets
Xearty
committed
feat(circuit_framework): Implement less than or equal to for uint targets
Xearty
committed
refactor(circuit_framework): Refactor uint targets
Xearty
committed
feat(circuit_framework): Implement Uint32Target and rename other Uint targets
Xearty
committed
revert(circuit_framework): Delete Uint32Target type because of shift overflow
Xearty
committed
feat(circuit_framework): Implement equality for uint targets
Xearty
committed
feat(circuit_framework): Automatically implement the rest of the comparison operators
Xearty
committed
feat(circuit_framework): Implement sub for uint targets
Xearty
committed
fix(circuit_framework): Fix a bug with gte for uint targets
Xearty
committed
feat(circuit_framework): Implement constant for uint targets
Xearty
committed
refactor(circuit_framework): Delete unused stuff
Xearty
committed
refactor(circuit_framework): Delete unnecesarry qualification
Xearty
committed
feat(circuit_framework): Implement serialization/deserialization for uint target types
Xearty
committed
feat(circuit_framework): Implement ssz serialization for Uint64Target
Xearty
committed
feat(circuit_framework): Implement `to_biguint` to uint targets
Xearty
committed
refactor(circuit_framework): Refactor `ssz_hash_tree_root` to use pad_using and to not allocate vecs
Xearty
committed
feat(circuit_framework): Implement u64/str and u128/str serde
Xearty
committed
feat(circuit_framework): Implement le_bits converters for uint targets
Xearty
committed
feat(circuit_framework): Implement le_bytes conversions for uint targets
Xearty
committed
feat(circuit_framework): Implement biguint truncation for uint targets
Xearty
committed
feat(circuit_framework): Implement `to_be_bits` for uint targets
Xearty
committed
fix(circuit_framework): Fix `ssz_hash_tree_root` for `Uint64Target`
Xearty
committed
refactor(circuit_framework): Change the order of parameters of uint target's `constant` method
Xearty
committed
fix(circuit_framework): Assert the uint limbs are valid properly
Xearty
committed
refactor(circuit_framework): Derive the number of limbs from the primitive type of uint target
Xearty
committed
refactor(circuit_framework): Rename uint target definition macro
Xearty
committed
refactor(circuits): Make circuits use fixed-size uint targets
Xearty
committed
refactor(circuit_framework): Implement `ssz_hash_tree_root` for `BoolTarget` and delete obsolete function
Xearty
committed
refactor(): Document `get_balance_from_leaf` function
Xearty
committed
refactor(): Delete unused function `biguint_is_equal_non_equal_limbs`
Xearty
committed
refactor(): Delete unused biguint utility functions and renaming
Xearty
committed