Skip to content

Commit

Permalink
add unit tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@TAdev0
TAdev0 committed Jun 29, 2024
1 parent 1ae4148 commit 938fa49
Show file tree
Hide file tree
Showing 2 changed files with 145 additions and 6 deletions.
12 changes: 6 additions & 6 deletions pkg/hintrunner/zero/zerohint_keccak.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -628,15 +628,15 @@ func newSplitInput3Hint(high3, low3, inputs hinter.ResOperander) hinter.Hinter {
high3Mv := memory.MemoryValueFromFieldElement(&high3Felt)

var low3Felt fp.Element
high3Felt.SetBigInt(low3BigInt)
low3Felt.SetBigInt(low3BigInt)
low3Mv := memory.MemoryValueFromFieldElement(&low3Felt)

err = vm.Memory.WriteToAddress(&low3Addr, &high3Mv)
err = vm.Memory.WriteToAddress(&low3Addr, &low3Mv)
if err != nil {
return err
}

return vm.Memory.WriteToAddress(&high3Addr, &low3Mv)
return vm.Memory.WriteToAddress(&high3Addr, &high3Mv)
},
}
}
Expand Down Expand Up @@ -715,15 +715,15 @@ func newSplitInput6Hint(high6, low6, inputs hinter.ResOperander) hinter.Hinter {
high6Mv := memory.MemoryValueFromFieldElement(&high6Felt)

var low6Felt fp.Element
high6Felt.SetBigInt(low6BigInt)
low6Felt.SetBigInt(low6BigInt)
low6Mv := memory.MemoryValueFromFieldElement(&low6Felt)

err = vm.Memory.WriteToAddress(&low6Addr, &high6Mv)
err = vm.Memory.WriteToAddress(&low6Addr, &low6Mv)
if err != nil {
return err
}

return vm.Memory.WriteToAddress(&high6Addr, &low6Mv)
return vm.Memory.WriteToAddress(&high6Addr, &high6Mv)
},
}
}
Expand Down
139 changes: 139 additions & 0 deletions pkg/hintrunner/zero/zerohint_keccak_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -605,5 +605,144 @@ func TestZeroHintKeccak(t *testing.T) {
check: apValueEquals(feltUint64(0)),
},
},
"SplitInput3": {
{
operanders: []*hintOperander{
{Name: "inputs", Kind: fpRelative, Value: addr(2)},
{Name: "real_input", Kind: apRelative, Value: feltUint64(0)},
{Name: "high3", Kind: uninitialized},
{Name: "low3", Kind: uninitialized},
},
makeHinter: func(ctx *hintTestContext) hinter.Hinter {
return newSplitInput3Hint(ctx.operanders["high3"], ctx.operanders["low3"], ctx.operanders["inputs"])
},
check: allVarValueEquals(map[string]*fp.Element{"high3": feltUint64(0), "low3": feltUint64(0)}),
},
{
operanders: []*hintOperander{
{Name: "inputs", Kind: fpRelative, Value: addr(2)},
{Name: "real_input", Kind: apRelative, Value: feltUint64(100)},
{Name: "high3", Kind: uninitialized},
{Name: "low3", Kind: uninitialized},
},
makeHinter: func(ctx *hintTestContext) hinter.Hinter {
return newSplitInput3Hint(ctx.operanders["high3"], ctx.operanders["low3"], ctx.operanders["inputs"])
},
check: allVarValueEquals(map[string]*fp.Element{"high3": feltUint64(0), "low3": feltUint64(100)}),
},
{
operanders: []*hintOperander{
{Name: "inputs", Kind: fpRelative, Value: addr(2)},
{Name: "real_input", Kind: apRelative, Value: feltUint64(256)},
{Name: "high3", Kind: uninitialized},
{Name: "low3", Kind: uninitialized},
},
makeHinter: func(ctx *hintTestContext) hinter.Hinter {
return newSplitInput3Hint(ctx.operanders["high3"], ctx.operanders["low3"], ctx.operanders["inputs"])
},
check: allVarValueEquals(map[string]*fp.Element{"high3": feltUint64(1), "low3": feltUint64(0)}),
},
{
operanders: []*hintOperander{
{Name: "inputs", Kind: fpRelative, Value: addr(2)},
{Name: "real_input", Kind: apRelative, Value: feltUint64(257)},
{Name: "high3", Kind: uninitialized},
{Name: "low3", Kind: uninitialized},
},
makeHinter: func(ctx *hintTestContext) hinter.Hinter {
return newSplitInput3Hint(ctx.operanders["high3"], ctx.operanders["low3"], ctx.operanders["inputs"])
},
check: allVarValueEquals(map[string]*fp.Element{"high3": feltUint64(1), "low3": feltUint64(1)}),
},
{
operanders: []*hintOperander{
{Name: "inputs", Kind: fpRelative, Value: addr(2)},
{Name: "real_input", Kind: apRelative, Value: feltUint64(2561)},
{Name: "high3", Kind: uninitialized},
{Name: "low3", Kind: uninitialized},
},
makeHinter: func(ctx *hintTestContext) hinter.Hinter {
return newSplitInput3Hint(ctx.operanders["high3"], ctx.operanders["low3"], ctx.operanders["inputs"])
},
check: allVarValueEquals(map[string]*fp.Element{"high3": feltUint64(10), "low3": feltUint64(1)}),
},
},
"SplitInput6": {
{
operanders: []*hintOperander{
{Name: "inputs", Kind: fpRelative, Value: addr(2)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "real_input", Kind: apRelative, Value: feltUint64(0)},
{Name: "high3", Kind: uninitialized},
{Name: "low3", Kind: uninitialized},
},
makeHinter: func(ctx *hintTestContext) hinter.Hinter {
return newSplitInput6Hint(ctx.operanders["high3"], ctx.operanders["low3"], ctx.operanders["inputs"])
},
check: allVarValueEquals(map[string]*fp.Element{"high3": feltUint64(0), "low3": feltUint64(0)}),
},
{
operanders: []*hintOperander{
{Name: "inputs", Kind: fpRelative, Value: addr(2)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "real_input", Kind: apRelative, Value: feltUint64(100)},
{Name: "high3", Kind: uninitialized},
{Name: "low3", Kind: uninitialized},
},
makeHinter: func(ctx *hintTestContext) hinter.Hinter {
return newSplitInput6Hint(ctx.operanders["high3"], ctx.operanders["low3"], ctx.operanders["inputs"])
},
check: allVarValueEquals(map[string]*fp.Element{"high3": feltUint64(0), "low3": feltUint64(100)}),
},
{
operanders: []*hintOperander{
{Name: "inputs", Kind: fpRelative, Value: addr(2)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "real_input", Kind: apRelative, Value: feltUint64(65536)},
{Name: "high3", Kind: uninitialized},
{Name: "low3", Kind: uninitialized},
},
makeHinter: func(ctx *hintTestContext) hinter.Hinter {
return newSplitInput6Hint(ctx.operanders["high3"], ctx.operanders["low3"], ctx.operanders["inputs"])
},
check: allVarValueEquals(map[string]*fp.Element{"high3": feltUint64(1), "low3": feltUint64(0)}),
},
{
operanders: []*hintOperander{
{Name: "inputs", Kind: fpRelative, Value: addr(2)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "real_input", Kind: apRelative, Value: feltUint64(65537)},
{Name: "high3", Kind: uninitialized},
{Name: "low3", Kind: uninitialized},
},
makeHinter: func(ctx *hintTestContext) hinter.Hinter {
return newSplitInput6Hint(ctx.operanders["high3"], ctx.operanders["low3"], ctx.operanders["inputs"])
},
check: allVarValueEquals(map[string]*fp.Element{"high3": feltUint64(1), "low3": feltUint64(1)}),
},
{
operanders: []*hintOperander{
{Name: "inputs", Kind: fpRelative, Value: addr(2)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "random_value", Kind: apRelative, Value: feltUint64(0)},
{Name: "real_input", Kind: apRelative, Value: feltUint64(655361)},
{Name: "high3", Kind: uninitialized},
{Name: "low3", Kind: uninitialized},
},
makeHinter: func(ctx *hintTestContext) hinter.Hinter {
return newSplitInput6Hint(ctx.operanders["high3"], ctx.operanders["low3"], ctx.operanders["inputs"])
},
check: allVarValueEquals(map[string]*fp.Element{"high3": feltUint64(10), "low3": feltUint64(1)}),
},
},
})
}

0 comments on commit 938fa49

Please sign in to comment.