search

tokamak-network / zvm

Zero Knowledge based Ethereum Virtual Machine in Circom language
MIT License
17 stars 5 forks source link

variable "active_mem_size" went wrong :( #15

Closed pleiades-s closed 3 years ago

pleiades-s commented 3 years ago

https://github.com/Onther-Tech/zk-vm/blob/9850367c9d8819e1a91b64410042fadb098e78f9/src/circuits/simple-vm.circom#L311

_active_memsize is increased to 2 without the circuit logic and never changed.

pleiades-s commented 3 years ago

mload part is moved to the front in the while loop and it somehow works fine