This repository was archived by the owner on Jul 5, 2024. It is now read-only.
File tree 1 file changed +10
-9
lines changed
zkevm-circuits/src/evm_circuit/execution
1 file changed +10
-9
lines changed Original file line number Diff line number Diff line change @@ -190,6 +190,14 @@ impl<F: Field> ExecutionGadget<F> for BeginTxGadget<F> {
190
190
tx. caller_address . to_word ( ) ,
191
191
create. caller_address ( ) ,
192
192
) ;
193
+
194
+ cb. require_equal (
195
+ "tx nonce equivalence" ,
196
+ tx. nonce . expr ( ) ,
197
+ create. caller_nonce ( ) ,
198
+ ) ;
199
+
200
+ // 1. Handle contract creation transaction.
193
201
cb. condition ( tx. is_create . expr ( ) , |cb| {
194
202
cb. require_equal_word (
195
203
"call callee address equivalence" ,
@@ -202,21 +210,14 @@ impl<F: Field> ExecutionGadget<F> for BeginTxGadget<F> {
202
210
)
203
211
. to_word ( ) ,
204
212
) ;
205
- } ) ;
206
- cb. require_equal (
207
- "tx nonce equivalence" ,
208
- tx. nonce . expr ( ) ,
209
- create. caller_nonce ( ) ,
210
- ) ;
211
-
212
- // 1. Handle contract creation transaction.
213
- cb. condition ( tx. is_create . expr ( ) , |cb| {
214
213
cb. keccak_table_lookup (
215
214
create. input_rlc ( cb) ,
216
215
create. input_length ( ) ,
217
216
caller_nonce_hash_bytes. to_word ( ) ,
218
217
) ;
219
218
219
+ // cb.keccak_table_lookup(input_rlc, input_len, output);
220
+
220
221
cb. account_write (
221
222
call_callee_address. to_word ( ) ,
222
223
AccountFieldTag :: Nonce ,
You can’t perform that action at this time.
0 commit comments