Implement ModBuiltin + EvalCircuit hint

pkg/hintrunner/core/hint.go

@@ -12,6 +12,7 @@
 	"github.com/NethermindEth/cairo-vm-go/pkg/parsers/starknet"
 	"github.com/NethermindEth/cairo-vm-go/pkg/utils"
 	VM "github.com/NethermindEth/cairo-vm-go/pkg/vm"
+	"github.com/NethermindEth/cairo-vm-go/pkg/vm/builtins"
 	mem "github.com/NethermindEth/cairo-vm-go/pkg/vm/memory"
 	f "github.com/consensys/gnark-crypto/ecc/stark-curve/fp"
 )
@@ -1888,3 +1889,42 @@
 
 	return vm.Memory.WriteToAddress(&sqrtAddr, &sqrtVal)
 }
+
+type EvalCircuit struct {
+	nAddMods      hinter.ResOperander
+	addModBuiltin hinter.ResOperander
+	nMulMods      hinter.ResOperander
+	mulModBuiltin hinter.ResOperander
+}
+
+func (hint *EvalCircuit) String() string {
+	return "EvalCircuit"
+}
+
+func (hint *EvalCircuit) Execute(vm *VM.VirtualMachine) error {
+	addModBuiltinAddress, err := hinter.ResolveAsAddress(vm, hint.addModBuiltin)
+	if err != nil {
+		return fmt.Errorf("resolve addModBuiltin pointer: %w", err)
+	}
+	nAddMods, err := hint.nAddMods.Resolve(vm)
+	if err != nil {
+		return fmt.Errorf("resolve nAddMods operand %s: %v", hint.nAddMods, err)
+	}
+	nAddModsFelt, err := nAddMods.Uint64()
+	if err != nil {
+		return err
+	}
+	mulModBuiltinAddress, err := hinter.ResolveAsAddress(vm, hint.mulModBuiltin)
+	if err != nil {
+		return fmt.Errorf("resolve mulModBuiltin pointer: %w", err)
+	}
+	nMulMods, err := hint.nMulMods.Resolve(vm)
+	if err != nil {
+		return fmt.Errorf("resolve nMulMods operand %s: %v", hint.nMulMods, err)
+	}
+	nMulModsFelt, err := nMulMods.Uint64()
+	if err != nil {
+		return err
+	}
+	return builtins.FillMemory(vm.Memory, *addModBuiltinAddress, nAddModsFelt, *mulModBuiltinAddress, nMulModsFelt)
+}

pkg/utils/math.go

@@ -1,6 +1,8 @@
 package utils
 
 import (
+	"errors"
+	"fmt"
 	"math"
 	"math/big"
 	"math/bits"
@@ -156,3 +158,13 @@ func Int16FromBigInt(n *big.Int) (int16, bool) {
 func RightRot(value uint32, n uint32) uint32 {
 	return (value >> n) | ((value & ((1 << n) - 1)) << (32 - n))
 }
+
+func SafeDivUint64(x, y uint64) (uint64, error) {
+	if y == 0 {
+		return 0, fmt.Errorf("cannot divide: y division is zero")
+	}
+	if x%y != 0 {
+		return 0, errors.New("cannot divide: x is not divisible by y")
+	}
+	return x / y, nil
+}