fix output

crates/cli/src/exec.rs

@@ -247,7 +247,7 @@ pub fn exec_create_proof(
 ) -> Result<()> {
     let loader = ZkWasmLoader::<Bn256>::new(zkwasm_k, wasm_binary, phantom_functions, None)?;
 
-    let (circuit, instances) = loader.circuit_with_witness(ExecutionArg {
+    let (circuit, instances, _) = loader.circuit_with_witness(ExecutionArg {
         public_inputs,
         private_inputs,
         context_inputs,

crates/zkwasm/src/loader/mod.rs

@@ -214,7 +214,7 @@ impl<E: MultiMillerLoop> ZkWasmLoader<E> {
     pub fn circuit_with_witness(
         &self,
         arg: ExecutionArg,
-    ) -> Result<(TestCircuit<E::Scalar>, Vec<E::Scalar>)> {
+    ) -> Result<(TestCircuit<E::Scalar>, Vec<E::Scalar>, Vec<u64>)> {
         let execution_result = self.run(arg, true)?;
 
         #[allow(unused_mut)]
@@ -236,7 +236,7 @@ impl<E: MultiMillerLoop> ZkWasmLoader<E> {
         println!("output:");
         println!("{:?}", execution_result.outputs);
 
-        Ok((builder.build_circuit(), instance))
+        Ok((builder.build_circuit(), instance, execution_result.outputs))
     }
 
     pub fn mock_test(

crates/zkwasm/src/runtime/wasmi_interpreter.rs

@@ -96,7 +96,7 @@ impl Execution<RuntimeValue>
             },
             result,
             public_inputs_and_outputs: wasm_io.public_inputs_and_outputs.borrow().clone(),
-            outputs: wasm_io.public_inputs_and_outputs.borrow().clone(),
+            outputs: wasm_io.outputs.borrow().clone(),
         })
     }
 }