Skip to content

Commit

Permalink
Merge 5f5d444 into 7746a39
Browse files Browse the repository at this point in the history
  • Loading branch information
dbanks12 authored Dec 11, 2024
2 parents 7746a39 + 5f5d444 commit 003b85e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions yarn-project/simulator/src/avm/journal/journal.ts
Original file line number Diff line number Diff line change
Expand Up @@ -379,8 +379,8 @@ export class AvmPersistableStateManager {
} else {
// Sanity check that the leaf value is skipped by low leaf when it doesn't exist
assert(
siloedNullifier.toBigInt() > leafPreimage.nullifier.toBigInt() &&
siloedNullifier.toBigInt() < leafPreimage.nextNullifier.toBigInt(),
leafPreimage.nullifier.toBigInt() < siloedNullifier.toBigInt() &&
(leafPreimage.nextIndex === 0n || leafPreimage.nextNullifier.toBigInt() > siloedNullifier.toBigInt()),
'Nullifier tree low leaf should skip the target leaf nullifier when the target leaf does not exist.',
);
}
Expand Down

0 comments on commit 003b85e

Please sign in to comment.