cairo-vm-go
cairo-vm-go copied to clipboard
NethermindEth
A virtual machine for Cairo written in Go
Resolves #296 This PR implements `SquashDictInnerFirstIteration` Hint, which extracts `current_access_index` from the `current_access_indices` descending list, and write it at offset `ids.range_check_ptr` in the execution segment of memory
Resolves #298 This PR implements `SquashDictInnerCheckAccessIndex` hint, which updates the access index during the dictionary squashing process
Update the README.md to reflect the new definition of GetConsecutiveMemoryValues from GetConsecutiveValues as shown here in the current documentation: > The operanders allow you to get the address in memory...
Prepares arguments for creating a new dictionary by copying the existing one in the context of squashing. Reference: https://github.com/starkware-libs/cairo-lang/blob/efa9648f57568aad8f8a13fbf027d2de7c63c2c0/src/starkware/cairo/common/dict.cairo#L87 Depends on #245
Sets up the first iteration of a loop for dictionary squashing. Reference: https://github.com/starkware-libs/cairo-lang/blob/efa9648f57568aad8f8a13fbf027d2de7c63c2c0/src/starkware/cairo/common/squash_dict.cairo#L130C4-L130C7 Depends on #245
Builtins required for Cairo 1 and Starknet Smart Contracts: - [ ] Gas Builtin - [ ] System Builtin - [ ] Segment Arena Builtin
Processes a series of dictionary accesses, sorts keys, and determines if any keys are beyond a certain bound, preparing for dictionary compression. Reference: https://github.com/starkware-libs/cairo-lang/blob/efa9648f57568aad8f8a13fbf027d2de7c63c2c0/src/starkware/cairo/common/squash_dict.cairo#L39 Depends on #245 for the usage...