This article explains the underlying technologies of IOTA Smart Contracts - the Virtual Machine, and its plugins.
You will learn:
- What is a Virtual Machine and what are plugins?
- Differences between Wasm VM and EVM plugins
- Which programming languages are supported?
The Virtual Machine
In IOTA Smart Contracts we distinguish two things:
- The Virtual Machine (VM) itself
- VM plugins: processors, smart contracts which dynamically extend the VM.
The VM itself is a deterministic executable, a "black box".
The VM can be extended dynamically by adding VM plugins, the VM processors which run deterministic smart contract programs.
In IOTA Smart Contracts, an abstraction is a collection of generic interfaces which makes the whole architecture of IOTA Smart Contracts and the Wasp node agnostic about what exact kind of deterministic computation machinery is used to run smart contract programs.
WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Any high-level language can be used to write an IOTA Smart Contract to be compiled into Wasm. The Wasm VM currently supports TinyGo, a subset of Go, and the Rust programming language.
Why We Choose Rust
We use Rust as a high-level language to write Smart Contracts(SC) programs for several reasons:
- The Wasm tooling is very advanced, so Rust programs can easily be compiled into Wasm binaries.
- The flexibility and memory management model of Rust allows minimum runtime overhead in the Wasm binary.
- Wasm binaries generated from Rust are very small, just a few kilobytes
- Rust is becoming a popular language of choice for SC development with good support and a wide developer community.
Why We Choose TinyGo
It's also possible to write an IOTA Smart Contract in the TinyGo programming language, which is a subset of Go. Using TinyGo has the following advantages:
- TinyGo and Go are easy to understand and learn.
- Go is a very popular language within the IOTA community.
- A very extended and easy to use developer environment
The Wasp Node is programmed in Go, as is the Test Framework Solo, which means that you don't have to constantly switch languages when testing your code. In fact, with Schema tool you can test in the exact same way as you program your Smart Contract.
TinyGo code can be tested without compiling to Wasm, which means you can use the debugger to step through the code and inspect variables along the way.
You can find many Wasm Smart Contracts examples here in the code repository.
Ethereum VM (EVM)
Solidity is an object-oriented programming language specially developed to write smart contracts.
The IOTA Smart Contract EVM Plugin leverages the current development of Solidity Smart Contracts and allows Blockchain developers to stay in their comfort zone.
In the next article, you will learn everything about the IOTA Smart Contract validators.