Vaivaswatha N

Intrinsics for the VM's storage opcodes.

14

This PR provides the following intrinsics: 1. `__state_load_word (key: b256) -> u64;` 2. `__state_store_word (key: b256, value: u64);` 3. `__state_load_quad (key: b256, addr: u64);` 4. `__state_store_quad (key: b256, addr: u64);`...

It's possible that we have a contract that has a function taking in an address (`u64` value). ``` contract; abi Foo { fn bar(addr: u64); } ``` Then we have...

With the [RFC](https://github.com/FuelLabs/sway-rfcs/blob/master/rfcs/0003-intrinsics.md) on intrinsics accepted, we should plan to slowly replace assembly usage in our libraries with intrinsics. As a step towards this, this Issue is to track the...

[FEATURE REQUEST] Charge gas before invoking Scilla

2

Currently, Scilla charges gas for the following: 1. Deployment: gas proportional to code size + init JSON size. 2. Transition execution: gas proportional to message JSON size. With compiled Scilla...

Implement a profiling monad

1

To figure out how time is being spent in different sections of `Eval`, implement a monad for `Eval`. In principle, we should be able to piggyback on the gas monad,...

Add support for BlockHash and Timestamp in blockchain.json

3

The blockchain json input currently has the `BLOCKNUM` field. Add `BLOCKHASH` (of type ByStr32) and `TIMESTAMP` (of type `Uint64`) also.

Create a Payment Channel using Scilla

6

https://medium.com/@matthewdif/ethereum-payment-channel-in-50-lines-of-code-a94fad2704bc

Implement a tracer/debugger for Scilla evaluation

8

Generalise from the "Result" monad, used now to bind sub-evaluations together (via Functors) and instantiate it differently in a debug mode.

Deepends on #1036.

Remove gas charges related to source file and input JSONs

4

These charges, to make it uniform with compiled Scilla, will be charged at the blockchain layer, so we must remove it here from Scilla. https://github.com/Zilliqa/Zilliqa/issues/2678