feat: `SquashDictInnerUsedAccessesAssert` hint

NethermindEth / cairo-vm-go

A virtual machine for Cairo written in Go

MIT License

79 stars 49 forks source link

feat: `SquashDictInnerUsedAccessesAssert` hint #405

Closed TAdev0 closed 3 months ago

TAdev0 commented 3 months ago

Resolves #301

This PR implementsSquashDictInnerUsedAccessesAssert hint, which checks that n_used_accesses Cairo local variable is equal to the number of used accesses for a key during dict squashing.

TAdev0 commented 3 months ago

also addressed error in the name of the hint in the description for SquashDictInnerLenAssert

TAdev0 commented 3 months ago

@har777 comments addressed!

TAdev0 commented 3 months ago

@cicr99 @rodrigo-pino ready to be merged