keep-starknet-strange/snos

bug: CustomHint("Edge bottom not found in preimage")

Closed this issue · 0 comments

SNOS version:
0.13.2

Current behavior:
Failing with Hint((0, CustomHint("Edge bottom not found in preimage"))) while trying to execute the SNOS in multiple blocks (e.g: 155016)

Process to start exploring the issue

  1. Identify the problematic trie, it's typically a storage trie but make sure of what is the actual problem.
  2. Looking at the modifications helps a lot, add some logs in the BUILD_DESCENT_MAP hint to print the content of the modifications dictionary. Add a prev_value read in the logic and just print every modification, it's very useful.
  3. This will probably not be enough, probably we would need to fetch additional storage proofs as we are missing data.

Hypotesis
Could be a bug in get_key_following_edge ? There is a log "Fetching modified key {} for key {}", this could lead to interesting results.