Fix assertion (#641)

Co-authored-by: smtmfft <99081233+smtmfft@users.noreply.github.com>

Author: YichiZhang0613

lib/src/builder.rs

@@ -109,9 +109,9 @@ fn validate_final_batch_blocks(input: &GuestBatchInput, final_blocks: &[Block])
             );
             assert!(
                 parent_block.header.state_root == current_input.parent_header.state_root,
-                "Parent hash mismatch, expected: {}, got: {}",
-                parent_block.header.hash_slow(),
-                current_block.header.parent_hash
+                "State root mismatch, expected: {}, got: {}",
+                parent_block.header.state_root,
+                current_input.parent_header.state_root
             );
             // state root is checked in finalize(), skip here
             // assert!(current_block.state_root == current_input.block.state_root)

provers/sgx/prover/src/sgx_register_utils.rs

@@ -134,7 +134,7 @@ sol! {
 }
 
 fn little_endian_decode(encoded: &[u8]) -> u64 {
-    assert!(encoded.len() <= 8, "encoded bytes should be less than 8");
+    assert!(encoded.len() <= 8, "encoded bytes should be less than or equal to 8");
     let mut decoded = 0;
     for (i, byte) in encoded.iter().enumerate() {
         let digits = *byte as u64;
@@ -151,7 +151,7 @@ fn little_endian_decode(encoded: &[u8]) -> u64 {
 }
 
 fn parse_quote_header(quote_bytes: &[u8]) -> Result<Header, Box<dyn std::error::Error>> {
-    assert!(quote_bytes.len() > 48, "quote bytes should be at least 48");
+    assert!(quote_bytes.len() >= 48, "quote bytes should be at least 48");
     let version = &quote_bytes[0..2];
     let attestation_key_type = &quote_bytes[2..4];
     let tee_type = &quote_bytes[4..8];