From 061d0a29adc62577e536086a2fb01d1f1468839c Mon Sep 17 00:00:00 2001
From: "xander.z" <162873981+xander42280@users.noreply.github.com>
Date: Wed, 13 Nov 2024 14:19:36 +0800
Subject: [PATCH] fix: set [0u8; 32] if public_input is empty (#183)

---
 prover/src/cpu/kernel/assembler.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/prover/src/cpu/kernel/assembler.rs b/prover/src/cpu/kernel/assembler.rs
index b47853ad..4f712690 100644
--- a/prover/src/cpu/kernel/assembler.rs
+++ b/prover/src/cpu/kernel/assembler.rs
@@ -54,7 +54,11 @@ impl Kernel {
         let mut hasher = Sha256::new();
         let public_input = if let Some(first) = self.program.input_stream.first() {
             // bincode::deserialize::<Vec<u8>>(first).expect("deserialization failed")
-            first
+            if first.is_empty() {
+                &vec![0u8; 32]
+            } else {
+                first
+            }
         } else {
             &vec![0u8; 32]
         };