Skip to content
This repository has been archived by the owner on Jul 5, 2024. It is now read-only.

Fixing problems in MPT found by light client #1610

Merged
merged 18 commits into from
Oct 12, 2023
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Formatting fix
  • Loading branch information
miha-stopar committed Sep 28, 2023
commit b2246cbbdf1750806dedcaf3b01451fb513af185
2 changes: 1 addition & 1 deletion zkevm-circuits/src/mpt_circuit/account_leaf.rs
Original file line number Diff line number Diff line change
@@ -404,7 +404,7 @@ impl<F: Field> AccountLeafConfig<F> {
let hi = address_item.word().hi() * to_hi;
let address = lo + hi;

ifx!{not!(config.parent_data[false.idx()].is_placeholder) => {
ifx! {not!(config.parent_data[false.idx()].is_placeholder) => {
ctx.mpt_table.constrain(
meta,
&mut cb.base,
2 changes: 1 addition & 1 deletion zkevm-circuits/src/mpt_circuit/storage_leaf.rs
Original file line number Diff line number Diff line change
@@ -289,7 +289,7 @@ impl<F: Field> StorageLeafConfig<F> {
}
}};

ifx!{not!(config.parent_data[false.idx()].is_placeholder) => {
ifx! {not!(config.parent_data[false.idx()].is_placeholder) => {
ctx.mpt_table.constrain(
meta,
&mut cb.base,