16 bytes for u128

jialinli98 · jialinli98 · commit e58fe699e385 · 2025-12-18T09:18:36.000-08:00
diff --git a/ethereum/circuits/lib/src/rlp/types.nr b/ethereum/circuits/lib/src/rlp/types.nr
@@ -105,7 +105,7 @@ impl RlpFragment {
         value: u128,
     ) {
         let val: Field = value as Field;
-        self.assert_eq_bounded_vec(field_name, rlp, byte_value(val.to_be_bytes::<20>()));
+        self.assert_eq_bounded_vec(field_name, rlp, byte_value(val.to_be_bytes::<16>()));
     }
 
     pub(crate) fn assert_eq_address<let FIELD_NAME_LEN: u32, let MAX_RLP_LEN: u32>(

Original file line number	Diff line number	Diff line change
`@@ -105,7 +105,7 @@ impl RlpFragment {`
`105`	`105`	`value: u128,`
`106`	`106`	`) {`
`107`	`107`	`let val: Field = value as Field;`
`108`		`- self.assert_eq_bounded_vec(field_name, rlp, byte_value(val.to_be_bytes::<20>()));`
	`108`	`+ self.assert_eq_bounded_vec(field_name, rlp, byte_value(val.to_be_bytes::<16>()));`
`109`	`109`	`}`
`110`	`110`
`111`	`111`	`pub(crate) fn assert_eq_address<let FIELD_NAME_LEN: u32, let MAX_RLP_LEN: u32>(`