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

Merged

PetarKirov merged 34 commits intomainfrom feat/uint_target_types

Sep 26, 2024

+1,047-619

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