- Zilliqa uses the same Account/Gas model that Ethereum does.
git clone
- Follow
INSTALL.md
make clean; make
- Add
scilla/bin
to path
-
Two binaries
scilla-checker
andscilla-runner
- The binaries read from json files.
scilla-checker
is a typecheker.scilla-runner
is a state transition function for deploys andtransition
calls.-libdir
should only be the STD Libdir atscilla/src/stdlib
.- There are some great example contracts in
scilla/tests/contracts
.
-
Don't use the Savant IDE or the scilla language server, use the binaries.
-
No throwing. We use
Error
events instead. -
No event filtering for now. Viewblock has an API though.
-
No specific state lookups. The only way to get contract state is getting the entire state at once see
GetSmartContractState
. -
No
eth_call
oreth_estimateGas
equivalent. All transactions submitted are final. -
No timestamps. The only unit of time available is Blocknumbers
BNum
/BLOCKNUMBER
.
-
Can send 1
Message
pertransition
. 6transition
s per transaction. -
Messages are only sent out at the end of a transition and only one message can be sent at a time. This means that information flow in Scilla is linear for the most part. That means you need to source all the information required at the beginning of a transaction.