ZKASM Proposals inFREE0 $0{something} => A ; A0 was a FF, A1..A7 = 0 verify_free_input $ => C :MLOAD(myvar) A + 3 * C => B ; vs A + 3 * myvar => B ; internament fa un MLOAD A + 3 => myvar,B ; internament fa un MSTORE useOpeAsParam & useConstAsParam

In order to verify the smart contract, you will need a machine with at least 256GB of RAM and 16 cores. In this tutorial we will give instructions for a r6a.8xlarge aws instance. This instance has 16 cores 32 threads, 512GB of SSD. The instance will use Ubuntu 22.04 LTS and the cost of the instance is about 1.82 $/h. This process is quite long, it takes approximately 5-6 hours. So lets start by launching and instance. Basic OS preparation sudo apt update sudo apt install -y tmux git curl Tweeking the OS to accept high amount of memory.

In order to verify the smart contract, you will need a machine with at least 256GB of RAM and 16 cores. In this tutorial we will give instructions for a r6a.8xlarge aws instance. This instance has 16 cores 32 threads, 512GB of SSD. The instance will use Ubuntu 22.04 LTS and the cost of the instance is 1.82 $/h. So lets start by launching and instance. Basic OS preparation sudo apt update sudo apt install -y tmux git curl Tweeking the OS to accept high amount of memory.