NethermindEth / cairo-vm-go

A virtual machine for Cairo written in Go
MIT License
70 stars 43 forks source link

`NondetElementsOverTwo` + `NondetElementsOverTen`( poseidon builtin related hints) #493

Closed TAdev0 closed 1 week ago

TAdev0 commented 1 week ago

i put them in Others, no better place

Closes #491 Closes #492

ok so , hintcodes are a bit different than the python hint we see in Cairo files. See the compiled json files which shows the real hintcode we need to detect.

Current implementation works, our VM holds all assertions regarding outputs in the Cairo files test that does various types of Poseidon hash that involve the hint.

Integration tests dont work yet, the memory trace differs a bit at the end, need to fix this in another PR