fix

Author: jialinli98

ethereum/circuits/lib/src/fixtures/mainnet/cancun/approve/log.nr

@@ -94,7 +94,7 @@ global data_storage: Bytes32 = [
     0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
     0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x33, 0xf8, 0xff,
 ];
-global data: BoundedVec<u8, 32> = BoundedVec::from_array(data_storage);
+global data: BoundedVec<u8, 32> = BoundedVec::from_parts(data_storage, 32);
 pub(crate) global log: Log<32> = Log {
     address: [
         0xda, 0xc1, 0x7f, 0x95, 0x8d, 0x2e, 0xe5, 0x23, 0xa2, 0x20, 0x62, 0x06, 0x99, 0x45, 0x97,

ethereum/circuits/lib/src/transaction.nr

@@ -79,8 +79,7 @@ impl<let MAX_DATA_LEN: u32> From<TxPartial<MAX_DATA_LEN>> for ForeignCallTransac
 
 impl<let MAX_DATA_LEN: u32> From<ForeignCallTransaction<MAX_DATA_LEN>> for TxPartial<MAX_DATA_LEN> {
     fn from(tx: ForeignCallTransaction<MAX_DATA_LEN>) -> Self {
-        let mut data = BoundedVec::new();
-        data.extend_from_array(tx.data);
+        let mut data = BoundedVec::from_parts(tx.data, tx.data_len);
         TxPartial {
             nonce: tx.nonce,
             gas_limit: tx.gas_limit,

ethereum/circuits/lib/src/verifiers/receipt/rlp.nr

@@ -14,12 +14,13 @@ pub(crate) fn assert_receipt_rlp_equals<let MAX_ENCODED_LEN: u32>(
     receipt_rlp: Fragment<MAX_ENCODED_LEN, u8>,
     receipt: TxReceiptPartial,
 ) {
+    println(f"receipt_rlp: {receipt_rlp}");
     let receipt_rlp_list: RlpList<RECEIPT_FIELDS_COUNT> = decode_list(receipt_rlp);
     assert(
         receipt_rlp_list.len() == RECEIPT_FIELDS_COUNT,
         "Invalid number of fields in receipt RLP",
     );
-
+    //println(f"receipt_rlp_list: {receipt_rlp_list}");
     if (is_pre_byzantium) {
         receipt_rlp_list.get(STATE_ROOT_INDEX).assert_eq_bytes32(
             "State root",