must create is known

Author: ChihChengLiang

zkevm-circuits/src/evm_circuit/execution/callop.rs

@@ -242,7 +242,7 @@ impl<F: Field> ExecutionGadget<F> for CallOpGadget<F> {
                 caller_address.to_word(),
                 callee_address.to_word(),
                 not::expr(call_gadget.callee_not_exists.expr()),
-                0.expr(),
+                false,
                 call_gadget.value.clone(),
                 &mut callee_reversion_info,
             )

zkevm-circuits/src/evm_circuit/execution/create.rs

@@ -334,7 +334,7 @@ impl<F: Field, const IS_CREATE2: bool, const S: ExecutionState> ExecutionGadget<
                     create.caller_address(),
                     contract_addr.to_word(),
                     0.expr(),
-                    1.expr(),
+                    true,
                     value.clone(),
                     &mut callee_reversion_info,
                 );

zkevm-circuits/src/evm_circuit/util/common_gadget.rs

@@ -602,7 +602,7 @@ impl<F: Field> TransferGadget<F> {
         sender_address: WordLoHi<Expression<F>>,
         receiver_address: WordLoHi<Expression<F>>,
         receiver_exists: Expression<F>,
-        must_create: Expression<F>,
+        must_create: bool,
         value: Word32Cell<F>,
         reversion_info: &mut ReversionInfo<F>,
     ) -> Self {
@@ -612,7 +612,7 @@ impl<F: Field> TransferGadget<F> {
             cb,
             receiver_address.clone(),
             receiver_exists.clone(),
-            must_create.clone(),
+            must_create.expr(),
             value_is_zero.expr(),
             Some(reversion_info),
         );
@@ -624,7 +624,7 @@ impl<F: Field> TransferGadget<F> {
             cb,
             receiver_address,
             receiver_exists,
-            must_create,
+            must_create.expr(),
             value,
             Some(reversion_info),
             false,