Resolve as BigInt3 structure

[cicr99]

Currently we use the following logic for resolving BigInt3 structures:

valMemoryValues, err := hinter.GetConsecutiveValues(vm, valAddr, int16(3))
if err != nil {
    return err
}

// [d0, d1, d2]
var valValues [3]*fp.Element

for i := 0; i < 3; i++ {
    valValue, err := valMemoryValues[i].FieldElement()
    if err != nil {
    	return err
    }
    valValues[i] = valValue
}

valValues is the argument that should be passed down to the pack functionality.

As this logic is repeated in the code several times, it would be beneficial to separate it in its own functionality, something like ResolveAsBigInt3 passing the starting address of the structure in memory

[MoigeMatino]

Would like to take this on if that's okay.

[MoigeMatino]

@cicr99 Is there a specific file where this function should be stored?

[cicr99]

Hey @MoigeMatino sure! I just assigned you to it. This functionality should go into the hintrunner/utils folder as it's used by several hints. I would say to add it secp_utils.go file. Wdyt @har777 , since you've been working on that?

[har777]

Yeah thats the right file imo.

[MoigeMatino]

@har777 @cicr99 adding function ResolveAsBigInt3 which calls hinter.GetConsecutiveValues(needs to import hinter) to hintrunner/utils/secp_utils.go results in a circular import because GetConsecutiveValues is from the hinter package. Would appreciate help in resolving this 🙏🏾, new to this.

[MoigeMatino]

Here's the draft PR: #354