Dictionary fetching lacks current_ptr assertion

NethermindEth / cairo-vm-go

A virtual machine for Cairo written in Go

MIT License

73 stars 43 forks source link

Dictionary fetching lacks current_ptr assertion #461

Closed har777 closed 2 weeks ago

har777 commented 1 month ago

Refer line missing: https://github.com/starkware-libs/cairo-lang/blob/efa9648f57568aad8f8a13fbf027d2de7c63c2c0/src/starkware/cairo/common/dict.py#L65

Right now the code is only checking if the given dict ptr segment matches. The pointer offset must also match the FreeOffset value of the fetched dictionary.